修正的逻辑程序知识库更新方法

作者：曾奕; 董红斌; 李宁; 房丽娜

来源：计算机工程与应用, 2004, (36): 58-60+66.

• 知识库更新
• 修正程序
• 逻辑程序
• 逻辑程序更新 updating knowledge bases
• revision programming
• logic programming
• updating logic programs

基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。

• 单位
  武汉大学; 软件工程国家重点实验室