MGTP応用システム(1)
                      アブダクション・システム


概要

MGTP上に開発したいくつかのアブダクション・システムのうち、図1に示す
構成によって表されるような、MGTPを用いたアブダクション・システムを実
現するための2種類の構築方法(MGTP+MGTP方式、Skip方式)を示す。与え
られた入力はそれぞれのシステムに対応するように変換される。この2つのシス
テムについて、論理回路設計問題を例題として、デモンストレーションを行う。




図 1: MGTP を用いたアブダクション・システム 


アブダクション

ここではアブダクションを、論理式(ホーン節)の集合Σ、アトムの集合Γ、
閉論理式 G が与えられたときに、(Σ,Γ)からの G の説明を計算することと定義
する。ここで、Γの要素の基礎例の集合 E が(Σ,Γ)からの G の説明であると
は、(1)Σ∪E  G、(2)Σ∪E は無矛盾、を満たすこととする。

MGTP+MGTP方式

このシステムでは、Γの各要素 H はfact(H, {H})のように変換され、さら
に、Σ中の各ホーン節



は









					- 71 -