Proving Facts About " "
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 another interpretation of the problem using indexicals, and axiomatize it so that the desired result follows. We conclude by suggesting a broader context for dealing with self-utterances in automatic theorem-proving. Fuller details of automated proofs are given in a longer paper.
Cite
Text
Miller and Perlis. "Proving Facts About " "." International Joint Conference on Artificial Intelligence, 1987.Markdown
[Miller and Perlis. "Proving Facts About " "." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/miller1987ijcai-proving/)BibTeX
@inproceedings{miller1987ijcai-proving,
title = {{Proving Facts About " "}},
author = {Miller, Michael J. and Perlis, Donald},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1987},
pages = {499-501},
url = {https://mlanthology.org/ijcai/1987/miller1987ijcai-proving/}
}