摘要
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。
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'.
出处
《计算机工程与应用》
CSCD
北大核心
2004年第36期58-60,66,共4页
Computer Engineering and Applications
基金
国家自然科学重大研究计划项目(编号:90204011)
武汉大学软件工程国家重点试验室开放基金
关键词
知识库更新
修正程序
逻辑程序
逻辑程序更新
updating knowledge bases,revision programming,logic programming,updating logic programs
