一种改进的回答集程序更新方法

• 作者: 王洁 蔡文君
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 回答集程序 知识库 更新 过度修正 优先级 惯性规则
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 25-27,79
• 页数: 4页
• 分类号: TP301
• 字数: 4054字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.08.006

摘要

回答集程序设计是一种描述性的程序设计范例，目前已经成为知识表示和推理的一个有力工具。在实际应用中，知识库中的信息可能发生动态改变，因此需要及时对知识进行更新。通过回答集程序的更新可以实现知识库的更新，并确保更新结果的一致性。 J．P．Delgrande的程序修正方法可以实现回答集程序的更新，然而该方法中存在对原程序过度修正的问题。针对该问题，提出一种新的方法来更新回答集程序，该方法通过引入优先级和惯性规则的机制，实现了回答集程序的更新。实验结果表明，该方法克服了过度修正的问题，效果良好。最后，以一个实例说明了该方法的应用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王洁	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	18	35	4.0	5.0
2	蔡文君	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	2	3	1.0	1.0