論理の多段化による知識リフォメーションに基づく仮説推論の高速化手法

スポンサーリンク

概要

論文の詳細を見る
常に成立する知識(背景知識)に加え、矛盾の可能性などをもつ知識(仮説)も扱うことのできる仮説推論は、診断問題や設計問題などの実際的な問題へ直接的に適用できる実用性を兼ね備えた有用な枠組みである。しかし、仮説推論は非単調推論の一つであるため、推論速度が遅いことが実用上最大の問題であり、これまでにもその解決策が様々に提案されてきた。本研究では、仮説推論の問題の複雑さは知識ベースの構造が決定しているとの観点から、論理式の多段化を用いて知識ベース中の論理式を変形することによる仮説推論の高速化を行う。知識ベースは命題ホーン説によって表現されたものを対象とし、ゴールが与えられてからの実時間処理として多段化処理を行うものとする。実際に従来の仮説推論システムの前処理として適用したところ、良好な結果が得られた。以下に、その手法について報告する。
1994-03-07

著者

関連論文

もっと見る

スポンサーリンク