一种新型的三I算法及其逻辑基础 |
| |
作者姓名: | 王国俊 宋庆燕 |
| |
作者单位: | [1]陕西师范大学数学研究所,西安710062;西安交通大学基础科学研究中心,西安710049 [2]陕西师范大学数学研究所,西安710062 |
| |
基金项目: | 国家自然科学基金(批准号:19831040) |
| |
摘 要: | 在Fuzzy推理中提出了“过半可信”原则,并证明了R0-型三角模恰为可实现这一原则的三角模.在此基础上,将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分,提出了一种新型的三I算法(Triple I)^*.研究了逻辑系统ょ^*中的形式化推理机制,基于根的理论为新型三I算法奠定了严格的逻辑基础.
|
关 键 词: | Fuzzy推理 三I算法 过半可信原则 R0-型三角模 逻辑系统 形式化推理机制 数理逻辑 |
本文献已被 CNKI 维普 等数据库收录! |
|