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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 Ročník 3; s. 478 - 483
Hlavní autoři: Ditmarsch, Hans van, French, Tim
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: Washington, DC, USA IEEE Computer Society 15.09.2009
IEEE
Edice:ACM Conferences
Témata:
Australia
awareness
Computer science
Computing methodologies > Artificial intelligence > Distributed artificial intelligence > Multi-agent systems
Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Computing methodologies > Artificial intelligence > Knowledge representation and reasoning > Logic programming and answer set programming
Computing methodologies > Artificial intelligence > Knowledge representation and reasoning > Semantic networks
Computing methodologies > Machine learning > Machine learning approaches > Rule learning
Computing methodologies > Modeling and simulation > Model development and analysis > Modeling methodologies
Conferences
Cost accounting
Intelligent agent
knowledge
multi-agent systems
Multiagent systems
Multivalued logic
Software engineering
Theory of computation > Logic > Constraint and logic programming
Uncertainty
Visualization
awareness
multi-agent systems
knowledge
ISBN:0769538010, 9780769538013
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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).
ISBN:0769538010
9780769538013
DOI:10.1109/WI-IAT.2009.330