2. 您的位置
3. 首页
4. 期刊论文
5. 一种形式化知识库更新方法-修正程序

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

来源 :武汉科技学院学报 | 被引量 : 0次 | 上传用户：xuyanfang1968

【摘 要】

：

本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则，但用来解释修正程序将会变得非常困难，

【作 者】

：

李新战 王晓刚 曾奕 

【机 构】

：

武汉科技学院,武汉大学

【出 处】

：

武汉科技学院学报

【发表日期】

：

2006年4期

【关键词】

：

逻辑程序 修正程序 知识库更新 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献