Indexed by：
Abstract：
回答集程序设计是一种描述性的程序设计范例，目前已经成为知识表示和推理的一个有力工具。在实际应用中，知识库中的信息可能发生动态改变，因此需要及时对知识进行更新。通过回答集程序的更新可以实现知识库的更新，并确保更新结果的一致性。 J．P．Delgrande的程序修正方法可以实现回答集程序的更新，然而该方法中存在对原程序过度修正的问题。针对该问题，提出一种新的方法来更新回答集程序，该方法通过引入优先级和惯性规则的机制，实现了回答集程序的更新。实验结果表明，该方法克服了过度修正的问题，效果良好。最后，以一个实例说明了该方法的应用。
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机应用与软件
ISSN： 1000-386X
Year： 2015
Issue： 8
Page： 25-27,79
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 10
Affiliated Colleges：
