Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 143-150.
Abstract
We present an algebraic approach to geometric reasoning and learning. The purpose of this research is to avoid the usual difficulties in symbolic handling of geometric concepts. Our system GREW is grounded on a reasoning scheme that integrate the symbolic reasoning and algebraic reasoning of Wu's method. The basic principle of this scheme is to describe mathematical knowledge in terms of symbolic logic and to execute the subsidiary reasoning for Wu's method. The validity of our approach and GREW is shown by experiments, such as applying to learning-by-example of computer vision heuristics or solving locus problems.
@inproceedings{ijcai1991p22,
title = {Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method},
author = {Iba, Hitoshi and Inoue, Hirochika},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {143--150},
year = {1991},
month = {8},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1991/22},
}
TY - CPAPER TI - Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method AU - Iba, Hitoshi AU - Inoue, Hirochika T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 143 EP - 150 UR - https://ijcai.org/proceedings/1991/22 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
