Multi-Agent Only Knowing on Planet Kripke - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Multi-Agent Only Knowing on Planet Kripke

Résumé

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
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01193181 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More