支持与证据的形式化研究  

The Formal Discussion on Support and Evidences

作　　者：陈国祯[1] 徐贯东[1] 王咏[1] 

机构地区：[1]温州师范学院计算机科学系,温州325003

出　　处：《计算机科学》2001年第7期98-100,共3页Computer Science

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

关 键 词：形式化方法 专家系统 不确定推理 证据 事态 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]