Time: 2019 March. 29, 13:30-16:00
Venue: Xinzhai 324, Tsinghua Univ.
Speaker: Yanjing Wang (Peking University)
Title: Logics of Knowing How
Abstract: Standard epistemic logic studies the inference patterns regarding propositional knowledge expressed by “knowing that”. However, knowledge is also expressed in natural language by “knowing how”, “knowing why”, “knowing what”, and so on. The “knowing how” expressions are in particular interesting for not only philosophers but also linguists and AI researchers. In this talk, I survey the recent developments of the logic of knowing how inspired by discussions in epistemology and automated planning in AI. We propose several types of semantics of the “knowing how” operator based on various notions of planning, and then unify them in a very general framework. For each of them, we show a complete axiomatization of the logic and its decidability. We conclude with further directions.
- Yanjing Wang: A logic of goal-directed knowing how, Synthese 195 (10): 4419-4439. 2018.
- Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang: Strategically knowing how. In Proceedings of IJCAI 2017:1031-1038, AAAI
- Yanjing Wang: Beyond knowing that: a new generation of epistemic logics, in Jaakko Hintikka on knowledge and game-theoretical semantics, 499-533, (2018) Springer
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Department of Philosophy, Tsinghua University