Show simple item record

Introspective Forgetting

dc.contributor.authorvan Ditmarsch, Hans
HAL ID: 7172
dc.contributor.authorHerzig, Andreas
HAL ID: 181482
ORCID: 0000-0003-0833-2782
dc.contributor.authorLang, Jérôme
dc.contributor.authorMarquis, Pierre
dc.date.accessioned2014-02-20T13:57:36Z
dc.date.available2014-02-20T13:57:36Z
dc.date.issued2008
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/12708
dc.language.isoenen
dc.subjectaction logic
dc.subjectforgetting
dc.subjectabstraction
dc.subjectbelief change
dc.subjectmodal logic
dc.subject.ddc006.3en
dc.titleIntrospective Forgetting
dc.typeCommunication / Conférence
dc.description.abstractenWe 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.
dc.identifier.citationpages18-29
dc.relation.ispartoftitleAI 2008: Advances in Artificial Intelligence. 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
dc.relation.ispartofeditorZhang, Mengjie
dc.relation.ispartofpublnameSpringer
dc.relation.ispartofpublcityBerlin Heidelberg
dc.relation.ispartofdate2008
dc.subject.ddclabelIntelligence artificielleen
dc.relation.ispartofisbn978-3-540-89377-6
dc.relation.confcountryNEW ZEALAND
dc.relation.forthcomingnonen
dc.description.ssrncandidatenon
dc.description.halcandidateoui
dc.description.readershiprecherche
dc.description.audienceInternational
dc.date.updated2017-01-06T18:13:09Z


Files in this item

Thumbnail
Name:
fAucklandforget_2.pdf
Size:
146.0Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record