知识库维护的结构操作语义方法  

Structural Operational Semantic Approach to Knowledge Base Maintenance

作　　者：苏开乐[1] 李未[2] 

机构地区：[1]中山大学计算机科学系 [2]北京航空航天大学计算机科学与工程系,北京100083

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

基　　金：国家 8 6 3高科技项目基金 !(No.86 3- 30 6 - ZT0 6 - 0 3- 1);广东省自然科学基金 !(No.970 376 );南京大学计算机软件新技术国家

摘　　要：关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 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.

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

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]