Introspective Forgetting

Hans van Ditmarsch (1, 2) , Andreas Herzig (1, 3) , Jérôme Lang (4, 5) , Pierre Marquis (6)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 University of Otago [Dunedin, Nouvelle-Zélande]
3 CNRS - Centre National de la Recherche Scientifique
4 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
5 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
6 CRIL - Centre de Recherche en Informatique de Lens

We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.

Mots clés: modal logic; forgetting; abstraction; action logic; belief change

Domaines: Intelligence artificielle [cs.AI]

Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis. Introspective Forgetting. 21st Australasian Joint Conference on Artificial Intelligence (AI 2008), Dec 2008, Auckland, New Zealand. pp.18-29, ⟨10.1007/978-3-540-89378-3_2⟩. ⟨hal-00800753⟩