多值逻辑系统中公式的μ-真度理论 |
| |
引用本文: | 左卫兵.多值逻辑系统中公式的μ-真度理论[J].系统科学与数学,2011,31(7). |
| |
作者姓名: | 左卫兵 |
| |
作者单位: | 华北水利水电学院数学与信息科学学院,郑州,450046 |
| |
基金项目: | 国家自然科学基金(51009065); 河南省自然科学基金(112300410040); 河南省教育厅自然科学基金(2011A110012)资助课题 |
| |
摘 要: | 通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻辑度量空间,指出当概率测度μ为均匀概率测度时为计量逻辑学中的逻辑度量空间,最后提出理论的μ-发散度并得到理论的μ-发散度的计算公式.
|
关 键 词: | 命题逻辑 μ-真度 μ-相似度 逻辑度量空间 μ-发散度 |
本文献已被 CNKI 万方数据 等数据库收录! |
|