平成７年度 委託研究ソフトウェアの 成果ソフトウェア

(6) 制約 MGTP による知識表現と自然言語処理への応用

研究代表者：雨宮 真人 教授
　　　　　　九州大学 大学院 総合理工学研究科

MGTP の高速推論エンジンと応用ツール


［概要］

KL1の言語インターフェイスを備えた高効率の推論エンジンであるMGTP処理系と、そ の並列構文解析への応用例。

［構成］

［機能］

このMGTP処理系は一階述語論理の定理証明系をベースとしたプログラミング環 境を提供する。通常の含意形式の問題記述に加えて、KL1の言語インターフェ イスを備えるなど、従来のMGTPの言語仕様を拡張しており、KL1ユーザがMGTP を推論のための部分処理系として利用しやすくなっている。また、MGTPプログ ラムの入出力部をKL1で記述することにより、インタラクティブな推論環境を 実現できる。

構文解析ユーティリティはMGTPの応用例であり、文脈自由文法から並列構文解 析を行うためのMGTPプログラムを自動生成する。

なお、動的補題生成法による高効率の論エンジンを組み込んだMGTPは、KLICだ けでなくPIMOS上でも使用可能である。

［マシン］

UNIXマシン, (PIM/m)

［環境］

UNIX, (PIMOS)

［使用言語］

KL1, perl, (bison)

［ソースプログラムの分量］

108KB

［ファイル構成］

本パッケージには以下のディレクトリが含まれます。
documents/ 本ソフトウェアの使用手引
samples/ テスト用の推論規則および、構文規則
src/ 本ソフトウェアのソースファイル
pim/ PIMOS上での動作する並列版のソースファイル

［ＦＴＰ］


www-admin@icot.or.jp