A Logical Framework for Knowledge Base
Maintenance
李未
【期刊名称】《计算机科学技术学报：英文版》 【年(卷),期】1995(010)003
【摘要】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. 【总页数】13页(193-205) 【关键词】知识库;维护;逻辑结构 【作者】李未 【
作
者
单
位
】
DepartmentofComputerScience,BeijingUniversityofAeronauticsandAstronautics,Beijing100083
A Logical Framework for Knowledge Base Maintenance
