Agents that speak: modelling communicative plans and information sources in a logic of announcements - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

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

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
B33.pdf (650.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03464951 , version 1 (03-12-2021)

Identifiants

  • HAL Id : hal-03464951 , version 1

Citer

Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini. Agents that speak: modelling communicative plans and information sources in a logic of announcements. 10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), International Foundation for Autonomous Agents and Multiagent Systems, May 2011, Taipei, Taiwan. pp.1207-1208. ⟨hal-03464951⟩
49 Consultations
25 Téléchargements

Partager

More