支持与证据的形式化研究  

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

机构地区：[1]重庆交通学院,重庆,400074 [2]温州师范学院计算机科学系,温州,325003

出　　处：《凉山大学学报》2001年第4期39-41,19,共4页Journal of Liangshan University

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

关 键 词：支持逻辑 证据 不确定推理 事态 形式化 

分 类 号：B812.23[哲学宗教—逻辑学]