| 模糊推理三I算法的逻辑基础 |
| |
| 引用本文： | 裴道武,傅丽.模糊推理三I算法的逻辑基础[J].模糊系统与数学,2004,18(3):1-10. |
| |
| 作者姓名： | 裴道武 傅丽 |
| |
| 作者单位： | 1. 同济大学,计算机科学与工程系,上海,200092;盐城师范学院,数学系,江苏,盐城,224002
2. 陕西师范大学,数学系,陕西,西安,710062 |
| |
| 基金项目： | 国家 973项目 (2 0 0 3CB316 90 2 )，国家自然科学基金重大研究计划项目 (90 4 12 0 13) |
| |
| 摘 要： | 在模糊推理理论中，近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算，从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*，构建了一个完备的多型变元一阶系统Kms^*，并且将三I算法完全纳入了模糊逻辑的框架之中，从而为模糊推理奠定了严格的逻辑基础。
|
| 关 键 词： | 模糊逻辑 模糊推理 CRI算法 三I算法 多型变元一阶系统 |
| 文章编号： | 1001-7402(2004)03-0001-10 |
The Logic Foundation of the Triple I Algorithms in Fuzzy Reasoning |
| |
| PEI Dao-wu.The Logic Foundation of the Triple I Algorithms in Fuzzy Reasoning[J].Fuzzy Systems and Mathematics,2004,18(3):1-10. |
| |
| Authors: | PEI Dao-wu |
| |
| Institution: | PEI Dao-wu~ |
| |
| Abstract: | In the theory of fuzzy reasoning, the full implication triple I algorithms proposed recently (efficiently) improve the conventional CRI algorithms. By the method of partial valuations, the triple I algorithm can be put into the fremework of fuzzy logic semantically. In this paper, based on the (researches) of the formal deductive system L~* of fuzzy propositional logic and the first-order systems K~*, a multiple-sorted first-order system K~* (ms) of fuzzy predicate logic is proposed, and moreover, based on the theory of the system K~* (ms), the triple I algorithms are put into the framework of fuzzy logic (syntactically.) Thus a solid logic foundation of fuzzy reasoning is built up. |
| |
| Keywords: | Fuzzy Logic Fuzzy Reasoning CRI Algorithm Full Implication Triple I Algorithm (Multiple-sorted System) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
