一个带破圈启发方法的回答集编程系统

回答集编程(answersetprogramming,asp)是一种回答集语义下的逻辑编程范例,可应用于非单调推理,叙述式问题求解等领域.本文为asp提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为lps.实验结果显示,相对于其他经典的asp系统,lps能够有效地解决处于相变难区域中的逻辑程序,通常这些程序被认为是计算困难的.除此以外,通过使用被称为动态变元过滤(dynamicvariablefiltering,dvf)的技术,lps可以在计算过程中极大地缩小搜索树的尺寸.