知识库维护的结构操作语义方法
Structural Operational Semantic Approach to Knowledge Base Maintenance作者机构：中山大学计算机科学系 北京航空航天大学计算机科学与工程系北京100083
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2000年第11卷第6期
页 面：758-766页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家 8 6 3高科技项目基金 !(No.86 3- 30 6 - ZT0 6 - 0 3- 1) 广东省自然科学基金 !(No.970 376 ) 南京大学计算机软件新技术国家
摘 要：关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 R-重构的能行产生机制 .该文给出的转换系统不仅具有可靠性 ,而且也具有完备性 .
维普期刊数据库
同方期刊数据库