Translated Title
AN IMPROVED UPDATE METHOD FOR ANSWER SET PROGRAM
Translated Abstract
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.
Translated Keyword
Priority
Answer set program
Excessive revision
Update
Knowledge base
Inertia rules
Access Number
WF:perioarticaljsjyyyrj201508006
Corresponding authors email
