命题逻辑系统Ln中公式相对于有限理论的∑г-模糊真度理论 |
| |
作者姓名: | 吴洪博 乔希民 |
| |
作者单位: | [1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]商洛学院数学系,陕西商洛726000 |
| |
摘 要: | 将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑г-模糊真度理论,讨论了其中的主要性质。特别地证明了真度关系:τг(A)+τг(A—B)≤1+τг(B),并利用这一关系在模糊命题演算系统Ln中的公式集F(S)上引入相对于有限理论的Г-伪距离,从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。
|
关 键 词: | 多值逻辑 逻辑系统Ln 有限理论 ∑г-模糊真度 Г-伪距离 |
本文献已被 维普 等数据库收录! |
|