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