A logic of goal-directed knowing how

Synthese 195 (10):4419-4439 (2018)
  Copy   BIBTEX

Abstract

In 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Goal-Directed Proof Theory.Dov M. Gabbay - 2000 - Dordrecht, Netherland: Kluwer Academic.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
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
Logic, Convention, and Common Knowledge.Paul F. Syverson - 1993 - Dissertation, Indiana University
Knowing‐Wh and Embedded Questions.Ted Parent - 2014 - Philosophy Compass 9 (2):81-95.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
A Theory of Practical Reason.Robert Binkley - 1965 - Philosophical Review 74 (4):423-448.
Using Abstract Resources to Control Reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.

Analytics

Added to PP
2016-11-28

Downloads
59 (#198,351)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yanjing Wang
Peking University