A formal framework for agent interaction semantics

Authors:
Shamimabi Paurobally;Jim Cunningham;Nicholas R. Jennings
Affiliations:
University of Southampton, Southampton, UK;Imperial College, London, UK;University of Southampton, Southampton, UK
Venue:
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Year:
2005

Citing 4
Cited 5

Logics of time and computation

Logics of time and computation
A logic of intention with cooperation principles and with assertive speech acts as communication primitives

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems

Commitment-Based Policies in Persuasion Dialogues with Defeasible Beliefs

Agent Communication II
A unification-based approach to configure generic protocols into agent interaction models

International Journal of Agent-Oriented Software Engineering
Using constraints and process algebra for specification of first-class agent interaction protocols

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Joint conversation specification and compliance

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A modeling framework for generic agent interaction protocols

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

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.