A formal framework for agent interaction semantics

Paurobally, Shamimabi, Cunningham, Jim and Jennings, Nicholas 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. ACM Press, New York, USA, pp. 91-98. ISBN 1595930930

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/1082473.1082488


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.

Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 05 Jul 2007
Last Modified: 20 Oct 2009 11:52
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/4380

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)