泛"蕴含"运算和泛"串行推理"运算研究

• 作者: 何华灿 刘永怀 王瑛 胡麒 魏宝刚
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 泛"蕴含"运算 不确定性推理 泛"串行推理"运算
• 年，卷（期）: 1998,（6）
• 页码范围: 0
• 页数: 1页
• 分类号: TP18
• 语种: 中文

摘要

泛"蕴含"运算是广泛存在于经验性思维、不确定性推理和各种多值逻辑系统具有普遍意义的逻辑运算之一.但常见蕴含算子往往凭主观经验给定,缺乏理论指导和使用的有效性分析,具有很大的随意性和盲目性.本文首先研究了"蕴含"运算的思想基础,认为"蕴含"运算是"串行推理"运算的逆运算.然后提出了"蕴含"公理,从代数系统角度给出了"蕴含"运算的定义,提出并证明了"蕴含"运算的表示定理,对常见的蕴含算子进行了有效性分析.最后研究了"蕴含"运算在"串行推理"运算中的运用.从而克服了已有的蕴含运算理论存在的不足.这样实际应用就可根据"蕴含"公理和"蕴含"运算的表示定理设计"蕴含"算子和泛"蕴含"运算公式簇,保证推理结果精确可信.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机科学与工程系	181	1581	19.0	32.0
2	胡麒	西北工业大学计算机科学与工程系	8	48	4.0	6.0
3	刘永怀	西北工业大学计算机科学与工程系	2	21	2.0	2.0
4	魏宝刚	西北工业大学计算机科学与工程系	1	11	1.0	1.0
5	王瑛	西安矿业学院地质系	3	30	3.0	3.0