二值命题逻辑中的三种Г近似推理模式及其等价性 |
| |
引用本文: | 刘保翠,王国俊.二值命题逻辑中的三种Г近似推理模式及其等价性[J].模糊系统与数学,2008,22(2):10-17. |
| |
作者姓名: | 刘保翠 王国俊 |
| |
作者单位: | [1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]西安交通大学基础科学研究中心,陕西西安710049 |
| |
摘 要: | 在二值命题逻辑中引入了公式的Г蕴涵真度,证明了全体有限理论的蕴涵真度值在0,1]中稠密。在Г蕴涵真度的基础上,定义了公式间的Г蕴涵相似度及伪距离。最后讨论了基于Г蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论。
|
关 键 词: | 二值命题逻辑 Г蕴涵真度 稠密 Г近似推理模式 等价 |
本文献已被 维普 等数据库收录! |
|