(3)Java-MGTPと高度推論機構の開発に関する研究

［特徴ある機能］

CMGTPは，モデル生成法に基づく一階の定理証明システムです．従来のMGTPの
正制約に加え，負制約も記述可能です．これにより，探索木を大幅に刈り込む
ことができます．本アーカイブに含まれるソフトは次の二つです．

・Java-CMGTP：Javaによるグランド版MGTP
・PTVシステム：Java-CMGTPの可視化システム．問題ファイルの指示，証明木
のリアルタイム描画，証明木ナビゲーション等が可能．

［必要な環境］

Java1.1.xが動作する環境で稼働します．動作確認済の環境は，Windows95/NT上の
JDK1.1.6及びSolaris2.5.1(Sun Ultra1)上のJDK1.1.6です．

［ソースプログラムの分量とファイル構成］

展開後のディレクトリのトップレベルのサブディレクトリの内容は:

    Java-CMGTP/
	Java-CMGTPのソースファイル
    PTV/
	PTVのソースファイル
    documents/
        使用法のマニュアル
    Readme-J: 読んで下さい(日本語)
    Readme-E: 読んで下さい(英語)

です．

［ＦＴＰ］

• README
• ソースプログラム、マニュアル [695K]