%0 Journal Article
%T A Logical Framework for Knowledge Base Maintenance
%A Li
%A wei
%J 计算机科学技术学报
%D 1995
%I 
%X The maintenance sequences of a knowledge base and their limits are introduced.Some concepts used in knowledge base maintenance,such as new laws,user‘s rejections,and reconstructions of a knowledge base are defined;the related theorems are proved.A procedure is defined using transition systems;it generates maintenance sequences for a given user‘s model and a knowledge base.It is proved that all sequences produced by the procedure are convergent,and their limit is the set of true sentences of the model.Some computational aspects of reconstructions are studied.An R-calculus is given to deduce a reconstruction when a knowledge base meets a user‘s rejection.The work is compared with AGM‘s theory of belief revision.
%K 知识库
%K 维护
%K 逻辑结构
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=6844B7FCB87C639DAEE16BDF3F194468&yid=BBCD5003575B2B5F&vid=F3090AE9B60B7ED1&iid=38B194292C032A66&sid=23104246A5FCFCEF&eid=EF27C460877D3C9F&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=3&reference_num=1