模糊命题逻辑系统的计量化  

Quantified Fuzzy Propositional Logic System

作　　者：李修清[1] 李燕[2] 

机构地区：[1]桂林航天工业学院理学部,广西桂林541004 [2]桂林航天工业学院信息工程系,广西桂林541004

出　　处：《模糊系统与数学》2016年第4期68-75,共8页Fuzzy Systems and Mathematics

基　　金：广西壮族自治区科研项目(201106LX709)

摘　　要：在模糊命题逻辑系统中提出了公式的随机真度的概念,证明了模糊命题逻辑系统中有效推理的随机真度关系定理。运用随机真度关系定理证明了逻辑算子,→的连续性,给出了公式间距离的计算方法。最后,在系统L*中提出了三种近似推理模式,并讨论了它们之间的关系。The concept of random truth degree of formulas in Fuzzy Propositional logical system are introduced, this paper proves random truth degree relationship theorem of valid inference in Fuzzy Propositional logical system, then the paper proves the continuity of logic operators -,→ by using the random truth degree relationship theorem, gives the method to calculate the distance between the formula. finally this paper proposes three different types of approximate reasoning patterns and discusses the relationships between three modes in L＊ .

关 键 词：随机真度 必要度 有效推理 随机逻辑度量空间 

分 类 号：O142[理学—数学]