A Computationally Grounded Logic of Awareness - Archive ouverte HAL
Article Dans Une Revue Journal of Logic and Computation Année : 2023

A Computationally Grounded Logic of Awareness

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, and a polynomial embedding of our logic into the logic of general awareness. Thanks to the latter embedding, we show that the satisfiability checking problem for our logic is PSPACE-complete. Finally, we extend it by the notions of public announcement and private belief expansion.
Fichier principal
Vignette du fichier
JLCspecialIssue_LoriniSong.pdf (1.3 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03873197 , version 1 (26-11-2022)

Identifiants

Citer

Emiliano Lorini, Pengfei Song. A Computationally Grounded Logic of Awareness. Journal of Logic and Computation, 2023, 33 (6), pp.1463-1496. ⟨10.1093/logcom/exac035⟩. ⟨hal-03873197⟩
69 Consultations
94 Téléchargements

Altmetric

Partager

More