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

研究代表者：長谷川　隆三
　　　　　　九州大学大学院　システム情報科学研究科

• 研究の背景と目的
• 研究の内容
• 研究の成果
  • 研究上の成果
    • 汎用並列マシン上の MGTP 並列化
    • Java-MGTP の試作
    • GUIシステムの開発
    • Kオペレータの導入と証明木簡約化
    • データの検索効率化による推論速度の高速化
    • CMGTPの改良
    • 探索制御機能の拡張
  • ソフトウェアとしての成果
  • 残された課題
  • 評価
• 参考文献