(7) Development of an MGTP on General Purpose Parallel Computer and Advanced Inference Mechanism

[Software Functions]

The MGTP system is implemented in Java so as to be available to many
platforms. The system performance is comparable to (or better than)
the older version on KLIC.

A new distributed implementation called N-sequential execution method
is also developed for PIM and distributed KLIC systems.

- Distributed MGTP: based on N-sequential execution method

- Java-MGTP: MGTP ground version in Java.

- Proof Tree Visualization(PTV) System: An GUI system for Java-MGTP.
The software supports proof tree visualization, proof tree navigation,
problem input method, and so on.

- Proof Tree Simplification System: This eliminates redundant
inferences generated by MGTP.

[Necessary Environments]

Distributed MGTP: The required environment is the same as required for
the KLIC or PIM systems.  The software were tested on a Sun Ultra1
running Solaris 2.5.1, but the software should run on any other
systems that run KLIC.

Other Softwares: The required environment is the system running Java.
The software were tested on Windows95/NT running JDK1.1.5 and
Solaris2.5.1 running JDK1.1.4.

[Quantity of the software and file configuration]

The top-level directory should contain the following sub-directories
after extraction.

    documents/
        a Manual and its source files.
    nseq/
        Files containing source programs for distributed MGTP
    Java-MGTP/
        Files containing source programs for Java-MGTP
    PTV/
        Files containing source programs for PTV
    Simplify/
        Files containing source programs for Proof Tree Simplification System


The following two files are also in the top-level directory.

    Readme-J:           Outline document of the software in Japanese
    Readme-E:           Outline document of the software in English

[FTP]

• README
• Program and Documents in Japanese [1094K]