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