Title :
On T-quantifiers and S-quantifiers
Author_Institution :
Dept. of Comput. Sci., Dortmund Univ., Germany
Abstract :
We show how the “classical” theory of T-norms and S-norms of fuzzy logic can be generalized to a theory of T-quantifiers and S-quantifiers, respectively. The key idea leading to this generalization is the fact that the (infinite) iteration of the two-valued conjunction and disjunction gives the two-valued all-quantifier and ex-quantifier, respectively. In the framework of fuzzy logic the same holds for min with respect to Inf and for max with respect to Sup. As a T-norm (S-norm) is commutative and associative, we can construct an all-τ-quantifier (an ex-σ-quantifier) from a given T-norm τ (S-norm σ). These quantifiers are characterized by axioms (T-quantifiers and S-quantifiers). Furthermore we show that the generating procedure is “complete” with respect to arbitrary T-quantifiers (S-quantifiers) and uniquely reversible
Keywords :
fuzzy logic; S-norms; S-quantifiers; T-norms; T-quantifiers; axioms; fuzzy logic; generating procedure; two-valued conjunction; Books; Computer science; Equations; Fuzzy logic; Fuzzy sets;
Conference_Titel :
Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-5650-6
DOI :
10.1109/ISMVL.1994.302192