Sciweavers

Share
ATAL
2005
Springer

A formal framework for agent interaction semantics

9 years 9 months ago
A formal framework for agent interaction semantics
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. Categories and Subject Descriptors I.2.11 [...
Shamimabi Paurobally, Jim Cunningham, Nicholas R.
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2005
Where ATAL
Authors Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
Comments (0)
books