Thumbnail

Introspective Forgetting

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

View/Open
Type
Communication / Conférence
Date
2008
Conference country
NEW ZEALAND
Book title
AI 2008: Advances in Artificial Intelligence. 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
Book author
Zhang, Mengjie
Publisher
Springer
Published in
Berlin Heidelberg
ISBN
978-3-540-89377-6
Pages
18-29
Metadata
Show full item record
Author(s)
van Ditmarsch, Hans
Herzig, Andreas cc
Lang, Jérôme
Marquis, Pierre
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 / Keywords
action logic; forgetting; abstraction; belief change; modal logic