数学
模糊逻辑
模糊数
2型模糊集与系统
模糊集
话语域
可满足性
离散数学
谓词(数理逻辑)
集合(抽象数据类型)
模糊分类
模糊集运算
一阶逻辑
域代数上的
算法
人工智能
纯数学
计算机科学
程序设计语言
作者
Guojun Wang,Xiaoyan Qin,Xiangnan Zhou
标识
DOI:10.1016/j.fss.2006.08.006
摘要
We construct and study a new intrinsic fuzzy subset τ on the crisp set F of all first-order logic formulas in two-valued logic. In order to define this fuzzy set, we need to introduce a number of other new concepts, such as the relative satisfiability degree, the least and the largest interpretations, and the average validity degree of a formula. One of the main results proved in this paper is that all the membership degrees of this fuzzy set form a dense subset of [0,1]. This new intrinsic fuzzy set will be used to develop a kind of fuzzy deductive reasoning of Pavelka's type.
科研通智能强力驱动
Strongly Powered by AbleSci AI