| 基于FI-代数的一阶模糊谓词演算逻辑系统 |
| |
| 引用本文： | 朱怡权.基于FI-代数的一阶模糊谓词演算逻辑系统[J].模糊系统与数学,2008,22(4). |
| |
| 作者姓名： | 朱怡权 |
| |
| 作者单位： | 广州航海高等专科学校,基础部,广东,广州,510725 |
| |
| 基金项目： | 广东省自然科学基金，肇庆学院校科研和教改项目 |
| |
| 摘 要： | 在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统.主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性.这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题.
|
| 关 键 词： | FI-代数 模糊逻辑 一阶谓词演算 可靠性 |
The First-order Logic System for Fuzzy Predicate Calculus Based on FI-algerbas |
| |
| ZHU Yi-quan.The First-order Logic System for Fuzzy Predicate Calculus Based on FI-algerbas[J].Fuzzy Systems and Mathematics,2008,22(4). |
| |
| Authors: | ZHU Yi-quan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
