支持与证据的形式化研究

• 作者: 徐贯东 王咏 陈国祯
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 支持逻辑 证据的形式定义
• 年，卷（期）: 2001,（7）
• 所属期刊栏目: 人工智能
• 页码范围: 98-100
• 页数: 3页
• 分类号: TP3
• 字数: 4123字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2001.07.026

摘要

关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟.所有这些研究都是基于"一定意义"下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在非确定环境下,证据和证据对结论的支持强度的普遍含义是什么?这就涉及到支持和证据的逻辑基础问题.作者在文[1]提出了支持逻辑和证据的初步概念,本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释,对整个形式化方案作了肯定的说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐贯东	温州师范学院计算机科学系	6	13	2.0	3.0
2	陈国祯	温州师范学院计算机科学系	1	0	0.0	0.0
3	王咏	温州师范学院计算机科学系	7	11	1.0	3.0