Agents that speak: modelling communicative plans and information sources in a logic of announcements

Authors:
Philippe Balbiani;Nadine Guiraud;Andreas Herzig;Emiliano Lorini
Affiliations:
CNRS, IRIT, France;IRIT, France;CNRS, IRIT, France;CNRS, IRIT, France
Venue:
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Year:
2011

Citing 3
Cited 0

Intention is choice with commitment

Artificial Intelligence
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective

Trust in Agent Societies
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a modal logic of belief and announcements in a multi-agent setting. This logic allows to express not only that Ψ holds after the announcement of Φ as in standard public announcement logic (PAL), but also that the announcement of Φ occurs. We use the logic to provide a formal analysis of several concepts that are relevant for multi-agent systems (MAS) theory and applications: the notions of communicative action (an agent informs another agent about something) and communicative intention (an agent has the intention to inform another agent about something), and the notion of information source.