同一述語が複数箇所で欠落している場合の、拡張逆伴意法に基づく発想的帰納推論 システムを開発した。このシステムは、基本的に最弱仮説計算を拡張したものであ り、Progolの特徴をそのまま受け継いでいるものとなっている。また、発想的帰納 推論を利用することで、与えられた問題に対して、より深い解析や推論が可能とな ると予想される。
当初は、演繹データベースを対象に帰納論理プログラミングシステムの構築を行う ことを計画していたが、理論的な側面からの考察を行っただけで実装には至らなかっ た。しかし、本研究を通じて、帰納論理プログラミングによるデータマイニング機 能の高度化という目的は十分達成されたと考えられる。