Designing protocols for agent institutions

ABSTRACT

Agent-mediated institutions (or e-institutions), introduced in [9], are open agent systems that allow heterogeneous agents to enter and perform tasks. The e-institutions specify the admissible behaviour of the agents by means of norms, which are declarative and abstract by nature. On the one hand this allows for a stable specification suitable for almost any conceivable situation that arises in the institution, but in the other hand the norms hardly give any indication which interaction patterns would guarantee satisfaction of the norms.

REFERENCES

• 1: H. Aldewereld. Autonomy vs. Conformity: an Institutional Perspective on Norms and Protocols. PhD thesis, Universiteit Utrecht, 2007.
• 2: H. Aldewereld, F. Dignum, J.-J. Meyer, and J. Vázquez-Salceda. Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Utrecht University, 2005.
• 3: H. Aldewereld, D. Grossi, J. Vázquez-Salceda, and F. Dignum. Designing normative behaviour via landmarks. In O. Bossier. et.al., editor, Coordination, Organisation, Institutions and Norms in Agent Systems I, pages 150--162. Springer-Verlag, 2006.
• 4: N. Belnap and M. Perloff. Seeing to it that: a canonical form for agentives. Theoria, 54:175--199, 1988.
• 5: V. Dignum. A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, Universiteit Utrecht, The Netherlands, 2004.
• 6: Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997 [doi>10.1109/32.588521 ]
• 7: S. Kumar, M. J. Huber, P. R. Cohen, and D. McGee. Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence, 18(2):174--228, 2002.
• 8: F. López y Lopez, M. Luck, and M. d'Inverno. A framework for norm-based inter-agent dependence. In Proceedings of the 3rd Mexican International Conference on Computer Science, pages 31--40. SMCC-INEGI, 2001.
• 9: J. Rodriguez. On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Inst. d'Investigació en Intel.ligència Artificial, 2001.
• 10: Pierre Wolper, Constructing automata from temporal logic formulas: a tutorial, Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science, Springer-Verlag New York, Inc., New York, NY, 2002

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

General Terms:
Design, Legal Aspects, Theory

Keywords:
electronic institutions, normative systems, norms