命题规则知识库更新的一种代数方法ViewTableofContentshttp.PDFVIP

命命题题规规则则知知识识库库更更新新的的一一种种代代数数方方法法 栾尚敏 and 戴国忠 Citation: 中国科学F辑: 信息科学 38, 177 (2008); doi: 10.1360/zf2008-38-2-177 View online: htt :///doi/10.1360/zf2008-38-2-177 View Table of Contents: htt :/// ublisher/sc /journal/Sci Sin Info F/38/2 Published by the 《中国科学》杂 社 Articles you may be interested in 知识库更新的一种可编程实现的方法 Science in China Series F-Information Sciences (in Chinese) 35, 785 (2005); Knowledge rules dimensionality reduction method for multi-reservoir joint o eration o timization SCIENTIA SINICA Technologica 47, 210 (2017); Knowledge-re resentation-enhanced question-answering system SCIENTIA SINICA Informationis 48, 1521 (2018); 一种新的阶化Lie代数与Para统计超对称性 Science in China Series A-Mathematics (in Chinese) 31, 49 (2001); 一种新的顺序数据同化方法 Science in China Series E-Technological Sciences (in Chinese) 39, 1472 (2009); 中国科学 E 辑 : 信息科学 2008 年 第 38 卷 第 2 期 : 177 ~ 194 SCIENCE IN CHINA PRESS 命题规则知识库更新的一种代数方法 栾尚敏①②*, 戴国忠② ① 北京理工大学计算机科学技术学院智能信息技术北京市重点实验室, 北京 100081; ② 中国科学院软件研究所, 北京 100080 * E-mail: shangmin@ 收稿日期: 2006-06-26; 接受日期: 2007-07-03 国家重点基础研究发展规划计划(批准号: 2002CB312103)和北京市重点学科建设资助项目 摘要 知识库更新的一个重要主题就是寻找高效的实现方法, 为此人们做 关键词 了很多工作, 但还没有很好地解决. 代数方法具有良好的性质和实现方法, 知识库更新 文中给出了基于规则知识库更新的代数方法. 首先讨论了如何把知识库更新 Petri 网 和协调性检查转化为代数问题. 知识库中的规则用 Petri 网来表示, 事实用 命题知识库 Petri 网的标识表示, 这样把知识库更新和协调性检查转化为Petri 网的可达性 扩充逻辑程序 问题. 在做了这个转化以后, 协调性检查就变成了可达性问题, 可达性的判 断可以用代数的方法解决, 同样, 矛盾性检查也可以用代数方法实现. 在此 基础上, 给出了基于规则命题知识库的更新方法, 以及扩充逻辑程序知识库 的更新方法. 和相关的工作进行比较, 所提出的方法更实用, 效率更高. 知识库是专家系统中一个重要组成部分. 一个知识库的构造过程不是一次性就构造完成 的, 而是需要很多次才能构造完成. 在构造知识库的过程中, 可能会出现一些这样或那样的问 题, 其中一个重要的问题就是如何保证知识库的协调性,