人工知能学会誌（1986～2013, Print ISSN:0912-8085）
代数学的手法に基づく幾何学的概念の推論 : 第1報:Wuの手法を用いた幾何学的推論
1990 年 5 巻 3 号 p. 300-310
詳細
1990 年 5 巻 3 号 p. 300-310
An algebraic approach for geometric reasoning is presented. The purpose of this study is to avoid the usual difficulties which appear in the symbolic approach for machine handling of geometric concepts, such as appropriate representation for transformation-invariant properties of geometric concepts, formal interpretation of heuristics, and finding the tricky auxiliary lines for geometrical problem solving. In order to solve these difficulties we choose Wu's method as the base of our algebraic approach, and have realized an effective geometric reasoning. In this paper, we describe the basic concept of Wu's method, advantages of this algebraic approach, and usefulness for theorem proving. We also show the validity of our approach by applying it to learning-from-example of some heuristic rules in computer vision.
