|
|||||
|
|
| 知识库更新的一种可编程实现的方法 | |
| 引用本文： | 栾尚敏,戴国忠,李未.知识库更新的一种可编程实现的方法[J].中国科学(E辑),2005,35(8):785-797. |
| 作者姓名： | 栾尚敏 戴国忠 李未 |
| 作者单位： | 1. 中国科学院软件研究所,北京100080 2. 北京航空航天大学软件开发环境国家重点实验室,北京100083 |
| 基金项目： | 国家重大基础研究计划“九七三”(2002CB312103)，国家自然科学基金(批准号:60033020,70371052)资助项目 |
| 摘 要： | 讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较. |
| 关 键 词： | 知识库 知识库更新 子句 规则 |
| 收稿时间： | 2005-03-29 |
| 修稿时间： | 2005-03-292005-07-05 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |