R-calculus for ELP: An operational approach to knowledge base maintenance

摘要

Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first intro- duced, and then a framework for extended logic programming (ELP) is given, where an extended logic program is equivalent to a knowledge base. A tran- sition system called R-calculus for ELP is provide. For a given knowledge base and a user's rejection, the R-calculus for ELP will deduce best revisions of the base.