Towards an organizational model for agent societies using contracts

Dignum, Virginia; Meyer, John‐Jules Ch.; Weigand, Hans

doi:10.1145/544862.544909

Cited by 50 publications

(46 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For instance, if we have: Among the organizational models, Dignum et al (2002aDignum et al ( , 2002b and Dignum, Meyer and Weigand (2002c) exploit Deontic Logic to specify the society norms and rules. Their model is based on a framework which consists of three interrelated models: organizational, social and interaction.…”

Section: Related Workmentioning

confidence: 99%

“…Furthermore, a lot of research has been devoted in proposing architectures for developing agents with social awareness (see, for instance, Castelfranchi et al, 1999), and several approaches to agent society modeling have applied a normative and institutional approach (e.g., Dignum et al, 2002a,b;Dignum, Meyer and Weigand, 2002c;Esteva, de la Cruz and Sierra, 2002;Noriega and Sierra, 2002).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Mapping deontic operators to abductive expectations

Alberti

Gavanelli

Lamma

et al. 2006

Comput Math Organiz Theor

View full text Add to dashboard Cite

Deontic concepts and operators have been widely used in several fields where representation of norms is needed, including legal reasoning and normative multi-agent systems.The EU-funded SOCS project has provided a language to specify the agent interaction in open multi-agent systems. The language is equipped with a declarative semantics based on abductive logic programming, and an operational semantics consisting of a (sound and complete) abductive proof procedure. In the SOCS framework, the specification is used directly as a program for the verification procedure.In this paper, we propose a mapping of the usual deontic operators (obligations, prohibition, permission) to language entities, called expectations, available in the SOCS social framework. Although expectations and deontic operators can be quite different from a philosophical viewpoint, we support our mapping by showing a similarity Springer 206 M. Alberti, M. Gavanelli et al. between the abductive semantics for expectations and the Kripke semantics that can be given to deontic operators.The main purpose of this work is to make the computational machinery from the SOCS social framework available for the specification and verification of systems by means of deontic operators.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Mapping deontic operators to abductive expectations

Alberti

Gavanelli

Lamma

et al. 2006

Comput Math Organiz Theor

View full text Add to dashboard Cite

show abstract

“…Several authors (e.g., [2] or [8]) have used the contracts to define agent organizations. While from a formal point of view these two concepts are similar, they have conceptually different semantics.…”

Section: Related Workmentioning

confidence: 99%

Coordinating Agents in Organizations Using Social Commitments

Carabelea¹,

Boissier²

2006

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

One of the main challenges faced by the multi-agent community is to ensure the coordination of autonomous agents in open heterogeneous multi-agent systems. In order to coordinate their behaviour, the agents should be able to interact with each other. Social commitments have been used in recent years as an answer to the challenges of enabling heterogeneous agents to communicate and interact successfully. However, coordinating agents only by means of interaction models is difficult in open multi-agent systems, where possibly malevolent agents can enter at any time and violate the interaction rules. Agent organizations, institutions and normative systems have been used to control the way agents interact and behave. In this paper we try to bring together the two models of coordinating agents: commitment-based interaction and organizations. To this aim we describe how one can use social commitments to represent the expected behaviour of an agent playing a role in an organization. We thus make a first step towards a unified model of coordination in multi-agent systems: a definition of the expected behaviour of an agent using social commitments in both organizational and non-organizational contexts.

show abstract

“…SAC'06 April 23-27, 2006, Dijon, France Copyright 2006 ACM 1-59593-108-2/06/0004 ...$5.00. normative concepts [6,19,1] as well as organizational ones [12,21,22,5,7,18]. An important aspect that seems to have been overlooked in these works is the relation of roles with power, or authority relations [2].…”

Section: Introductionmentioning

confidence: 99%

On the relationship between roles and power

Fasli

2006

Proceedings of the 2006 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

This paper discusses a formal analysis of multi-agent systems based on organizational and normative concepts. Social agents (individuals and groups) and multi-agent systems have an underlying structure which is underpinned by roles. Power is legitimized within a social context and it stems from a role. In other words, agents draw their power from the authority positions that they hold in relation to other agents. How roles are intertwined with commitments, obligations, power, rights and authority relations is discussed.

show abstract

Towards an organizational model for agent societies using contracts

Cited by 50 publications

References 4 publications

Mapping deontic operators to abductive expectations

Mapping deontic operators to abductive expectations

Coordinating Agents in Organizations Using Social Commitments

On the relationship between roles and power

Contact Info

Product

Resources

About