{"pk":31738,"title":"Using Case-based Reasoning and Situated Activity to Write Geometry Proofs","subtitle":null,"abstract":"As models of human cognition, previous geometry\ntheorem-proving programs were inappropriately\ninfluenced by the ease with which computers\nmanipulate syntactic formulae. The failure of\nthose programs to pay attention to h u m a n\nperception d o o m e d them as models of h o w\nhumans solve geometry proof problems. Just as\nthe study of theorem-proving once evolved into\nthe study of planning, it is time n o w for theorem-\nproving to incorporate current ideas in the\nplanning community. A close examination of\nwhat h u m a n s do w h e n they try to solve\ngeometry proof problems, and of h o w geometry is\ntaught, reveals an emphasis on chunks of\nproblem-solving knowledge derived from\nexamples, retrieved on the basis of visual cues.\nThese ideas are characteristic of the case-based\nreasoning and situated activity approaches in\nplanning. This paper concludes with a brief\ndescription and trace of a computer program,\nPOLYA , which does reactive, memory-based\ngeometry theorem-proving.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[],"section":"Submitted Presentations","is_remote":true,"remote_url":"https://escholarship.org/uc/item/5cb7t3sc","frozenauthors":[{"first_name":"Thomas","middle_name":"F.","last_name":"McDougal","name_suffix":"","institution":"University of Chicago","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"1993-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/31738/galley/22806/download/"}]}