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