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

AN IMPROVED UPDATE METHOD FOR ANSWER SET PROGRAM

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

Answer set programming（ ASP） is a kind of descriptive programming paradigm. At present,it has become a powerful tool for knowledge representation and reasoning. In practical applications,the information in a knowledge base may change dynamically,so the timely updating of knowledge base is needed. Updating the knowledge base can be realised through the answer set program updates,and the consistency of updating results is ensured as well. Program revision method proposed by J. P. Delgrande can realise the update of answer set program,but there exists the excessive revision to the original program. In order to solve this problem,this paper presents a new method for answer set program updates,through introducing the mechanisms of priority and inertia rules it achieves the update of answer set program.Experimentalresults show that this method overcomes the problem of excessive revision and has good effect. Finally,we use an example to illustrate the application of this method.