%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