2026-07-22T13:39:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2228 2024-03-06T11:08:58Z ddc:004 open_access

Awareness and forgetting of facts and agents Van Ditmarsch, Hans French, Tim Awareness knowledge multi-agent systems dynamics We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We model these dynamics by quantifying over propositional variables and agent variables, in a multi-agent epistemic language with awareness operators, employing a notion of bisimulation with a clause for `same awareness'. The quantification is over all different ways in which an agent can become aware (or forget). Logics for change of awareness combine well with logics for informational change, as when a public announcement simultaneously makes you aware of an issue (`a plane just crashed on Schiphol Airport'). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hans Van Ditmarsch and Tim French 2009 Is Part Of Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.09351.3 urn:nbn:de:0030-drops-22286 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.3 eng https://creativecommons.org/licenses/by/4.0/legalcode