模糊谓词逻辑相关论文
本文在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶(谓词)逻辑的准形式演绎系统。并且证明了......
通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们......
通过给出公式的有限解释真度的平均值不变性定理,得到了一系列推理规则:平均值MP规则、平均值HS规则、平均值交推理规则.......
本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理......
在一阶模糊谓词逻辑系统中基于有限解释提出了公式的条件α-真度的概念,并研究了它的性质。......