(8) 高度問題解決のための推論プログラムの開発

本調査研究は、高度問題解決で重要となる非単調推論とアブダクションの実現 を容易にするために、アブダクティブ論理プログラミング (ALP) として、ユー ザに身近なプログラミング方式を整備し、その高速な計算方式の開発を目指す。 このために、これまでの提案者の研究成果であるプログラム変換理論に基づき、 アブダクションを一階述語論理の枠組にコンパイルし、変換された論理式に関 して、定理証明器 MGTP を用いて計算を行い、ALP 計算を実現する。