基于启发式搜索的ASP程序支撑原因分析算法

摘要：

为了尽快找到一个错误及其来源,以加快ASP程序调试的效率,把启发式搜索技术引入ASP程序支撑原因分析算法.在生成支撑原因分析图时利用启发式函数,仅搜索对回答集产生影响且有可能更快找到一个支撑原因的规则.改进算法在搜索关于某个回答集的支撑原因时,其时间和空间复杂度明显下降.实例分析表明了该算法的有效性.

关键词：ASP程序、justification图、回答集、启发式算法

所属期刊栏目：32

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金61063002,60803033;广西自然科学基金2011GXNSFA018166,2011GXNSFA018164;武汉大学软件工程国家重点实验室开放基金SKLSE2010-08-06

在线出版日期：2012-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：222-226