概要

本研究では並列推論マシンPIM/m上の並列推論システムの開発を行なってい
る。現在ICOTでは、以下の2点を達成することを目標として、モデル生成法に
基づいた定理証明系MGTPの研究開発を進めている。

    

  1. ロジックプログラミングと自動推論技術の結合及び並列推論マシンにおける
並列処理技術の開発により、1階述語論理の高速定理証明系を実現する。

  2. 知的データベース、仮説推論システム、自然言語処理や自動プログラミング
などの分野に応用可能な先進的な推論エンジンを提供する。



特徴




P.63 Figure

 FGCSにおけるMGTPの位置づけ



					- 63 -