支持与证据的形式化研究 |
| |
引用本文: | 陈国祯,徐贯东,等.支持与证据的形式化研究[J].计算机科学,2001,28(7):98-100. |
| |
作者姓名: | 陈国祯 徐贯东 |
| |
作者单位: | 温州师范学院计算机科学系, |
| |
摘 要: | 关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定性推理的理论,在专家系统中的应用也日趋成熟。所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在非确定环境下,证据和证据对结论的支持强度的普遍含义是什么?这就涉及到支持和证据的逻辑基础问题。作者在文1]提出了支持逻辑和证据的初步概念,本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释,对整个形式化方案作了肯定的说明。
|
关 键 词: | 形式化方法 专家系统 不确定推理 证据 事态 |
The Formal Discussion on Support and Evidences |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|