可能性缺省逻辑及其应用

• 作者: 伍赛先 吴泉源 李爱平
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 缺省逻辑 可能性理论 缺省推理 不动点
• 年，卷（期）: 2001,（4）
• 所属期刊栏目: 研究与实现
• 页码范围: 96-99,107
• 页数: 5页
• 分类号: TP182
• 字数: 4421字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2001.04.028

摘要

本文分析了Yager用可能性理论框架来表示缺省知识的形式化方法,并测试了三类不同的应用方案.得到的结果与Reiter的缺省逻辑得到的结果相比较,表明只在具有严格约束的缺省逻辑下,Yager的形式化方法才与Reiter的缺省逻辑具有一定的相关性.我们指出了它们在一般缺省理论下的不匹配处,并给出了以不动点机制的改进方法来消除这些不匹配.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴泉源	国防科技大学计算机学院	111	1520	19.0	35.0
2	李爱平	国防科技大学计算机学院	29	359	9.0	18.0
3	伍赛先	国防科技大学计算机学院	1	9	1.0	1.0