摘要
为了尽快找到一个错误及其来源,以加快ASP程序调试的效率,把启发式搜索技术引入ASP程序支撑原因分析算法。在生成支撑原因分析图时利用启发式函数,仅搜索对回答集产生影响且有可能更快找到一个支撑原因的规则。改进算法在搜索关于某个回答集的支撑原因时,其时间和空间复杂度明显下降。实例分析表明了该算法的有效性。
In order to find an error and its source as soon as possible to speed up program debugging, a heuristic search is introduced to the algorithm for ASP program justification. In generating the justification graph of an atom, the heuristic algorithm only searches the ASP rules that influence the answer set and are more likely to quickly find a justification for an atom. The time and space complexity of the improved algorithm are lower in searching program justification. Example analysis shows the availability and efficiency of the algorithm.
出处
《桂林电子科技大学学报》
2012年第3期222-226,共5页
Journal of Guilin University of Electronic Technology
基金
国家自然科学基金(61063002
60803033)
广西自然科学基金(2011GXNSFA018166
2011GXNSFA018164)
武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-06)
