Awareness and Forgetting of Facts and Agents

—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). Keywords-awareness; knowledge; multi-agent systems

• Type: Conference
• Year: 2009
• Where: IAT
• Authors: Hans P. van Ditmarsch, Tim French
• Keywords: IAT 2009, Intelligent Agent, Multi-agent Epistemic Language, Multiple Agents, Various Logical Semantics