%0 Journal Article
%T R-calculus for ELP: An operational approach to knowledge base maintenance<br>R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance
%A Shen Ningchuan
%A and Li Wei
%A <br>Shen Ningchuan
%A Li Wei
%J 计算机科学技术学报
%D 1997
%I 
%X Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.
%K Knowledge base
%K maintenance
%K extended logic programming<br>逻辑设计
%K 知识库
%K 维修保养
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=739CE12BAD72203AC2A16097BC64D2E3&yid=5370399DC954B911&vid=59906B3B2830C2C5&iid=CA4FD0336C81A37A&sid=BCA2697F357F2001&eid=D3E34374A0D77D7F&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=12