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

• 作者: 张超 王雪松 董凤娇 赵岭忠
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: ASP程序 justification图 回答集 启发式算法
• 年，卷（期）: 2012,（3）
• 页码范围: 222-226
• 分类号: TP301.6
• 字数: 4322字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2012.03.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵岭忠	桂林电子科技大学计算机科学与工程学院	64	229	8.0	11.0
2	王雪松	桂林电子科技大学电子工程与自动化学院	13	26	3.0	5.0
3	董凤娇	桂林电子科技大学计算机科学与工程学院	2	4	1.0	2.0
4	张超	桂林电子科技大学计算机科学与工程学院	8	33	3.0	5.0