|
本研究では、アブダクションに帰納推論の機能を導入することによって、両者の機能を併せ持つ仮説推論の手法を検討した。具体的には、「アブダクティブな一般化」の技法を導入し、ホーン論理プログラムからなる知識ベースにおいて正の事例が与えられたときに、事例を説明する仮説事実をアブダクションを使って計算し、その仮説を使って知識ベースを一般化するアルゴリズムを開発した。一方、アブダクティブな一般化はしばしば知識ベースを過度に一般化し、その結果知識ベースが負の事例と矛盾することがある。この場合に、矛盾を引き起こす原因をアブダクションを使って検出し、検出された知識を特殊化して知識ベースの無矛盾性を回復する「アブダクティブな特殊化」の技法を導入した。アブダクティブな一般化と特殊化は、論理プログラミングにおけるアブダクションの計算手続きを使って実現することができる。また、一般に網羅的探索を必要とする帰納推論アルゴリズムと比較すると、本手法は仮説ルールを構成する過程においてアブダクションを使って候補仮説の探索空間を絞ることによって、より効率的に仮説を生成することができる。
|
