作　　者： ; ;

机构地区： 中山大学

出　　处： 《软件学报》 2000年第6期758-766,共9页

摘　　要： 关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 R-重构的能行产生机制 .该文给出的转换系统不仅具有可靠性 ,而且也具有完备性 . In this paper, the authors give a transition system for those abstractive knowledge bases with the form of so called assertion set, which plays an important role in knowledge representation and processing, so that each such knowledge base possibly with contradictions can be eventually transferred into a consistent version of it. This leads to a calculus like mechanism for producing R reconstruction. This transition system is proved to be sound and complete.

关 键 词： 知识库 逻辑系统 命题逻辑 重构 信念修正

领　　域： [自动化与计算机技术] [自动化与计算机技术]