二つのMGTP:



Ground MGTP
Non-Ground MGTP
対象問題
非ホーン基底問題
ホーン非基底問題
応用
例：データベース
例：数学の定理
プログラミング
技術
KL1変数を直接利用
問題節をKL1節に変換
KL1のヘッドユニフィ
ケーションを用いて効
率化
基底項による変数表現
問題節を解釈する
メタライブラリを利用
例：オカーチェック付
きユニフィケーシ
ョン
並列化
AND/OR並列
AND並列





MGTPの高速化技術：


高速化に対する課題
解決方法(高速化技術)
連言照合の冗長性
RAMS(RamifiedStack)
 MERC(Multi-Entry Repeated Combination)
不適切なルールの適用
False節優先評価
冗長モデル生成
遅延モデル生成
並列化
非ホーン問題に対するOR並列化
ホーン問題に対するAND並列化
　(モデル分散/共有方式)
ユニフィケーション/
　包摂テストの負荷
節コンパイル技術
項メモリ


					- 65 -