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

何华灿1刘永怀1王瑛2胡麒1魏宝刚1

1.西北工业大学; 2.西安科技大学;

摘要：

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

关键词：泛"蕴含"运算、不确定性推理、泛"串行推理"运算

所属期刊栏目：9

分类号：TP18(自动化基础理论)

资助基金：航空基金;煤炭部青年基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：0