Visual Reasoning in Geometry Theorem Proving
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Vision and Robotics. Pages 1617-1621.
Abstract
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to manipulate them. We show that this representation captures powerful heuristics for proving geometry theorems, and that it allows a systematic manipulation of geometric features in a manner similar to what may occur in human visual reasoning.
Michelle Y. Kim. 1989. Visual Reasoning in Geometry Theorem Proving. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 1617–1621. https://ijcai.org/proceedings/1989/257
Kim, M. Y. (1989). Visual Reasoning in Geometry Theorem Proving. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 (pp. 1617–1621). IJCAI. https://ijcai.org/proceedings/1989/257
@inproceedings{ijcai1989p257,
title = {Visual Reasoning in Geometry Theorem Proving},
author = {Kim, Michelle Y.},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {1617--1621},
year = {1989},
month = {8},
note = {Vision and Robotics},
url = {https://ijcai.org/proceedings/1989/257},
}
TY - CPAPER TI - Visual Reasoning in Geometry Theorem Proving AU - Kim, Michelle Y. T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 1617 EP - 1621 UR - https://ijcai.org/proceedings/1989/257 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
