Arrow Research search

Author name cluster

Huib Aldewereld

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

13 papers
1 author row

Possible papers

13

TAAS Journal 2016 Journal Article

Group Norms for Multi-Agent Organisations

  • Huib Aldewereld
  • Virginia Dignum
  • Wamberto W. Vasconcelos

Normative multi-agent systems offer the ability to integrate social and individual factors to provide increased levels of fidelity with respect to modelling social phenomena, such as cooperation, coordination, group decision making, and organization, in both human and artificial agent systems. An important open research issue refers to group norms, that is, norms that govern groups of agents. Depending on the interpretation, group norms may be intended to affect the group as a whole, each member of a group, or some members of the group. Moreover, upholding group norms may require coordination among the members of the group. We have identified three sets of agents affected by group norms, namely, (i) the addressees of the norm, (ii) those that will act on it, and (iii) those that are responsible for ensuring norm compliance. We present a formalism to represent these, connecting it to a minimalist agent organisation model. We use our formalism to develop a reasoning mechanism that enables agents to identify their position with respect to a group norm to further support agent autonomy and coordination when deciding on possible courses of action.

Details DOI

AAMAS Conference 2013 Conference Paper

Norm Compliance Checking

  • Jie Jiang
  • Virginia Dignum
  • Huib Aldewereld
  • Frank Dignum
  • Yao-Hua Tan

In multi-agent systems, norms are used to regulate agents’ behavior so that the objectives of the systems can be realized in a predictable way. Therefore, it is important to check whether agents can comply with the norms imposed on them. However, when norms are interrelated, verification of norm compliance cannot be achieved by checking compliance of each norm separately as done traditionally. To this effect, this extended abstract introduces an approach which first models a set of interrelated norms as Norm Nets, and then map them to Colored Petri Nets (CPNs), by which compliance checking of both individual agents’ behavior and the collective behavior of the system can be performed automatically. With CPNs, it is also possible to identify under which conditions the norms can be complied with.

PDF

AAMAS Conference 2011 Conference Paper

Reflection about Capabilities for Role Enactment

  • M. Birna van Riemsdijk
  • Virginia Dignum
  • Catholijn M. Jonker
  • Huib Aldewereld

An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Using such an organizational specification to organize a multi-agent system should make the agents more effective in attaining their purpose, or prevent certain undesired behavior from occurring. Agents who want to enter and play roles in an organization are expected to understand and reason about the organizational specification. An important aspect that such organization-aware agents should be able to reason about is role enactment. In particular, agents should be able to reflect on whether they have the capabilities to play a role in an organization. In future work it needs to be made precise when an agent can be said to have a certain capability, and how an agent can reflect on its capabilities. This is necessary for programming role enactment in organization-aware agents.

PDF

IS Journal 2010 Journal Article

Adaptable, Organization-Aware, Service-Oriented Computing

  • Huib Aldewereld
  • Julian Padget
  • Wamberto Vasconcelos
  • Javier Vazquez-Salceda
  • Paul Sergeant
  • Athanasios Staikopoulos

Service-oriented computing is the new wave emerging from maturing Web services and the adoption of elements from Semantic Web technology. More sophistication, in response to business requirements, does of course not make it easier to use or to control. In particular, business processes demand resilience and real-time adaptation in the face of changing business requirements, incorporation of alternative services and finding suitable substitutes when those needed are unavailable. The European Union-funded Alive project is prototyping ideas, driven by commercial and industrial use cases, that utilize research in organizational modeling, software agents, model-driven engineering, artificial intelligence, the Semantic Web, and Web services to construct tools and demonstrators to address these needs. This article outlines the Alive architecture for service-oriented computing, describes some of the innovative tools we have developed and illustrates it all with a detailed run-through from one of our use cases.

Details DOI

AAMAS Conference 2010 Conference Paper

Making Norms Concrete

  • Huib Aldewereld
  • Sergio
  • Aacute; lvarez-Napagao
  • Frank Dignum
  • Javier V
  • aacute; zquez-Salceda

In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and the concepts used in the implementation. Organisational specifications (deliberately) abstract from generalpractice, which creates a need to relate the abstract conceptsused in the specification to concrete ones used in practice. A solution for this problem is the use of counts-as statements, which, by defining the social reality, provide the concrete concepts their institutional and organisational meaning. Continuing work on the implementation of counts-asto relate abstract and concrete concepts in agent-based systems, this paper investigates the implementation of counts-as statements in Drools to relate abstract organisationalspecifications and its norms to concrete situations.

PDF

AAMAS Conference 2008 Conference Paper

Multi-Agent Plan Diagnosis and Negotiated Repair

  • Huib Aldewereld
  • Pieter Buzing
  • Geert Jonker
  • Femke de Jonge
  • Frank Dignum
  • John-Jules Ch. Meyer
  • Nico Roos
  • Cees Witteveen

In the complex, dynamic domain of Air Traffic Control (ATC) many unexpected events can happen during the execution of a plan. Sometimes these disruptions make the plan infeasible and require a change of the original plan. Unexpected events may disrupt the execution of a plan leading to conflicts concerning the use of shared resources. By monitoring the possibly disrupted execution of a plan, air traffic controllers identify and repair conflicts before they occur, making the plan ‘healthy’ again. Model-based diagnosis helps to identify the causes of observed disruptions in the execution of a plan. This information enables the creation of better plan repairs. These repairs should efficient, but moreover they should be fair, i. e. , one airline should not be the victim of conflicts caused by another. Due to the complexity of planning tasks, it is beneficial to provide a distributed solution such that the workload is spread instead of centralised. Moreover, since the choice between various possible solutions to a conflict in the plan execution directly influence different parties (with diverting interests), the decision about which solution to choose should not be made by a single (central) decision maker, but agreed upon by the different parties involved. The Multi-Agent Diagnosis and negotiated repair (MAD) demonstrator combines our previous research done on model-based diagnosis, planning and scheduling techniques, and methods for multi-agent negotiation to solve this problem in a distributed manner. The resulting tool is a system to support the control and adaptation of distributed plan execution in the domain of ATC.

PDF

AILAW Journal 2007 Journal Article

From human regulations to regulated software agents’ behavior

  • Javier Vázquez-Salceda
  • Huib Aldewereld
  • Davide Grossi
  • Frank Dignum

Abstract In order to design and implement electronic institutions that incorporate norms governing the behavior of the participants of those institutions, some crucial steps should be taken. The first problem is that human norms are (on purpose) specified on an abstract level. This ensures applicability of the norms over long periods of time in many different circumstances. However, for an electronic institution to function according to those norms, they should be concrete enough to be able to check them run time. A second problem is that norms describe which behavior is desirable and permitted, but not how this is achieved in an institution. In the “real world" regulations often indicate procedures for implementing and enforcing the law. Likewise we should devise means to annotate the norms with practical aspects such as enforcement mechanisms, sanctions, etc. in order to get requirements for an institution that will enforce norms (by either constraining behavior within the norms or reacting to violation of the norms). The choice of which kind of mechanism is chosen is not a normative one, but usually based on criteria of efficiency and/or feasibility of the mechanism. In this paper we present our view on how to approach these problems and other related issues to be solved in order to develop e-institutions capable to operate in complex, highly regulated scenarios.

Details DOI
v2026.09.13