Multi-Agent Only Knowing on Planet Kripke - Archive ouverte HAL Access content directly
Conference Papers Year :

Multi-Agent Only Knowing on Planet Kripke

(1, 2) , (3)


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.
Fichier principal
Vignette du fichier
IJCAI15.pdf (474.22 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-01193181 , version 1 (04-09-2015)


  • HAL Id : hal-01193181 , version 1


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


Gmail Facebook Twitter LinkedIn More