信念修正的完全和可操作的方法

• 作者: 李未 栾尚敏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 信念修正 信念集 迭代修正
• 年，卷（期）: 2002,（1）
• 页码范围: 59-64
• 页数: 6页
• 分类号: TP18
• 字数: 7174字
• 语种: 中文

摘要

给出了命题逻辑上信念修正的两种可操作的完全方法.首先对R-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到.然后,给出了求得所有的极小不协调子集的一组规则.最后,给出一个过程,该过程能求得所有的极大协调子集.因为这两种方法都能求得所有的极大协调子集,所以把它们称为完全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李未	北京航空航天大学计算机科学与工程系	23	113	7.0	10.0
2	栾尚敏	中国科学院软件研究所	12	95	5.0	9.0