Understanding Without Proofs

Wilks, Yorick

Understanding Without Proofs

Download BibTeX Cite

Proceedings of the Third International Joint Conference on Artificial Intelligence. Natural Language: Systems. Pages 270-276.

Abstract

The paper describes the analysis part of a running analysis and generation pro gram for natural language. The system is entirely oriented to matching meaningful patterns onto fragmented paragraph length input. Its core is a choice system based on what I call "semantic density". The system is contrasted with ( 1) syntax oriented linguistic approaches and (2 ) theorem proving approaches to the understanding problem. It is argued by means of examples that the present system is not only more workable, but more intuitively acceptable, at least as an understander for the purpose of translation, than deduction-based systems.

Yorick Wilks. 1973. Understanding Without Proofs. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 270–276. https://ijcai.org/proceedings/1973/35

@inproceedings{ijcai1973p35,
  title     = {Understanding Without Proofs},
  author    = {Wilks, Yorick},
  booktitle = {Proceedings of the Third International Joint Conference on
               Artificial Intelligence, {IJCAI-73}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Nils J. Nilsson},
  pages     = {270--276},
  year      = {1973},
  month     = {8},
  note      = {Natural Language: Systems},
  url       = {https://ijcai.org/proceedings/1973/35},
}

TY  - CPAPER
TI  - Understanding Without Proofs
AU  - Wilks, Yorick
T2  - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1973
SP  - 270
EP  - 276
UR  - https://ijcai.org/proceedings/1973/35
ER  -