Norm Consistency in Electronic Institutions

Esteva, Marc; Vasconcelos, Wamberto; Sierra, Carles; Rodŕıguez-Aguilar, Juan A.

doi:10.1007/978-3-540-28645-5_50

Cited by 27 publications

(26 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Esteva and colleagues [22,23,21,20,57,24,30] have devised a specification language to specify open MAS as electronic institutions (e-institutions). The basic components of an e-institution include those of role (standardised pattern of behaviour), dialogic framework (prescribing the agent interactions), scene (expressing sub-groupings created in the context of a wider system), and normative rule (the 'rules of the game').…”

Section: Discussionmentioning

confidence: 99%

Executable specification of open multi-agent systems

Artikis

Sergot

2009

Logic Journal of IGPL

View full text Add to dashboard Cite

Abstract. Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as 'open'. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open multi-agent systems. We adopt a bird's eye view of these systems, as opposed to an agent's perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system.

show abstract

Section: Discussionmentioning

confidence: 99%

Executable specification of open multi-agent systems

Artikis

Sergot

2009

Logic Journal of IGPL

View full text Add to dashboard Cite

show abstract

“…Esteva and colleagues [13][14][15]20] have developed a systematic approach to the design and development of multi-agent systems which incorporate aspects of conventional behaviour and organisational structures in a formal specification of structured interactions. Such a specification of a multi-agent system is called an Electronic Institution (EI).…”

Section: Electronic Institutionsmentioning

confidence: 99%

Specifying Open Agent Systems: A Survey

Artikis

Pitt

2009

Engineering Societies in the Agents World IX

View full text Add to dashboard Cite

Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems are developed by different parties and have conflicting goals. Consequently, they may choose not to, or simply fail to, conform to the norms governing their interactions. It has been argued that many practical applications in the future will be realised in terms of open agent systems of this sort. Not surprisingly, recently there is a growing interest in open systems. In this paper we review and compare four approaches for the specification of open systems, pointing out the extent to which they satisfy a set of requirements identified in the literature.

show abstract

“…Despite the fact that in [4,12] two languages are presented for the distributed enforcement of norms in MAS, in both works each agent has a local message interface that forwards legal messages according to a set of norms. Since these interfaces are local to each agent, norms can only be expressed in terms of actions of that agent.…”

Section: Related Workmentioning

confidence: 99%

A Distributed Architecture for Norm Management in Multi-Agent Systems

García-Camino

Rodŕıguez-Aguilar

Vasconcelos

2008

Coordination, Organizations, Institutions, and Norms in Agent Systems III

Self Cite

View full text Add to dashboard Cite

Abstract. Norms, that is, obligations, prohibitions and permissions, are useful abstractions to facilitate coordination in open, heterogeneous multi-agent systems. We observe a lack of distributed architectures and non-centralised computational models for norms. We propose a model, viz., normative structures, to regulate the behaviour of autonomous agents taking part in simultaneous and possibly related activities within a multiagent system. This artifact allows the propagation of normative positions (that is, the obligations, prohibitions and permissions associated to individual agents) as a consequence of agents' actions. Within a normative structure, conflicts may arise -one same action can be simultaneousely forbidden and obliged/permitted. This is due to the concurrent and dynamic nature of agents' interactions in a multi-agent system. However, ensuring conflict freedom of normative structures at design time is computationally intractable, and thus real-time conflict resolution is required: our architecture support the distributed management of normative positions, including conflict detection and resolution.

show abstract

Norm Consistency in Electronic Institutions

Cited by 27 publications

References 8 publications

Executable specification of open multi-agent systems

Executable specification of open multi-agent systems

Specifying Open Agent Systems: A Survey

A Distributed Architecture for Norm Management in Multi-Agent Systems

Contact Info

Product

Resources

About