AITEC Contract Research Projects in FY1995 : Software
(6) Constraint MGTP and its Application to Knowledge Representation and Natural Language Processing
Dr. Makoto Amemiya, Professor, Kyushu University
MGTP System with An Advanced Inference Engine
and
Application Tools
by
Prof. Makoto Amamiya at Kyushu University
[Features of the Software]
This distribution package provides a high-performance reasoning system based on
model-generation theorem prover MGTP, and its applications. The
configuration of files in the distribution is as follows:
MGTP System:
Translator
compiles a set of input formulas, called an MGTP program, into a KL1
program.
The translator allows specifying KL1 code within MGTP programs.
High Performance Inference Engine
finds solutions for the input formulas.
The inference engine incorporates the dynamic
lemma generation technique, which increases the inferential power dramatically.
MGTP Application Programming Tools:
LR Parser Generator
translates CFG rules into an MGTP program for generalized LR parsing.
[Required Environment]
Since the MGTP system is written in KL1, the system requires the KL1-to-C
compiler: KLIC compiler (newer than version 2.0). The KLIC compiler is
portable to most UNIX systems, and the MGTP system runs on the same systems
as KLIC. For example, the MGTP system is available on Sun Sparc,
DEC Alpha, and Linux on an IBM-PC.
[File Configuration]
Expanded directory contains the following directories and files:
