Proving Facts about " "

Miller, Michael J.; Perlis, Donald

Proving Facts about " "

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 499-500.

Abstract

We study the Knight1. and Knave~ 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 "selfutterances" in automatic theorem-proving. Fuller details of automated proofs are · given in a longer paper.

Michael J. Miller, and Donald Perlis. 1987. Proving Facts about " ". In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 499–500. https://ijcai.org/proceedings/1987/98

@inproceedings{ijcai1987p98,
  title     = {Proving Facts about " "},
  author    = {Miller, Michael J. and Perlis, Donald},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {499--500},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/98},
}

TY  - CPAPER
TI  - Proving Facts about " "
AU  - Miller, Michael J.
AU  - Perlis, Donald
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 499
EP  - 500
UR  - https://ijcai.org/proceedings/1987/98
ER  -