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

摘要：

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

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

所属期刊栏目：19

分类号：TP311.13(计算技术、计算机技术)

在线出版日期：2006-06-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：37-40