基于FI-代数的一阶模糊谓词演算逻辑系统  

The First-order Logic System for Fuzzy Predicate Calculus Based on FI-algerbas

作　　者：朱怡权[1] 

机构地区：[1]广州航海高等专科学校基础部,广东广州510725

出　　处：《模糊系统与数学》2008年第4期27-32,共6页Fuzzy Systems and Mathematics

基　　金：广东省自然科学基金资助项目(021073);肇庆学院自然科学研究项目(0663)

摘　　要：在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性。这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题。In this paper,based on the formal deductive system F^M1 oi iuzzy proposlnonai logic, a corresponding first-order logic system of fuzzy predicate logic is built up. Mainly, some semantical concepts of the system are given out, and the soundness based on safe M-interpretations is studied. The results in this paper provide a new basis for generally studying logic foundations of fuzzy reasoning.

关 键 词：FI-代数 模糊逻辑 一阶谓词演算 可靠性 

分 类 号：O141[理学—数学] O153[理学—基础数学]