ML Anthology

Representing and Using Procedural Knowledge to Build Geometry Proofs

Thomas F. McDougal, Kristian J. Hammond
AAAI 1993 pp. 60-65
/aaai/1993/mcdougal1993aaai-representing/

Abstract

What is the nature of expertise? This paper posits an answer to that question in the domain of geometry problem-solving. We present a computer program called POLYA which makes use of explicit planning knowledge to solve geometry proof problems, integrating the processes of parsing the diagram and writing the proof.

PDF AAAI Semantic Scholar

Cite

Text

McDougal and Hammond. "Representing and Using Procedural Knowledge to Build Geometry Proofs." AAAI Conference on Artificial Intelligence, 1993.

Markdown

[McDougal and Hammond. "Representing and Using Procedural Knowledge to Build Geometry Proofs." AAAI Conference on Artificial Intelligence, 1993.](https://mlanthology.org/aaai/1993/mcdougal1993aaai-representing/)

BibTeX

@inproceedings{mcdougal1993aaai-representing,
  title     = {{Representing and Using Procedural Knowledge to Build Geometry Proofs}},
  author    = {McDougal, Thomas F. and Hammond, Kristian J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {60-65},
  url       = {https://mlanthology.org/aaai/1993/mcdougal1993aaai-representing/}
}