40 research outputs found
On the property of T-distributivity
WOS: 000320947500001In this paper, we introduce the notion of T-distributivity for any t-norm on a bounded lattice. We determine a relation between the t-norms T and T', where T' is a T-distributive t-norm. Also, for an arbitrary t-norm T, we give a necessary and sufficient condition for T-D to be T-distributive and for T to be T-boolean AND-distributive. Moreover, we investigate the relation between the T-distributivity and the concepts of the T-partial order, the divisibility of t-norms. We also determine that the T-distributivity is preserved under the isomorphism. Finally, we construct a family of t-norms which are not distributive over each other with the help of incomparable elements in a bounded lattice
A T-partial order obtained from T-norms
summary:A partial order on a bounded lattice is called t-order if it is defined by means of the t-norm on . It is obtained that for a t-norm on a bounded lattice the relation iff for some is a partial order. The goal of the paper is to determine some conditions such that the new partial order induces a bounded lattice on the subset of all idempotent elements of and a complete lattice on the subset of all elements of which are the supremum of a subset of atoms
Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications
We study superpositions and direct integrals of quadratic and Dirichlet
forms. We show that each quasi-regular Dirichlet space over a probability space
admits a unique representation as a direct integral of irreducible Dirichlet
spaces, quasi-regular for the same underlying topology. The same holds for each
quasi-regular strongly local Dirichlet space over a metrizable Luzin, Radon
measure space, and admitting carr\'e du champ operator. In this case, the
representation is only projectively unique.Comment: 39 pages; added previously omitted proof
Fitting aggregation operators to data
Theoretical advances in modelling aggregation of information produced a wide range of aggregation operators, applicable to almost every practical problem. The most important classes of aggregation operators include triangular norms, uninorms, generalised means and OWA operators.With such a variety, an important practical problem has emerged: how to fit the parameters/ weights of these families of aggregation operators to observed data? How to estimate quantitatively whether a given class of operators is suitable as a model in a given practical setting? Aggregation operators are rather special classes of functions, and thus they require specialised regression techniques, which would enforce important theoretical properties, like commutativity or associativity. My presentation will address this issue in detail, and will discuss various regression methods applicable specifically to t-norms, uninorms and generalised means. I will also demonstrate software implementing these regression techniques, which would allow practitioners to paste their data and obtain optimal parameters of the chosen family of operators.<br /
Projectivity in (bounded) integral residuated lattices
In this paper we study projective algebras in varieties of (bounded)
commutative integral residuated lattices from an algebraic (as opposed to
categorical) point of view. In particular we use a well-established
construction in residuated lattices: the ordinal sum. Its interaction with
divisibility makes our results have a better scope in varieties of divisibile
commutative integral residuated lattices, and it allows us to show that many
such varieties have the property that every finitely presented algebra is
projective. In particular, we obtain results on (Stonean) Heyting algebras,
certain varieties of hoops, and product algebras. Moreover, we study varieties
with a Boolean retraction term, showing for instance that in a variety with a
Boolean retraction term all finite Boolean algebras are projective. Finally, we
connect our results with the theory of Unification
The *-composition -A Novel Generating Method of Fuzzy Implications: An Algebraic Study
Fuzzy implications are one of the two most important fuzzy logic connectives, the other being
t-norms. They are a generalisation of the classical implication from two-valued logic to the multivalued
setting.
A binary operation I on [0; 1] is called a fuzzy implication if
(i) I is decreasing in the first variable,
(ii) I is increasing in the second variable,
(iii) I(0; 0) = I(1; 1) = 1 and I(1; 0) = 0.
The set of all fuzzy implications defined on [0; 1] is denoted by I.
Fuzzy implications have many applications in fields like fuzzy control, approximate reasoning,
decision making, multivalued logic, fuzzy image processing, etc. Their applicational value necessitates
new ways of generating fuzzy implications that are fit for a specific task. The generating methods
of fuzzy implications can be broadly categorised as in the following:
(M1): From binary functions on [0; 1], typically other fuzzy logic connectives, viz., (S;N)-, R-, QL-
implications,
(M2): From unary functions on [0,1], typically monotonic functions, for instance, Yager’s f-, g-
implications, or from fuzzy negations,
(M3): From existing fuzzy implications