Extending Representability on the Set of Intervals Endowed with Admissible Orders for the Construction of Interval-valued Fuzzy Operators (original) (raw)
Related papers
Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations
Reliable Computing, 2004
The global structure of various systems of logic connectives is investigated by looking at abstract group properties of the group of transformations of these. Such characterizations of fuzzy interval logics are examined in Sections 4–9. The paper starts by introducing readers to the Checklist Paradigm semantics of fuzzy interval logics (Sections 2 and 3). In the Appendix we present some basic notions of fuzzy logics, sets and many-valued logics in order to make the paper accessible to readers not familiar with fuzzy sets.
On algebras for interval-valued fuzzy logic
2019
This work aims to introduce other approaches to the interval-valued fuzzy logic. These new approaches were inspired by Lodwick and Chalco's works on constraint intervals. These constraint intervals were used in this thesis to extend the fuzzy operators into two modes, named Single-Level Constrained Interval Operators and Constrained Interval Operators and studied their properties. A new algebra, called SBCI algebra, which arises from the intervalization of BCI-algebras, is also introduced. These algebras aims to be the algebraic model for intervalvalued fuzzy logics, which take into account the notion of correctness. A new class of fuzzy implications, called (T, N)-implications has also been studied. The author investigated the behavior of the BCI/SBCI algebras and (T, N)-implications.
Advances and challenges in interval-valued fuzzy logic
Fuzzy Sets and Systems, 2006
Among the various extensions to the common [0, 1]-valued truth degrees of "traditional" fuzzy set theory, closed intervals of [0, 1] stand out as a particularly appealing and promising choice for representing imperfect information, nicely accommodating and combining the facets of vagueness and uncertainty without paying too much in terms of computational complexity. From a logical point of view, due to the failure of the omnipresent prelinearity condition, the underlying algebraic structure L I falls outside the mainstream of the research on formal fuzzy logics (including MV-, BL-and MTL-algebras), and consequently so far has received only marginal attention. This comparative lack of interest for interval-valued fuzzy logic has been further strengthened, perhaps, by taking for granted that its algebraic operations amount to a twofold application of corresponding operations on the unit interval. Abandoning that simplifying assumption, however, we may find that L I reveals itself as a very rich and noteworthy structure allowing the construction of complex and surprisingly well-behaved logical systems. Reviewing the main advances on the algebraic characterization of logical operations on L I , and relating these results to the familiar completeness questions (which remain as major challenges) for the associated formal fuzzy logics, this paper paves the way for a systematic study of interval-valued fuzzy logic in the narrow sense.
Interval-valued intuitionistic fuzzy implications – Construction, properties and representability
Information Sciences, 2013
The interval-valued intuitionistic fuzzy logic, an extension of fuzzy logic, integrates the concepts of interval-valued fuzzy logic and intuitionistic fuzzy logic. The former, reflects the measure of vagueness and uncertainty in the diameter of an interval. The latter considers the hesitation related to the dual construction. This paper considers an expression to interval-valued intuitionistic fuzzy implications, which can be generated by idempotent interval-valued aggregation functions acting on a pair of mutual-dual functions, an interval-valued implication and its corresponding coimplication. Then, we show under which conditions interval-valued intuitionistic fuzzy implications are diagonal preserving operators. We study not only properties of such operators which were extended to intuitionistic fuzzy logic, but also analyse properties truly intuitionistic. The canonical representation in the class of such operators and an interval version of an intuitionistic fuzzy index conclude this study.
2005
This paper continues investigation of systems of fuzzy interval logics based on the Checklist Paradigm semantics of Bandler and Kohout [5] [12]. While the early papers dealt with checklist paradigm based interval systems containing commutative AND and OR, this paper is the third in the series describing the system in which these connective types are non-commutative. While the commutative systems can be sufficiently characterized by an 8-element group of transformations, the non-commutative require the symmetric 16 element group S 2×2×2×2. The paper starts with the overview of a non-commutative interval system generated from implication operators based on a measure m 2 of Bandler and Kohout by the group transformations provided by the group S 2×2×2×2. This system includes the well-known Goguen-Gaines implication operator (PLY) which is not contrapositive. Non-contrapositivity of PLY induces non-commutativity of AND and OR connectives under the group transformations. In this interval system, the non-commutative AND connectives residuate with implication operators only by one-sided residuation, either from the left or from the right. Putting the additional constraint, requiring the residuation both-ways, causes the collapse of an interval system into a point system of fuzzy logic. This collapse is investigated in some detail.
International Journal of Intelligent Systems, 2008
In this paper, we study in-depth certain properties of interval-valued fuzzy sets and Atanassov's intuitionistic fuzzy sets (A-IFSs). In particular, we study the manner in which to construct different interval-valued fuzzy connectives (or Atanassov's intuitionistic fuzzy connectives) starting from an operator. We further study the law of contradiction and the law of excluded middle for these sets. Furthermore, we analyze the following properties: idempotency, absorption, and distributiveness. We conclude relating idempotency with the capacity that some of the connectives studied have for maintaining, in certain conditions, the amplitude (or Atanassov's intuitionistic index) of the intervals on which they act. C
Index, expressions and properties of interval-valued intuitionistic fuzzy implications
The interval-valued intuitionistic fuzzy logic, an extension of fuzzy logic, integrates the concepts of interval-valued fuzzy logic and intuitionistic fuzzy logic. The former, reflects the measure of vagueness and uncertainty in the diameter of an interval. The latter considers the hesitation related to the dual construction. This paper considers an expression to interval-valued intuitionistic fuzzy implications, which can be generated by idempotent interval-valued aggregation functions acting on a pair of mutual-dual functions, an interval-valued implication and its corresponding coimplication. Then, we show under which conditions interval-valued intuitionistic fuzzy implications are diagonal preserving operators. We study not only properties of such operators which were extended to intuitionistic fuzzy logic, but also analyse properties truly intuitionistic. The canonical representation in the class of such operators and an interval version of an intuitionistic fuzzy index conclude this study.
Interval Valued QL-Implications
2007
The aim of this work is to analyze the interval canonical representation for fuzzy QL-implications and automorphisms. Intervals have been used to model the uncertainty of a specialist’s information related to truth values in the fuzzy propositional calculus: the basic systems are based on interval fuzzy connectives. Thus, using subsets of the real unit interval as the standard sets of truth degrees and applying continuous t-norms, t-conorms and negation as standard truth interval functions, the standard truth interval function of an QL-implication can be obtained. Interesting results on the analysis of interval canonical representation for fuzzy QL-implications and automorphisms are presented. In addition, commutative diagrams are used in order to understand how an interval automorphism acts on interval QL-implications, generating other interval fuzzy QL-implications.
The pseudo-linear semantics of interval-valued fuzzy logics
Information Sciences, 2009
Triangle algebras are equationally defined structures that are equivalent with certain residuated lattices on a set of intervals, which are called interval-valued residuated lattices (IVRLs). Triangle algebras have been used to construct Triangle Logic (TL), a formal fuzzy logic that is sound and complete w.r.t. the class of IVRLs.
A general fuzzy logic using intervals
2005
In this paper we introduce an interval-valued logic system in which the truth values are intervals or sets of disjoint intervals over [0,1]. We extend the Boolean operators to these values in a natural way. Non-logical operators are also defined. The simulation of many-valued and fuzzy logic systems (such as Heyting's logic, Belnap's logic, Post's logic, Gödelian logic, Łukasiewicz-type logics and product logic) is presented. Some properties of the interval-valued general fuzzy logic are also presented.