论文部分内容阅读
在开放逻辑中，Ｒ－重构作为一知识库或信念集修正的结果并不唯一，有时甚至太多而难于明确计算和表示，为此，文中给出了基于一优先序的Ｒ－重构的概念，基于一优先序的Ｒ－重构往往要比Ｒ－重构少得多，不存在上述Ｒ－重构的问题，在用户给出的关于一知识库中知识的优先序时，基于该优先序的Ｒ－重构可以用来刻画对该知识库的合理维护。