Synthese 195 (10):4419-4439 (2018)
AbstractIn this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions.
Similar books and articles
A Sound and Complete Tableau Calculus for Reasoning About Only Knowing and Knowing at Most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Łukasiewicz Logic: From Proof Systems To Logic Programming.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2005 - Logic Journal of the IGPL 13 (5):561-585.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
The Generation of Abductive Explanations From Inconsistent Theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
The Modal Logic of Discrepancy.Charles B. Cross - 1997 - Journal of Philosophical Logic 26 (2):143-168.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Knowing and the Mystique of Logic and Rules Including True Statements in Knowing and Action, Computer Modelling of Human Knowing Activity, Coherent Description as the Core of Scholarship and Science.Peter Naur - 1995
Added to PP
Historical graph of downloads
Citations of this work
Together We Know How to Achieve: An Epistemic Logic of Know-How.Pavel Naumov & Jia Tao - 2018 - Artificial Intelligence 262 (C):279-300.
Planning-Based Knowing How: A Unified Approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.
Neighborhood Semantics for Logic of Knowing How.Yanjun Li & Yanjing Wang - 2021 - Synthese 199 (3-4):8611-8639.
A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.
References found in this work
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.