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

Updating Logic Programs on the Bases of Revision Programming

作　　者：曾奕[1] 董红斌[1] 李宁[1] 房丽娜[1] 

机构地区：[1]武汉大学软件工程国家重点实验室计算机学院,武汉430072

出　　处：《计算机工程与应用》2004年第36期58-60,66,共4页Computer Engineering and Applications

基　　金：国家自然科学重大研究计划项目(编号:90204011);武汉大学软件工程国家重点试验室开放基金

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

关 键 词：知识库更新 修正程序 逻辑程序 逻辑程序更新 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]