节点文献
修正的逻辑程序知识库更新方法
Updating Logic Programs on the Bases of Revision Programming
【摘要】 基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。
【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".
【关键词】 知识库更新；
修正程序；
逻辑程序；
逻辑程序更新；
【Key words】 updating knowledge bases； revision programming； logic programming； updating logic programs；
【Key words】 updating knowledge bases； revision programming； logic programming； updating logic programs；
【基金】 国家自然科学重大研究计划项目(编号:90204011);武汉大学软件工程国家重点试验室开放基金
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2004年36期
- 【分类号】TP182
- 【下载频次】72