Interaction patterns and observable commitments in a multi-agent trading scenario

ABSTRACT

We propose a formal semantics for the protocol diagrams (interaction patterns) of AUML (Agent Unified Modelling Language). We connect this proposal with a general framework for defining the semantics of ACLs (Agent Communication Languages). We then show that protocol diagrams should be parameterised with observable commitments: additional specification of the expected outcomes and normative positions resulting from the use of the protocol. A complete axiomatisation of a contract-net protocol is given, and animated to show how the agents comply with expected replies and respecting the norms. We conclude that this approach to `socialising' interaction between agents is important for developing open agent systems and potentially useful in standardisation.

REFERENCES

• 1: An Extension of UML by Protocols for Multiagent Interaction, Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000), p.207, July 10-12, 2000
• 2: Towards Socially Sophisticated BDI Agents, Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000), p.111, July 10-12, 2000
• 3: FIPA.Communicative act library speci .cation.FIPA (Foundation for Intelligent Physical Agents), Document XC00037,http://www..pa.org,1999.
• 4: FIPA.Interaction protocol library speci .cation.FIPA (Foundation for Intelligent Physical Agents), Document XC00025,http://www..pa.org,2000.
• 5: A.Jones and M.Sergot.A formal characterisation of institutionalized power.Journal of the Interest Group in Pure and Applied Logics ,4(3):429 -455,1996.
• 6: J.Pitt.An operational semantics for ntentional speci .cations of agent behaviour in communication protocols.In M.Greaves,editor,Proceedings AA2000 Workshop on Agent Languages and Conversation Policies ,pages pp31 -40.Barcelona,1999.
• 7: Jeremy Pitt , Frank Guerin , Chris Stergiou, Protocols and intentional specifications of multi-party agent conversions for brokerage and auctions, Proceedings of the fourth international conference on Autonomous agents, p.269-276, June 03-07, 2000, Barcelona, Spain [doi>10.1145/336595.337490]
• 8: Jeremy Pitt , Abe Mamdani, A Protocol-Based Semantics for an Agent Communication Language, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, p.486-491, July 31-August 06, 1999
• 9: J.Searle.Speech Acts:An Essay in the Philosphy of Language .Cambridge University Press,1969.
• 10: Munindar P. Singh, A Social Semantics for Agent Communication Languages, Issues in Agent Communication, p.31-45, January 2000
• 11: Objective Trust-Based Agents: Trust and Trustworthiness in a Multi-Agent Trading Society, Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000), p.463, July 10-12, 2000

INDEX TERMS

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

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS

  D. Software
  D.2 SOFTWARE ENGINEERING

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

General Terms:
Design, Languages, Performance, Standardization, Theory