13,862 research outputs found
Interval valued (\in,\ivq)-fuzzy filters of pseudo -algebras
We introduce the concept of quasi-coincidence of a fuzzy interval value with
an interval valued fuzzy set. By using this new idea, we introduce the notions
of interval valued (\in,\ivq)-fuzzy filters of pseudo -algebras and
investigate some of their related properties. Some characterization theorems of
these generalized interval valued fuzzy filters are derived. The relationship
among these generalized interval valued fuzzy filters of pseudo -algebras
is considered. Finally, we consider the concept of implication-based interval
valued fuzzy implicative filters of pseudo -algebras, in particular, the
implication operators in Lukasiewicz system of continuous-valued logic are
discussed
A Deep Study of Fuzzy Implications
This thesis contributes a deep study on the extensions of the IMPLY operator in classical binary logic to fuzzy logic, which are called fuzzy implications. After the introduction in Chapter 1 and basic notations about the fuzzy logic operators In Chapter 2 we first characterize In Chapter 3 S- and R- implications and then extensively investigate under which conditions QL-implications satisfy the thirteen fuzzy implication axioms. In Chapter 4 we develop the complete interrelationships between the eight supplementary axioms FI6-FI13 for fuzzy implications satisfying the five basic axioms FI1-FI15. We prove all the dependencies between the eight fuzzy implication axioms, and provide for each independent case a counter-example. The counter-examples provided in this chapter can be used in the applications that need different fuzzy implications satisfying different fuzzy implication axioms. In Chapter 5 we study proper S-, R- and QL-implications for an iterative boolean-like scheme of reasoning from classical binary logic in the frame of fuzzy logic. Namely, repeating antecedents times, the reasoning result will remain the same. To determine the proper S-, R- and QL-implications we get a full solution of the functional equation , for all , . In Chapter 6 we study for the most important t-norms, t-conorms and S-implications their robustness against different perturbations in a fuzzy rule-based system. We define and compare for these fuzzy logical operators the robustness measures against bounded unknown and uniform distributed perturbations respectively. In Chapter 7 we use a fuzzy implication to define a fuzzy -adjunction in . And then we study the conditions under which a fuzzy dilation which is defined from a conjunction on the unit interval and a fuzzy erosion which is defined from a fuzzy implication to form a fuzzy -adjunction. These conditions are essential in order that the fuzzification of the morphological operations of dilation, erosion, opening and closing obey similar properties as their algebraic counterparts. We find out that the adjointness between the conjunction on the unit interval and the implication or the implication play important roles in such conditions
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
Integrating logical reasoning and machine learning by approximating logical
inference with differentiable operators is a widely used technique in
Neuro-Symbolic systems.
However, some differentiable operators could bring a significant bias during
backpropagation and degrade the performance of Neuro-Symbolic learning.
In this paper, we reveal that this bias, named \textit{Implication Bias} is
common in loss functions derived from fuzzy logic operators.
Furthermore, we propose a simple yet effective method to transform the biased
loss functions into \textit{Reduced Implication-bias Logic Loss (RILL)} to
address the above problem.
Empirical study shows that RILL can achieve significant improvements compared
with the biased logic loss functions, especially when the knowledge base is
incomplete, and keeps more robust than the compared methods when labelled data
is insufficient.Comment: ACML'2023 Journal Track(Accepted by Machine Learning Journal
Characterizations of ordered semigroups in terms of (â, â â¨q)-fuzzy interior ideals
In this paper, we give characterizations of ordered semigroups in terms of (â, â â¨q)-fuzzy interior ideals. We characterize different classes regular (resp. intra-regular, simple and semisimple) ordered semigroups in terms of (â, â â¨q)-fuzzy interior ideals (resp. (â, â â¨q)-fuzzy ideals). In this regard, we prove that in regular (resp. intra-regular and semisimple) ordered semigroups the concept of (â, â â¨q)-fuzzy ideals and (â, â â¨q)-fuzzy interior ideals coincide. We prove that an ordered semigroup S is simple if and only if it is (â, â â¨q)-fuzzy simple. We characterize intra-regular (resp. semisimple) ordered semigroups in terms of (â, â â¨q)-fuzzy ideals (resp. (â, â â¨q)-fuzzy interior ideals). Finally, we consider the concept of implication-based fuzzy interior ideals in an ordered semigroup, in particular, the implication operators in Lukasiewicz system of continuous-valued logic are discussed
Fuzzy n-ary polygroups related to fuzzy points
AbstractRecently, fuzzy n-ary sub-polygroups were introduced and studied by Davvaz, Corsini and Leoreanu-Fotea [B. Davvaz, P. Corsini, V. Leoreanu-Fotea, Fuzzy n-ary sub-polygroups, Comput. Math. Appl. 57 (2008) 141â152]. Now, in this paper, the concept of (â,ââ¨q)-fuzzy n-ary sub-polygroups, (âÂŻ,âÂŻâ¨qÂŻ)-fuzzy n-ary sub-polygroups and fuzzy n-ary sub-polygroup with thresholds of an n-ary polygroup are introduced and some characterizations are described. Also, we give the definition of implication-based fuzzy n-ary sub-polygroups in an n-ary polygroup, in particular, the implication operators in Ĺukasiewicz system of continuous-valued logic are discussed
Fuzzy and probabilistic choice functions: a new set of rationality conditions
IFSA-EUSFLAT'2015: 16th World Congress of the International Fuzzy Systems Association and 9th Conference of the European Society for Fuzzy Logic and Technlogy, July 2015, GijĂłn, SpainProbabilistic and fuzzy choice theory are used to describe decision situations in which a certain degree of imprecision is involved. In this work we propose a correspondence between probabilistic and fuzzy choice functions, based on implication operators. Given a probabilistic choice function a fuzzy choice function can be constructed and, furthermore, a new set of rationality conditions is proposed. Finally, we prove that under those conditions, the associated fuzzy choice function fulfills desirable rationality propertie
Implication functions in interval-valued fuzzy set theory
Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees. Since implications on the unit interval play an important role in fuzzy set theory, several authors have extended this notion to interval-valued fuzzy set theory. This chapter gives an overview of the results pertaining to implications in interval-valued fuzzy set theory. In particular, we describe several possibilities to represent such implications using implications on the unit interval, we give a characterization of the implications in interval-valued fuzzy set theory which satisfy the Smets-Magrez axioms, we discuss the solutions of a particular distributivity equation involving strict t-norms, we extend monoidal logic to the interval-valued fuzzy case and we give a soundness and completeness theorem which is similar to the one existing for monoidal logic, and finally we discuss some other constructions of implications in interval-valued fuzzy set theory
Interval-valued and intuitionistic fuzzy mathematical morphologies as special cases of L-fuzzy mathematical morphology
Mathematical morphology (MM) offers a wide range of tools for image processing and computer vision. MM was originally conceived for the processing of binary images and later extended to gray-scale morphology. Extensions of classical binary morphology to gray-scale morphology include approaches based on fuzzy set theory that give rise to fuzzy mathematical morphology (FMM). From a mathematical point of view, FMM relies on the fact that the class of all fuzzy sets over a certain universe forms a complete lattice. Recall that complete lattices provide for the most general framework in which MM can be conducted.
The concept of L-fuzzy set generalizes not only the concept of fuzzy set but also the concepts of interval-valued fuzzy set and Atanassovâs intuitionistic fuzzy set. In addition, the class of L-fuzzy sets forms a complete lattice whenever the underlying set L constitutes a complete lattice. Based on these observations, we develop a general approach towards L-fuzzy mathematical morphology in this paper. Our focus is in particular on the construction of connectives for interval-valued and intuitionistic fuzzy mathematical morphologies that arise as special, isomorphic cases of L-fuzzy MM. As an application of these ideas, we generate a combination of some well-known medical image reconstruction techniques in terms of interval-valued fuzzy image processing
- âŚ