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

【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".更多还原