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.
Type de document :
Communication dans un congrès
International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger
Contributeur : Guillaume Aucher <>
Soumis le : vendredi 4 septembre 2015 - 16:48:51
Dernière modification le : mercredi 16 mai 2018 - 11:23:29
Document(s) archivé(s) le : samedi 5 décembre 2015 - 13:45:04


Fichiers éditeurs autorisés sur une archive ouverte


  • 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〉



Consultations de la notice


Téléchargements de fichiers