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

• 作者: 曾奕 李新战 王晓刚
• 来源期刊: 武汉科技学院学报
• 学科: 工学
• 关键词: 逻辑程序 修正程序 知识库更新
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 基础理论与应用研究
• 页码范围: 37-40
• 页数: 4页
• 分类号: TP311.13
• 字数: 4560字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-5160.2006.04.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾奕		4	84	1.0	4.0
2	王晓刚		8	41	3.0	6.0
3	李新战		1	1	1.0	1.0