The University of Southampton
University of Southampton Institutional Repository

A formal framework for the semantics of agent interactions

A formal framework for the semantics of agent interactions
A formal framework for the semantics of agent interactions
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published inter-action 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.
semantics, belief, intention, ACL, protocol, interaction state
91-98
Paurobally, S.
93a6fea7-9403-4c14-86bc-947907b7df48
Cunningham, J.
fd894379-e9f8-4eea-8ce7-084157de060d
Jennings, N. R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30
Paurobally, S.
93a6fea7-9403-4c14-86bc-947907b7df48
Cunningham, J.
fd894379-e9f8-4eea-8ce7-084157de060d
Jennings, N. R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30

Paurobally, S., Cunningham, J. and Jennings, N. R. (2005) A formal framework for the semantics of agent interactions. 4th Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, Netherlands. pp. 91-98 .

Record type: Conference or Workshop Item (Paper)

Abstract

Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published inter-action 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.

PDF
aamas05-shamima.pdf - Other
Download (181kB)

More information

Published date: 2005
Venue - Dates: 4th Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, Netherlands, 2005-01-01
Keywords: semantics, belief, intention, ACL, protocol, interaction state
Organisations: Agents, Interactions & Complexity

Identifiers

Local EPrints ID: 260822
URI: http://eprints.soton.ac.uk/id/eprint/260822
PURE UUID: 363f74bb-4fa7-465c-bfa7-f03e8b1e509d

Catalogue record

Date deposited: 29 Apr 2005
Last modified: 18 Jul 2017 09:09

Export record

Contributors

Author: S. Paurobally
Author: J. Cunningham
Author: N. R. Jennings

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×