Strategically knowing how - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Strategically knowing how

Résumé

In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve φ means that there exists a (uniform) strategy such that the agent knows that it can make sure φ. We give an intuitive axiomatization of our logic and prove the soundness, completeness, and decidability of the logic. The crucial axioms relating knowing that and knowing how illustrate our understanding of knowing how in this setting. This logic can be used in representing both knowledge-that and knowledge-how.
Fichier principal
Vignette du fichier
fervari_19159.pdf (163.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03658088 , version 1 (03-05-2022)

Identifiants

Citer

Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang. Strategically knowing how. 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), International Joint Conferences on Artificial Intelligence Organization, Aug 2017, Melbourne, Australia. pp.1031-1038, ⟨10.24963/ijcai.2017/143⟩. ⟨hal-03658088⟩
35 Consultations
30 Téléchargements

Altmetric

Partager

More