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

(14) KLIC 上の MGTP 処理系に関する研究

研究代表者:長谷川 隆三 教授
      九州大学 工学部 電子工学科


MGTP 開発支援ツール


[ソフトウェアの分類]

知識処理システム実現のための知識表現およびプログラミングシステム

[ソフトウェアの特徴]

・KLIC上で動作し,MGTPの利用効率を高めるツール群
・オプション指定により多機能を実現

[機能]

配布ソフトウェアは以下の機能を有するツール群からなる.
(1) MGTPトランスレータ:MG節をKL1節に変換

(2) インタプリタ版MGTP:MG節を直接入力し証明を行うMGTP推論エンジン

(3) 各種開発支援ツール
	値域限定判定器,DOM挿入器,MG節カウンタ,MERC法照合パターン生成器
	MG節冗長性除去器,TPTP-to-MGTP節変換器

(4) 探索空間剪定のための前処理システム(FD変換器とNHM変換器)

(5) MGTPトレーサ:MGTP証明の過程のトレース

(6) KLICの対話的実行環境

[環境]

        KLIC 2.002 以上が稼働していること.
	以下の UNIX システムでは動作を確認しています.
	Sun SparcStation 10 running SunOS 5.3 (Solaris 2.3)
                with gcc-2.6.3
	Sun SparcStation 10 running SunOS 5.4 (Solaris 2.4)
                with gcc-2.6.3
	Gateway P5-120 and P5-133
                running Linux 1.3.9 (Slackware 2.3.0)
                with gcc-2.6.3

[ファイル構成]

アーカイブファイルには以下のディレクトリが含まれます.
	bin/		配布ツール走行の為のシェルスクリプト
	documents/      本ソフトウェアの使用手引
	sample/         上記使用手引で引用しているサンプルプログラム
	src/            本ソフトウェアのソースファイル

[FTP]



www-admin@icot.or.jp