摘要
在模糊命题逻辑系统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.
出处
《模糊系统与数学》
CSCD
北大核心
2008年第4期27-32,共6页
Fuzzy Systems and Mathematics
基金
广东省自然科学基金资助项目(021073)
肇庆学院自然科学研究项目(0663)
