論理プログラムへの翻訳による優先順位つき極小限定の計算

概要

論文の詳細を見る
Recently, Gelfond and Lifschitz proposed an efficient computational method for prioritized circumscription which compiles circumscriptive theories into logic programs. But there are such difficulties in their method that a given circumscriptive theory cannot always be compiled successfully due to strong assumption about the syntax of a circumscriptive theory. So, we extend their method in order to expand its applicable class while keeping its computational efficiency. Our idea is to transform a given circumscription into a logically equivalent one in which such difficulties disappear. In this paper, we show it can be done by making use of Lifschitz's result that some parallel circumscription can be replaced by an equivalent first-order theory. As a result, some class of prioritized circumscription, which cannot be handled by Gelfond and Lifschitz"s method, can be compiled into logic programs by our method.
社団法人人工知能学会の論文
1996-09-01