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

• 作者: 沈榆平 赵希顺
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 回答集编程 启发方法 前向搜索 逻辑程序 相变
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 869-878
• 页数: 10页
• 分类号: TP18
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈榆平	中山大学逻辑与认知研究所	8	7	1.0	2.0
2	赵希顺	中山大学逻辑与认知研究所	16	17	3.0	4.0