有限信念集上修正的一种方法

• 作者: 戴国忠 栾尚敏
• 来源期刊: 广西师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 信念修正 命题逻辑 一阶逻辑 有限信念集
• 年，卷（期）: 2003,（1）
• 页码范围: 111-118
• 页数: 8页
• 分类号: TP18
• 字数: 8852字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-6600.2003.01.019

摘要

讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴国忠	中国科学院软件研究所	146	3450	33.0	52.0
2	栾尚敏	中国科学院软件研究所	12	95	5.0	9.0