一般的制約を含む述語ホーン節の不等式制約による表現

概要

論文の詳細を見る
論理に基づく仮説推論は、理論的な基盤性と診断や設計に応用できる実用性の両面で、知識処理の重要な枠組みである.ある事象(ゴールG)を説明、あるいは証明したいが、常に成立し他と矛盾の可能性のない背景知識(Σ)からだけではゴールGを証明できないとする.このとき、Σと合わせてGの証明を可能とするような常に真とは限らず他と矛盾の可能性を有する仮説知識(H)の無矛盾な部分集合(h)を見出すのが仮説推論の基本動作である.例えば、ある故障したシステムの各部品の可能な状態を各要素仮説とし、誤動作の様子をゴールとすれば、仮説推論により故障診断が可能となる.しかし、仮説推論の最大の課題は低い推論速度であり、最悪の場合、可能な要素仮説数に対して指数的に推論時間が増大する.この仮説推論の課題を克服するために各種の高速推論メカニズムの研究が行なわれてきた.ここではその紹介は省略するが、一つには、バックトラックによる再計算の回避と計算量の大な仮説合成の演算を効率化する方針が様々に提案されてきた.これらは記号処理的に全解又は厳密解を求めるものであり、指数オーダの壁を破るものではなかった.
1994-09-20