論理式、制約などさまざまな形式で表現した情報の、効率的並列処理技術の基 礎を確立、これを並列処理システム上に実装した。また、通常の推論の枠にと らわれない高次推論技術、学習技術の理論的基礎も確立した。
MGTPの並列処理効果の例
7000 たとえば、並列自動定理証明システムMGTPにおいては、200倍以上 (256 プ ロセッサ使用時) の並列処理による性能向上を達成している。これは、従来高性 能であるといわれてきたワークステーション上のシステムに比べても400〜 1000倍の性能であり、人類にとって未解決だった群論に関する問題の一部を、 自動的に証明することにも成功している。