Multi-Agent Only Knowing on Planet Kripke

Abstract : The idea of only knowing is a natural and intuitive notion to precisely capture the beliefs of a knowledge base. However, an extension to the many agent case, as would be needed in many applications , has been shown to be far from straightforward. For example, previous Kripke frame-based accounts appeal to proof-theoretic constructions like canonical models, while more recent works in the area abandoned Kripke semantics entirely. We propose a new account based on Moss' characteristic formulas, formulated for the usual Kripke semantics. This is shown to come with other benefits: the logic admits a group version of only knowing , and an operator for assessing the epistemic en-trenchment of what an agent or a group only knows is definable. Finally, the multi-agent only knowing operator is shown to be expressible with the cover modality of classical modal logic, which then allows us to obtain a completeness result for a fragment of the logic.
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01193181
Contributor : Guillaume Aucher <>
Submitted on : Friday, September 4, 2015 - 4:48:51 PM
Last modification on : Thursday, February 21, 2019 - 10:31:46 AM
Document(s) archivé(s) le : Saturday, December 5, 2015 - 1:45:04 PM

File

IJCAI15.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01193181, version 1

Citation

Guillaume Aucher, Vaishak Belle. Multi-Agent Only Knowing on Planet Kripke. International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. ⟨hal-01193181⟩

Share

Metrics

Record views

230

Files downloads

134