代数学的手法に基づく幾何学的推論システム(1)

スポンサーリンク

概要

論文の詳細を見る
幾何学的概念に関する推論は、ロボティックス・CADなどの広範な応用分野がある。しかしながら、表現及び推論能力の点で、述語論理に基づく多くの推論システムは幾何学的対象を扱うのに適していない。例えば(Nevins75)に代表される従来の推論システムでは、幾何学的拘束は形式的な記号で表現されており、ヒューリスティックスを伴う変形と記号レベルのマッチングが推論の基本原理であった。その結果、幾何学的概念の本来の特徴である変換不変の性質を的確に表現することができず、補助線を伴う複雑な推論も極めて困雛であった。本稿では、この問題を解決するために代数学的手法を用いて幾何学的推論システムを構築することを試みる。さらに、実験結果をもとにシステムの有効性を示し、効果的な推論手法について述べる。
一般社団法人情報処理学会の論文
1989-03-15

著者

関連論文

もっと見る

スポンサーリンク