TitleA Logic of Knowing How
AuthorsWang, Yanjing
AffiliationPeking Univ, Dept Philosophy, Beijing 100871, Peoples R China.
KeywordsABILITY
Issue Date2015
PublisherLOGIC, RATIONALITY, AND INTERACTION (LORI 2015)
CitationLOGIC, RATIONALITY, AND INTERACTION (LORI 2015).Natl Taiwan Univ, Dept Philosophy, Taipei, TAIWAN,2015/1/1,9394(392-405).
AbstractIn this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning. We first define a modal language to express "I know how to guarantee. given." with a semantics not based on standard epistemic models but labelled transition systems that represent the agent's knowledge of his own abilities. A sound and complete proof system is given to capture the valid reasoning patterns about "knowing how" where the most important axiom suggests its compositional nature.
URIhttp://hdl.handle.net/20.500.11897/436982
ISSN0302-9743
DOI10.1007/978-3-662-48561-3_32
IndexedEI
CPCI-S(ISTP)
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.