A problem solving program capable of handling high school level Euclidean geometry straight-edge and compass constructions has been written. Figures are constructed by discovering, for the points composing them, the loci which satisfy the given sets of constraints. The representation of geometric knowledge is procedural. The relation to theorem proving in geometry, and aspects of the language PLANNER, which was used in the implementation of the program, are discussed. / Science, Faculty of / Computer Science, Department of / Graduate
| Identifer | oai:union.ndltd.org:UBC/oai:circle.library.ubc.ca:2429/32666 |
| Date | January 1973 |
| Creators | Funt, Brian V. |
| Publisher | University of British Columbia |
| Source Sets | University of British Columbia |
| Language | English |
| Detected Language | English |
| Type | Text, Thesis/Dissertation |
| Rights | For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use. |
Page generated in 0.0021 seconds