本調査研究では、高速仮説推論システムの開発研究を目的とし、知識処理の有用な枠組みでる仮説推論の高速化を図るソフトウェアの開発研究を行う。特に、述語論理表現のコストに基づく仮説推論に対して、準最適解を多項式時間で求めるソフトウェアの開発を行う。