Jeremy Pitt
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.
- 1.B.Bauer,J.Muller,and J.Odell.An extension of UML by protocols for multiagent interaction.In Proceedings ICMAS-2000 ,pages 207 -214.IEEE Computer Society,2000. Google Scholar
Digital Library
- 2.F.Dignum,D.Morley,E.Sonenberg,and L.Cavedon. Towards socially sophisticated bd agents.In Proceedings ICMAS-2000 ,pages 111 -118.IEEE Computer Society,2000. Google ScholarDigital Library
- 3.FIPA.Communicative act library speci .cation.FIPA (Foundation for Intelligent Physical Agents), Document XC00037,http://www.pa.org,1999.Google Scholar
- 4.FIPA.Interaction protocol library speci .cation.FIPA (Foundation for Intelligent Physical Agents), Document XC00025,http://www.pa.org,2000.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 7.J.Pitt,F.Guerin,and C.Stergiou.Protocols and intentional speci .cations of multi-party agent conversations for brokerage and auctions.In Proceedings Autonomous Agents 2000 ,pages 269 -276. ACM Press,2000. Google ScholarDigital Library
- 8.J.Pitt and A.Mamdani.A protocol-based semantics for an agent communication language.In Proceedings 16th International Joint Conference on Arti .cial Intelligence IJCAI '99 ,pages 485 -491. Morgan-Kaufmann,1999. Google ScholarDigital Library
- 9.J.Searle.Speech Acts:An Essay in the Philosphy of Language .Cambridge University Press,1969.Google Scholar
- 10.M.Singh.A social semantics for agent communication languages.In F.Dignum and M.Greaves,editors, Issues in Agent Communication ,pages 31 -45. Springer Verlag,2000. Google ScholarDigital Library
- 11.M.Witkowski and J.Pitt.Objective trust-based agents:Trust and trustworthiness in a multi-agent trading society.In Proceedings ICMAS-2000 ,pages 463 -464.IEEE Computer Society,2000. Google ScholarDigital Library
Index Terms
- Interaction patterns and observable commitments in a multi-agent trading scenario
Recommendations
Specifying agent observable behaviour
AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2This paper investigates the application of a formal framework for the observation issue in agent-based systems to the specification of the individual agent interactive behaviour. An abstract architecture is defined for agents that is based on the idea ...
Multi-agent systems
Encyclopedia of Computer ScienceMulti-agent systems are computational systems in which several artificial "agents", which are programs, interact or work together over a communications network to perform some set of tasks jointly or to satisfy some set of goals. These systems may ...
Integrating jason in a multi-agent platform with support for interaction protocols.
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11Agent communication is a core issue when studying all possible ways for agents to organize and collaborate to achieve their goals. We can count on communication standards, as the FIPA Interaction Protocols. On the other hand we can count on high level ...
Comments