王咏

作品数：7被引量：8H指数：1
导出分析报告
供职机构：温州师范学院更多>>
发文主题：软件工程形式化研究事态应用软件INTERNET更多>>
发文领域：自动化与计算机技术哲学宗教更多>>
发文期刊：《凉山大学学报》《计算机工程与应用》《计算机时代》《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
选择条件：
  • 主题=事态x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
支持与证据的形式化研究
《凉山大学学报》2001年第4期39-41,19,共4页陈国祯 徐贯东 王咏 
关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟,所有这些研究都是基于"一定意义"下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在非确...
关键词：支持逻辑 证据 不确定推理 事态 形式化 
支持与证据的形式化研究
《计算机科学》2001年第7期98-100,共3页陈国祯 徐贯东 王咏 
关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟。所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在...
关键词：形式化方法 专家系统 不确定推理 证据 事态 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部