Skip to Main content Skip to Navigation
Conference papers

Grounding Awareness on Belief Bases

Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03008597
Contributor : Emiliano Lorini Connect in order to contact the contributor
Submitted on : Sunday, December 13, 2020 - 3:48:24 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:36 PM
Long-term archiving on: : Sunday, March 14, 2021 - 6:44:38 PM

File

CameraReadyDALI2020_LoriniSong...
Files produced by the author(s)

Identifiers

Citation

Emiliano Lorini, Pengfei Song. Grounding Awareness on Belief Bases. Third International Workshop on Dynamic Logic: New Trends and Applications (DALI 2020), Nov 2020, Prague, Czech Republic. pp.170-186, ⟨10.1007/978-3-030-65840-3_11⟩. ⟨hal-03008597⟩

Share

Metrics

Record views

120

Files downloads

140