| 修正的逻辑程序知识库更新方法 |
| |
| 引用本文： | 曾奕,董红斌,李宁,房丽娜. 修正的逻辑程序知识库更新方法[J]. 计算机工程与应用, 2004, 40(36): 58-60,66 |
| |
| 作者姓名： | 曾奕 董红斌 李宁 房丽娜 |
| |
| 作者单位： | 武汉大学软件工程国家重点实验室,计算机学院,武汉,430072;武汉大学软件工程国家重点实验室,计算机学院,武汉,430072;武汉大学软件工程国家重点实验室,计算机学院,武汉,430072;武汉大学软件工程国家重点实验室,计算机学院,武汉,430072 |
| |
| 基金项目： | 国家自然科学重大研究计划项目(编号:90204011),武汉大学软件工程国家重点试验室开放基金 |
| |
| 摘 要： | 基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。
|
| 关 键 词： | 知识库更新 修正程序 逻辑程序 逻辑程序更新 |
| 文章编号： | 1002-8331-(2004)36-0058-03 |
Updating Logic Programs on the Bases of Revision Programming |
| |
| Zeng Yi Dong Hongbin Li Ning Fang Lina. Updating Logic Programs on the Bases of Revision Programming[J]. Computer Engineering and Applications, 2004, 40(36): 58-60,66 |
| |
| Authors: | Zeng Yi Dong Hongbin Li Ning Fang Lina |
| |
| Abstract: | The methods about updates of knowledge bases represented by logic programs focus on the conflicts,but they bring the accretion of the rule sets.This paper presents a new approach to the program of updating logic programs,based on a logic-based framework for standardizing updating knowledge bases-revision programming.The approach reduces the accretion of the rule sets,repeated work and keeps information loss minimal,and satisfies"replacing updates" and "enriching updates". |
| |
| Keywords: | updating knowledge bases revision programming logic programming updating logic programs |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
