Fuzzy classification rules are widely considered a well-suited representation of classification knowledge, as they allow readable and interpretable rule bases. The goal of this paper is to discuss the shapes of the resulting classification borders under consideration of different types of fuzzy sets, rule bases and t-norms and thus which class distributions can be represented by such classifica...

Fuzzy classification rules allow the definition of readable and interpretable rule bases. Nevertheless, the shape of the resulting class borders of fuzzy classification rules depends to a great part on the used tnorm and t-conorm and can sometimes even be counter-intuitive. In this paper we discuss the shape of class borders between overlapping rules under consideration of different t-norms and...

In this work we solve an open problem of U.Höhle [Problem 11, Fuzzy Sets and Systems 145 (2004) 471-479]. We show that the solution gives a characterization of all conditionally cancellative t-subnorms. Further, we give an equivalence condition for a conditionally cancellativite t-subnorm to be a t-norm and hence show that conditionally cancellativite t-subnorms whose natural negations are stro...

We present a method for mass proofs of theorems of certain forms in a formal theory of fuzzy relations and classes. The method is based on formal identification of fuzzy classes and inner truth values with certain fuzzy relations, which allows transferring basic properties of sup-T and inf-R compositions to a family of more than 30 composition-related operations, including sup-T and inf-R image...

We present a method for mass proofs of theorems of certain forms in a formal theory of fuzzy relations and classes. The method is based on formal identification of fuzzy classes and inner truth values with certain fuzzy relations, which allows transferring basic properties of sup-T and inf-R compositions to a family of more than 30 composition-related operations, including sup-T and inf-R image...

Triangular norms are a generalisation of the classical two-valued conjunction. They were originally introduced for definition of the probabilistic (statistical) metric spaces as a generalisation of the classical triangle inequality for ordinary metric spaces. The next investigations were related with axiomatic of these norms. In this paper, a new t-norm is proposed which is generalisation of th...

Using Generalized Modus Ponens reasoning, we examine the values of inferred conclusion when the premise of the rule and the observed fact have a partial overlapping. We work with fuzzy if-then rules with a single input single output and the t-norm t(x, y) = max((1+λ)(x+y−1)−λxy, 0), λ ≥ −1, for composition operation. This t-norm is important to use because for λ = −1 and λ = 0 it gives the very...

The aim of this paper is to promote web geometry and, especially, the Reidemeister closure condition as a powerful and intuitive tool characterizing associativity of the Archimedean triangular norms. In order to demonstrate its possible applications, we provide the full solution to the problem of convex combinations of nilpotent triangular norms. Keywords— Archimedean triangular norm, web geome...

We define a 2-category whose objects are fuzzy sets and whose maps are relations subject to certain natural conditions. We enrich this category with additional monoidal and involutive structure coming from t-norms and negations on the unit interval. We develop the basic properties of this category and consider its relation to other familiar categories. A discussion is made of extending these re...

The notion of filter is established in fuzzy class theory. Graded properties of filters, prime filters and related concepts are investigated. In particular we study properties of filters relativized with respect to the basic three t-norms: Gödel, product, and Lukasiewicz. It is shown that our approach gives rise to a broad class of models including probability and necessity measures on fuzzy se...