一种形式化知识库更新方法—修正程序  

作　　者：李新战[1] 王晓刚[1] 曾奕[2] 

机构地区：[1]武汉科技学院,湖北武汉430074 [2]武汉大学,湖北武汉430070

出　　处：《武汉科技学院学报》2006年第4期37-40,共4页Journal of Wuhan Institute of Science and Technology

摘　　要：本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法—修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,本文将引入修正程序的语义模型-P-合理修正,并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。

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

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