Studies on Generalized Implication Operation and Generalized Series Reasoning Operation
泛"蕴含"运算和泛"串行推理"运算研究

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