Proving self-utterances |
| |
Authors: | Michael Miller Donald Perlis |
| |
Affiliation: | (1) Computer Science Department, Systems Research Center, University of Maryland, 20742 College Park, MD, USA;(2) Computer Science Department, Institute for Advanced Computer Studies, University of Maryland, 20742 College Park, MD, USA |
| |
Abstract: | We study the Knights and Knaves problem, and find that for a proper treatment via theorem-proving, an interaction with natural language processing research is helpful. In particular, we discuss Ohlbach's claim that first-order logic is not well suited to handling this problem. Then we provide an interpretation of the problem using indexicals, axiomatize it, and prove the desired result. We conclude by suggesting a broader context for dealing with self-utterances in automatic theorem-proving. |
| |
Keywords: | Indexicals knowledge representation first-order logic situated logic utterances |
本文献已被 SpringerLink 等数据库收录! |
|