What Do We Accept After an Announcement ? (KRAMAS 2008)

Andreas Herzig (1, 2) , Tiago De Lima (3) , Emiliano Lorini (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 CRIL - Centre de Recherche en Informatique de Lens

The logic of collective acceptance is an alternative to the logic of common belief. We study its extension by private announcements in the sense of Baltag et col., where we consider two kinds of announcements: assertions and retractions. We show that reduction axioms can be given for both of them.

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig, Tiago De Lima, Emiliano Lorini. What Do We Accept After an Announcement ? (KRAMAS 2008). 1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. ⟨hal-03526739⟩