DMCA
A Logic of Situated Know-how (1991)
| Venue: | In National Conference on Artificial Intelligence (AAAI |
| Citations: | 12 - 6 self |
BibTeX
@INPROCEEDINGS{Singh91alogic,
author = {Munindar P. Singh},
title = {A Logic of Situated Know-how},
booktitle = {In National Conference on Artificial Intelligence (AAAI},
year = {1991},
pages = {343--348}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Know-how is an important concept in Artificial Intelligence. It has been argued previously that it cannot be successfully reduced to the knowledge of facts. In this paper, I present sound and complete axiomatizations for two non-reductive and intuitively natural formal definitions of the know-how of an agent situated in a complex environment. I also present some theorems giving useful properties of know-how, and discuss and resolve an interesting paradox (which is described within). This is done using a new operator in the spirit of Dynamic Logic that is introduced herein and whose semantics and proof-theory are given. 1 Introduction Knowledge and action are the two staples of AI. Traditionally, research in AI has focused on the conception of knowledge corresponding to know-that or the knowledge of facts. In earlier work, I have argued that an important notion of knowledge from the point of AI is the one corresponding to know-how or the knowledge of skills, and that this cannot be e...
