(7) 汎用並列マシン上のMGTPと高度推論機構の開発

研究テーマ、研究代表者：

（１）研究テーマ

汎用並列マシン上のMGTPと高度推論機構の開発

（２）研究代表者（氏名、所属、役職）

長谷川　隆三、九州大学大学院 システム情報科学研究科　教授

記述項目：

（１）研究進捗状況

ＰＩＭ上で開発した並列実行方式をそのまま商用並列マシン上に 実装してもＰＩＭ上で実証されたほどの性能はでないことがいく つかの実験で判明した．これは，商用並列マシンはＰＩＭに比べ 通信効率が劣るためであると考えられる． そこで，ＰＥ間通信を抑えるＮ逐次実行方式を考案した．従来の 並列化方式が「仕事があれば並列に実行する」というものであっ たのに対し，新方式は，「ＰＥが暇なら仕事を分配し，かつＰＥ 内は逐次実行」という考えに基づいている．

ＭＧＴＰの普及化のために，ＨＴＭＬとＣＧＩを用いて，ＭＧＴ Ｐの実行環境を試作した．この環境では，ＭＧＴＰはＷＷＷサー バがあるマシン上で走行するため，サーバに負荷が集中するとい う問題が生ずる．この問題を解決するために，ＷＷＷクライアン ト側でＭＧＴＰの実行を行えるように，ＭＧＴＰのＪａｖａ化を 行った．種々の実験を通してオブジェクト構造の改良を行った結 果，ＫＬＩＣ−ＭＧＴＰと同程度かそれを上回る性能がでること を確認した．

（２）現在までの主な成果

• 並列プログラムのＮ逐次実行方式の考案とＰＩＭ上での評価
• Ｊａｖａ−ＭＧＴＰの試作版の開発と評価

（３）今後の研究概要

ルール間優先順位に基づく推論を実現する第一歩として，通常の 推論で生成されたモデル群に対してルール間優先順位による選別 を後処理として行う方式ならびに，実行時に動的に行う方式の検 討を行う．また，アルゴリズミックな探索法(α-β法など)を規 則として記述できるように機能拡張したＭＧＴＰの開発を行い， その探索効率の評価を行う．

ＭＧＴＰのＧＵＩシステムをＷＷＷブラウザを用いて作成する． まず，Ｊａｖａ−ＭＧＴＰのアプレット化を行い，プラットホー ムを選ばない実行環境を提供する．さらに，否定制約を扱える制 約ＭＧＴＰのＪａｖａ化を進める．また，Ｊａｖａ−ＭＧＴＰの 速度向上を図るためにＪａｖａによる弁別木プログラムの開発も 行う．

（４）今年度目標成果ソフトウェアイメージ

ＷＷＷブラウザがＭＧＴＰの基本ユーザインターフェースとなる． ＭＧＴＰの試用ができるホームページを開設する．ホームページ からダウンロードする実行環境とホームページの実行環境は，ユ ーザからは同じに見える．問題を，テキスト入力し，証明が終る と数々の統計情報とともに証明木が図示される．このような図的 インターフェースの他に，従来のコマンドラインによるインター フェースも提供し，バッチ的処理も行える．