van Ditmarsch, Hans; Herzig, Andreas; Lang, Jérôme; Marquis, Pierre (2008), Introspective Forgetting, in Zhang, Mengjie, AI 2008: Advances in Artificial Intelligence. 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings, Springer : Berlin Heidelberg, p. 18-29
TypeCommunication / Conférence
Conference countryNEW ZEALAND
Book titleAI 2008: Advances in Artificial Intelligence. 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
Book authorZhang, Mengjie
MetadataShow full item record
Abstract (EN)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.
Subjects / Keywordsaction logic; forgetting; abstraction; belief change; modal logic
Showing items related by title and author.