A formal framework for agent interaction semantics

Paurobally, S., Cunningham, J. and Jennings, N.R. 2005. A formal framework for agent interaction semantics. in: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, Utrecht University, the Netherlands, July 25-29, 2005 New York, USA ACM. pp. 91-98

Chapter titleA formal framework for agent interaction semantics
AuthorsPaurobally, S., Cunningham, J. and Jennings, N.R.
Abstract

Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interaction protocols (IPs) tend to be ambiguous, incomplete, and unverified with respect to message semantics. To clarify and help rectify these problems, this paper proposes an integrated framework based on Propositional Dynamic Logic and Belief and Intention modalities (called the PDL-BI language). Specifically, we provide an axiomatisation of PDL-BI and for an agent's propositional attitudes (beliefs and intentions) and social attitudes (such as sincerity and trustworthiness). Then we suggest a revised and simpler core semantics for many of the FIPA ACL speech acts, which, in turn, lead to the specification of the semantics of IPs. As a case study, we specify the semantics of the contract net protocol (CNP) in PDL-BI, which allows to prove that the CNP terminates.

Book titleProceedings of the fourth international joint conference on Autonomous agents and multiagent systems, Utrecht University, the Netherlands, July 25-29, 2005
Page range91-98
Year2005
PublisherACM
Publication dates
Published2005
Place of publicationNew York, USA
ISBN1595930930
Digital Object Identifier (DOI)doi:10.1145/1082473.1082488
Web address (URL)http://doi.acm.org/10.1145/1082473.1082488

Related outputs

Safety and liveness of component-oriented protocols: a feasibility study
Paurobally, S., Bolotov, A. and Getov, Vladimir 2010. Safety and liveness of component-oriented protocols: a feasibility study. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Trust negotiation and service level agreements
Paurobally, S. 2009. Trust negotiation and service level agreements. in: Gerndt, H.M., Rana, O.F., von Laszewski, G. and Ziegler, W. (ed.) Service Level Agreements in Grids Germany Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

Joint conversation specification and compliance
Paurobally, S. and Wooldridge, M. 2008. Joint conversation specification and compliance. in: Baldoni, M., Son, T.C., van Riemsdijk, M.B. and Winikoff, M. (ed.) Declarative agent languages and technologies V: 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 ; revised selected and invited papers Berlin Springer.

An auctioning protocol for Facilitating VOs
Paurobally, S. 2008. An auctioning protocol for Facilitating VOs. in: Proceedings of the Eleventh International Conference on Integrated Design and Process Technology (IDPT), June 1-6, 2008 in Taichung, Taiwan SDPS.

Implementation of ontology for intelligent hospital ward
Kataria, P., Juric, R., Paurobally, S. and Madani, K. 2008. Implementation of ontology for intelligent hospital ward. in: Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 41), Hawaii, Big Island, US, January 7 - 10, 2008 IEEE . pp. 253-262

Synchronization protocols for reliable communication in fully distributed agent systems
Dunn-Davies, H., Cunningham, J. and Paurobally, S. 2008. Synchronization protocols for reliable communication in fully distributed agent systems. in: AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems International Foundation for Autonomous Agents and Multiagent Systems.

A framework for web service negotiation
Paurobally, S., Tamma, V. and Wooldridge, M. 2007. A framework for web service negotiation. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 2 (4), p. Article No. 14.

Negotiation for authorisation in virtual organisation
Paurobally, S. 2007. Negotiation for authorisation in virtual organisation. in: Etalle, S. and Marsh, S. (ed.) Trust management: proceedings of IFIPTM 2007, Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada New York, NY, USA Springer.

Web service negotiation in an insurance grid
Paurobally, S., van Aart, C., Tamma, V., Wooldridge, M. and Van Hapert, P. 2007. Web service negotiation in an insurance grid. in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, Hawaii, May 14 - 18, 2007 New York, NY, USA ACM. pp. Article No. 275

Joint conversation specification and compliance
Paurobally, S. and Wooldridge, M. 2007. Joint conversation specification and compliance. in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, Hawaii, May 14 - 18, 2007 New York, NY, USA ACM. pp. Article No. 30

Towards service-oriented ontology-based coordination
Moyaux, T., Smith, B.L., Paurobally, S., Tamma, V. and Wooldridge, M. 2006. Towards service-oriented ontology-based coordination. in: Proceedings of the International Conference on Web Services (ICWS 2006) Los Alamitos, USA IEEE . pp. 265-274

Protocol engineering for web services conversations
Paurobally, S. and Jennings, N.R. 2005. Protocol engineering for web services conversations. Engineering Applications of Artificial Intelligence. 18 (2), pp. 237-254.

Developing agent Web service agreements
Paurobally, S. and Jennings, N.R. 2005. Developing agent Web service agreements. in: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence Los Alamitos, USA IEEE . pp. 464-470

Automating negotiation for m-services
Paurobally, S., Turner, P.J. and Jennings, N.R. 2003. Automating negotiation for m-services. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans. 33 (6), pp. 709-724.

Ensuring consistency in the joint beliefs of interacting agents
Paurobally, S., Cunningham, J. and Jennings, N.R. 2003. Ensuring consistency in the joint beliefs of interacting agents. in: Rosenschein, J.S. (ed.) AAMAS03: proceedings of the second international joint conference on Autonomous agents and multiagent systems: July 14-18, 2003, Melbourne, Australia New York, USA ACM. pp. 662-669

Permalink - https://westminsterresearch.westminster.ac.uk/item/92xx5/a-formal-framework-for-agent-interaction-semantics


Share this
Tweet
Email