- 著者
-
芦澤 宏樹
茅野 康臣
岩沼 宏治
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. AI, 人工知能と知識処理
- 巻号頁・発行日
- vol.94, no.374, pp.63-68, 1994-11-25
- 被引用文献数
-
1
Stickelにより開発させたPTTPは一階論理コンパイラであり、証明すぼき一階論理式が与えられると、その上のトップダウン型の演繹を模倣する高速なPrologプログラムを出力する。本研究では、より高速な定理証明システムの構築を目指して、分散処理型のPrologコードを生成する一階論理コンパイラを構築する。生成コードは、LANで結合されたWS群の上で実行される。オーバーヘッドを軽減するため、分散処理の基的形態は極めて単純なものを採用している。幾つかの問題について性能評価実験を行なった結果、線形台数効果の確認等、良好な結果を得たので報告する。