非単調論理の実現についての基礎的研究

コンピュータにより知識を表現・利用・獲得する、いわゆる知識情報処理システムにおいて、述語論理は現在のところ最も広く利用されているものの一つである。しかし述語論理に基づく演繹推論では、推論に必要な全ての知識をシステムに与えねばならず、膨大な知識を取り扱うことが不可欠となり、エキスパートシステムのような知識ベースシステム構築の隘路となる。そこで、人間が行っているような常識による推論や、不十分な知識をもとにした推論などが要求される。このような推論のためのlogicを非単調論理という。Reiterはこの要請に応えるものとしてdefault logicを提案し、これに基づき推論される世界をextensionと定義しているが、このextensionを具体的に求める方法は述べられていない。本研究はこれを求めるための理論的研究と、補助金により購入したパソコンを使用した実験研究とから成る。1.理論研究の成果は次の通りである。(1).extensionのモデル集合を求めるアルゴリズムを得た。(2).このアルゴリズムで求められるモデル集合は、extensionのモデル集合であることを証明した。(3).extensionのモデル集合は、アルゴリズムにより求めたモデル集合であることを証明した。2.実験研究の成果は次の通りである。補助金により購入したソフトウェア(プロローグ)を用いて、命題論理を対象としてextensionのモデル集合を求めるアルゴリズムを、パソコン上にインプリメントし、アルゴリズムの有効性を確かめた。これらの結果により、非単調推論実現の可能性が示された。今後、このアルゴリズムの効率化を計れば、不完全な知識からでも推論可能な、高度な知識情報処理システムの構築に役立つものと思われる。

コンピュータにより知識を表現・利用・獲得する、いわゆる知識情報処理システムにおいて、述語論理は現在のところ最も広く利用されているものの一つである。しかし述語論理に基づく演繹推論では、推論に必要な全ての知識をシステムに与えねばならず、膨大な知識を取り扱うことが不可欠となり、エキスパートシステムのような知識ベースシステム構築の隘路となる。そこで、人間が行っているような常識による推論や、不十分な知識をもとにした推論などが要求される。このような推論のためのlogicを非単調論理という。Reiterはこの要請に応えるものとしてdefault logicを提案し、これに基づき推論される世界をextensionと定義しているが、このextensionを具体的に求める方法は述べられていない。本研究はこれを求めるための理論的研究と、補助金により購入したパソコンを使用した実験研究とから成る。1.理論研究の成果は次の通りである。(1).extensionのモデル集合を求めるアルゴリズムを得た。(2).このアルゴリズムで求められるモデル集合は、extensionのモデル集合であることを証明した。(3).extensionのモデル集合は、アルゴリズムにより求めたモデル集合であることを証明した。2.実験研究の成果は次の通りである。補助金により購入したソフトウェア(プロローグ)を用いて、命題論理を対象としてextensionのモデル集合を求めるアルゴリズムを、パソコン上にインプリメントし、アルゴリズムの有効性を確かめた。これらの結果により、非単調推論実現の可能性が示された。今後、このアルゴリズムの効率化を計れば、不完全な知識からでも推論可能な、高度な知識情報処理システムの構築に役立つものと思われる。