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