OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Strategically knowing how

Fervari, Raul and Herzig, Andreas and Li, Yanjun and Wang, Yanjing Strategically knowing how. (2017) In: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 19 August 2017 - 25 August 2017 (Melbourne, Australia).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://www.ijcai.org/proceedings/2017/0143.pdf


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.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-03658088
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Universidad Nacional de Cordoba - UNC (ARGENTINA)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > University of Groningen (NETHERLANDS)
Other partners > Consejo Nacional de Investigaciones Científicas y Técnicas - CONICET (ARGENTINA)
Other partners > Peking University (CHINA)
Laboratory name:
Deposited On:07 Nov 2018 15:30

Repository Staff Only: item control page