Grounding Awareness on Belief Bases
Résumé
We introduce a multi-agent logic of explicit, implicit belief and awareness with a semantics using belief bases. The novelty of our approach is that an agent's awareness is not a primitive but is directly computed from the agent's belief base. We prove soundness and completeness of the logic relative to the belief base semantics. Furthermore, we provide a polynomial embedding of the logic of propositional awareness into it.
Origine : Fichiers produits par l'(les) auteur(s)