非単調知識処理システムBMS

概要

論文の詳細を見る
本論文では,完全な知識だけでなく不完全な知識も扱うことのできる新しい知識処理システムBMSを提案する.BMSは,命題論理式で表される完全な知識とオペレータ"⇒"を用いて表される不完全な知識を受理し,それらをもとに信念に基づく推論を行い,妥当な信念集合を得るという推論システムである.そのため,BMSは新しい知識の追加に伴い,以前に持っていた推論結果を取り消すこともあり,非単調推論を実現するシステムであるともいえる.BMSの重要な機能としては,知識ベースを更新する機能および外部から与えられた質問に応答する機能が挙げられる.前者は,システムが与えられた知識に対する無矛盾で妥当な信念を常に保持することを可能とし,後者は,システムの持つ信念を外部から自由に参照することを可能とする.ここでは,この2つの機能を中心にBMSの構造,動作を説明する.また,非単調推論でしばしば問題となる複数の解の取り扱いについてBMS上で議論し,一意に解を求める手法を提案する.さらに,BMSを非単調性を持つ既存システムであるTMS,ATMS,THEORISTなどと比較し,その差異を明らかにする.
一般社団法人情報処理学会の論文
1991-01-15