When 'knowing whether' is better than 'knowing that' - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

When 'knowing whether' is better than 'knowing that'

Résumé

We study a simple epistemic logic with a restricted language where formulas are boolean combinations of (epistemic) atoms: sequences of 'know-ing whether' operators followed by propositional variables. Our language is strictly more expressive than existing restricted languages, where atoms are sequences of epistemic operators and negations followed by propositional variables (in other words: atoms are epistemic formulas without conjunctions and disjunctions). Going further beyond existing approaches , we also introduce a 'common knowledge of a group whether' operator. We give an axiomatiza-tion for this logic and show that the model checking and satisfiability problems can be reduced to their classical counterparts.
Fichier principal
Vignette du fichier
paper_22.pdf (145.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02302984 , version 1 (01-10-2019)

Identifiants

  • HAL Id : hal-02302984 , version 1

Citer

Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, et al.. When 'knowing whether' is better than 'knowing that'. 13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. ⟨hal-02302984⟩
113 Consultations
78 Téléchargements

Partager

More