演繹データベースの効率的手法であるQSQR法と命題論理の高速推論法であるネッ トワーク化バブル伝播法(NBP法)を組み合わせ、見通しよく準最適解計算のコ ストに基づく仮説推論を効率よく(多項式時間で)計算するシステムの実装を 行なった。QSQR法の部分の実装が現在のところまだ不十分な点があり、必ずし も所期の性能を得ている訳ではないが、以前に開発した最適解計算の仮説推論 システム [Kondo 96]よりも速度の点で優る 結果は得ている。
また、下部メカニズムとした命題論理版NBP法については、より理解しやすい メカニズムの考案、開発を行ったので、複数の下部メカニズムをプラグイン的 に差し換えられるようにもしたいと考えている。