An Automatic Theorem Prover Generating a Proof in Natural Language

Nakanlshi, Masakazu; Nagata, Morio; Ueda, Kenji

An Automatic Theorem Prover Generating a Proof in Natural Language

Masakazu Nakanlshi, Morio Nagata, Kenji Ueda

Download BibTeX Cite

Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .

Abstract

An automatic theorem prover which displays a proof in system proves properti~s of recursive programs, and the proof. Then it translates the tree into the proof traverse. The proof written by this system is easy to instead of notations of logics, and some redundant and natural language is described. This constructs a proof tree corresponding to text in English by means of the tree read, because the English text is placed trivial statements are disappeared.

Masakazu Nakanlshi, Morio Nagata, and Kenji Ueda. 1979. An Automatic Theorem Prover Generating a Proof in Natural Language. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI, https://ijcai.org/proceedings/1979/139

@inproceedings{ijcai1979p139,
  title     = {An Automatic Theorem Prover Generating a Proof in Natural Language},
  author    = {Nakanlshi, Masakazu and Nagata, Morio and Ueda, Kenji},
  booktitle = {Proceedings of the Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI-79}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Bruce G. Buchanan},
  year      = {1979},
  month     = {8},
  url       = {https://ijcai.org/proceedings/1979/139},
}

TY  - CPAPER
TI  - An Automatic Theorem Prover Generating a Proof in Natural Language
AU  - Nakanlshi, Masakazu
AU  - Nagata, Morio
AU  - Ueda, Kenji
T2  - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1979
UR  - https://ijcai.org/proceedings/1979/139
ER  -