Representing and using procedural knowledge to build geometry proofs

Thomas F. McDougal*, Kristian J. Hammond

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the National Conference on Artificial Intelligence
PublisherPubl by AAAI
Pages60-65
Number of pages6
ISBN (Print)0262510715
StatePublished - Dec 1 1993
EventProceedings of the 11th National Conference on Artificial Intelligence - Washington, DC, USA
Duration: Jul 11 1993Jul 15 1993

Other

OtherProceedings of the 11th National Conference on Artificial Intelligence
CityWashington, DC, USA
Period7/11/937/15/93

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Representing and using procedural knowledge to build geometry proofs'. Together they form a unique fingerprint.

  • Cite this

    McDougal, T. F., & Hammond, K. J. (1993). Representing and using procedural knowledge to build geometry proofs. In Proceedings of the National Conference on Artificial Intelligence (pp. 60-65). Publ by AAAI.