{"type":"ScholarlyArticle","title":"Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method","authors":[{"name":"Hitoshi Iba","slug":"hitoshi-iba","given":"Hitoshi","family":"Iba","affiliation":""},{"name":"Hirochika Inoue","slug":"hirochika-inoue","given":"Hirochika","family":"Inoue","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1991/22","pdf":"https://ijcai.org/proceedings/1991/0022.pdf","markdown":"https://ijcai.org/proceedings/1991/22.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/22","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":22,"pages":{"first":143,"last":150},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}