%0 Journal Article %T 一个带破圈启发方法的回答集编程系统 %A 沈榆平? %A 赵希顺? %J 软件学报 %P 869-878 %D 2008 %X 回答集编程(answersetprogramming,asp)是一种回答集语义下的逻辑编程范例,可应用于非单调推理,叙述式问题求解等领域.本文为asp提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为lps.实验结果显示,相对于其他经典的asp系统,lps能够有效地解决处于相变难区域中的逻辑程序,通常这些程序被认为是计算困难的.除此以外,通过使用被称为动态变元过滤(dynamicvariablefiltering,dvf)的技术,lps可以在计算过程中极大地缩小搜索树的尺寸. %K 回答集编程 %K 启发方法 %K 前向搜索 %K 逻辑程序 %K 相变 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20080408&flag=1