OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations

In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents. It specifies global goals of the system independently from those of the specific agents that populate the system. Both the norms that regulate interaction between agents, as well as the contextual meaning of those interactions are important aspects when specifying the organizational structure. Omni integrates all this aspects in one framework. In order to make design of the multi-agent system manageable, we distinguish three levels of abstraction with increasing implementation detail. All dimensions of Omni have a formal logical semantics, which ensures consistency and possibility of verification of the different aspects of the system. Omni is therefore utmost suitable for the modelling of all types of MAS from open to closed environments.

[1]  Juan Antonio Rodriguez,et al.  On the Design and Construction of Agent-mediated Electronic Institutions , 2001 .

[2]  A. Campbell,et al.  Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.

[3]  Frank Dignum,et al.  Role-assignment in open agent societies , 2003, AAMAS '03.

[4]  Jeffrey M. Bradshaw,et al.  Designing conversation policies using joint intention theory , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[5]  M. Wooldridge,et al.  Organisational Abstractions for the Analysis and Design of Multi-Agent Systems , 2000 .

[6]  Monique Calisti,et al.  Whitestein Series in Software Agent Technologies , 2005 .

[7]  Milind Tambe,et al.  Intelligent Agents VIII , 2002, Lecture Notes in Computer Science.

[8]  Craig Lee,et al.  Process Coordination and Ubiquitous Computing , 2002 .

[9]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[10]  Frank Dignum,et al.  Autonomous agents with norms , 1999, Artificial Intelligence and Law.

[11]  Frank Dignum,et al.  Abstract and Concrete Norms in Institutions , 2004 .

[12]  Nicholas R. Jennings.  Agent-Oriented Software Engineering , 1999, MAAMAW.

[13]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[14]  Andrea Omicini,et al.  Towards a Notion of Agent Coordination Context , 2020, Process Coordination and Ubiquitous Computing.

[15]  Javier Vázquez-Salceda,et al.  The Role of Norms and Electronic Institutions in Multi-Agent Systems , 2003, Whitestein Series in Software Agent Technologies.

[16]  Frank Dignum,et al.  From Abstract to Concrete Norms in Agent Institutions , 2004, FAABS.

[17]  Andrew Lucas,et al.  JACK Intelligent Agents – Summary of an Agent Infrastructure , 2001 .

[18]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering II , 2002, Lecture Notes in Computer Science.

[19]  H. Van Dyke Parunak,et al.  Representing social structures in UML , 2001, AGENTS '01.

[20]  Christopher A. Rouff,et al.  Formal Approaches to Agent-Based Systems , 2001, Lecture Notes in Computer Science.

[21]  Frank Dignum,et al.  Modelling Agent Societies: Co-ordination Frameworks and Institutions , 2001, EPIA.

[22]  Franco Zambonelli,et al.  Organizational Abstractions for the Analysis and Design of Multi-agent Systems , 2000, AOSE.

[23]  Abdelkader Gouaich,et al.  Requirements for achieving software agents autonomy and defining their responsibility , 2003 .

[24]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[25]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[26]  Abdelkader Gouaïch,et al.  Requirements for Achieving Software Agents Autonomy and Defining their Responsibility , 2003, Agents and Computational Autonomy.

[27]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[28]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[29]  Jordi Sabater-Mir,et al.  Skeleton-based agent development for electronic institutions , 2002, AAMAS '02.

[30]  Franco Zambonelli.  Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations , 2001, AOSE.

[31]  Vladimir Marik,et al.  Multi-Agent Systems and Applications III , 2003, Lecture Notes in Computer Science.

[32]  Javier Vázquez-Salceda,et al.  Modelling Electronic Organizations , 2003, CEEMAS.