一种新型的三Ⅰ算法及其逻辑基础 |
| |
引用本文: | 王国俊,宋庆燕.一种新型的三Ⅰ算法及其逻辑基础[J].自然科学进展,2003,13(6):575-581. |
| |
作者姓名: | 王国俊 宋庆燕 |
| |
作者单位: | 1. 陕西师范大学数学研究所,西安,710062;西安交通大学基础科学研究中心,西安,710049 2. 陕西师范大学数学研究所,西安,710062 |
| |
基金项目: | 国家自然科学基金重点资助项目(批准号:19831040) |
| |
摘 要: | 在Fuzzy推理中提出了"过半可信"原则,并证明了R0-型三角模恰为可实现这一原则的三角模.在此基础上,将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分,提出了一种新型的三Ⅰ算法(Triple Ⅰ)*.研究了逻辑系统(l) *中的形式化推理机制,基于根的理论为新型三Ⅰ算法奠定了严格的逻辑基础.
|
关 键 词: | 过半可信原则 (Triple Ⅰ)* 形式系统(l)* 根 |
修稿时间: | 2003年1月2日 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《自然科学进展》浏览原始摘要信息 |
| 点击此处可从《自然科学进展》下载免费的PDF全文 |
|