Interaction patterns and observable commitments in a multi-agent trading scenario
- 28 May 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 481-488
- https://doi.org/10.1145/375735.376422
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.Keywords
This publication has 6 references indexed in Scilit:
- An extension of UML by protocols for multi-agent interactionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Towards socially sophisticated BDI agentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Objective trust-based agents: Trust and trustworthiness in a multi-agent trading societyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Protocols and intentional specifications of multi-party agent conversions for brokerage and auctionsPublished by Association for Computing Machinery (ACM) ,2000
- A Social Semantics for Agent Communication LanguagesPublished by Springer Nature ,2000
- Speech ActsPublished by Cambridge University Press (CUP) ,1969