矛盾する規則を併存させる対話型知識処理システム「韓非子」－Prologによる実装とその動作例

摘要

従来の知識処理システムは主として，矛盾のない知識体系のみを扱ってきた．しかし，推論時の文脈によって知識の真理値や適用範囲は異なるため，多様な文脈を網羅する知識体系は矛盾を含みうる．そこで筆者らは，特に規則が矛盾する場合に着自し，矛盾する規則が併存していても健全な推論がおこなえる知識処理システム「韓非子」を提案している．本稿では主に，韓非子の実装手法と具体的動作例を述べ，韓非子の基本的有効性を示す．