著者
大原 剛三 青山学院大学
雑誌
人工知能
巻号頁・発行日
vol.32, no.2, 2017-03-01
著者
大澤 正彦 慶應義塾大学大学院
雑誌
人工知能
巻号頁・発行日
vol.32, no.2, 2017-03-01
著者
齋藤 亜矢
出版者
一般社団法人 人工知能学会
雑誌
人工知能 (ISSN:21882266)
巻号頁・発行日
vol.33, no.6, pp.754-761, 2018-11-01 (Released:2020-09-29)
被引用文献数
1
著者
伊庭 斉志 井上 博允
出版者
一般社団法人 人工知能学会
雑誌
人工知能 (ISSN:21882266)
巻号頁・発行日
vol.5, no.3, pp.300-310, 1990-05-01 (Released:2020-09-29)

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.
著者
北野 宏明
出版者
一般社団法人 人工知能学会
雑誌
人工知能 (ISSN:21882266)
巻号頁・発行日
vol.7, no.1, pp.26-37, 1992-01-01 (Released:2020-09-29)
被引用文献数
3