词条 | Fuzzy set operations |
释义 |
A fuzzy set operation is an operation on fuzzy sets. These operations are generalization of crisp set operations. There is more than one possible generalization. The most widely used operations are called standard fuzzy set operations. There are three operations: fuzzy complements, fuzzy intersections, and fuzzy unions. Standard fuzzy set operationsLet A and B be fuzzy sets that A,B ⊆ U, u is any element (e.g. value) in the U universe: u ∈ U.
The complement is sometimes denoted by ∁A or A∁ instead of ¬A.
In general, the triple (i,u,n) is called De Morgan Triplet iff
so that for all x,y ∈ [0, 1] the following holds true: u(x,y) = n(i(n(x), n(y)) (generalized De Morgan relation).[1] This implies the axioms provided below in detail. Fuzzy complementsμA(x) is defined as the degree to which x belongs to A. Let ∁A denote a fuzzy complement of A of type c. Then μ∁A(x) is the degree to which x belongs to ∁A, and the degree to which x does not belong to A. (μA(x) is therefore the degree to which x does not belong to ∁A.) Let a complement ∁A be defined by a function c : [0,1] → [0,1] For all x ∈ U: μ∁A(x) = c(μA(x)) Axioms for fuzzy complements
c(0) = 1 and c(1) = 0
For all a, b ∈ [0, 1], if a < b, then c(a) > c(b)
c is continuous function.
c is an involution, which means that c(c(a)) = a for each a ∈ [0,1] c is a strong negator (aka fuzzy complement). A function c satisfying axioms c1 and c2 has at least one fixpoint a* with c(a*) = a*, and if axiom c3 is fulfilled as well there is exactly one such fixpoint. For the standard negator c(x) = 1-x the unique fixpoint is a* = 0.5 .[2] Fuzzy intersections{{main|T-norm}}The intersection of two fuzzy sets A and B is specified in general by a binary operation on the unit interval, a function of the form i:[0,1]×[0,1] → [0,1]. For all x ∈ U: μA ∩ B(x) = i[μA(x), μB(x)]. Axioms for fuzzy intersection
i(a, 1) = a
b ≤ d implies i(a, b) ≤ i(a, d)
i(a, b) = i(b, a)
i(a, i(b, d)) = i(i(a, b), d)
i is a continuous function
i(a, a) ≤ a
i (a1, b1) ≤ i (a2, b2) if a1 ≤ a2 and b1 ≤ b2 Axioms i1 up to i4 define a t-norm (aka fuzzy intersection). The standard t-norm min is the only idempotent t-norm (that is, i (a1, a1) = a for all a ∈ [0,1]).[2] Fuzzy unionsThe union of two fuzzy sets A and B is specified in general by a binary operation on the unit interval function of the form u:[0,1]×[0,1] → [0,1]. For all x ∈ U: μA ∪ B(x) = u[μA(x), μB(x)]. Axioms for fuzzy union
u(a, 0) =u(0 ,a) = a
b ≤ d implies u(a, b) ≤ u(a, d)
u(a, b) = u(b, a)
u(a, u(b, d)) = u(u(a, b), d)
u is a continuous function
u(a, a) ≥ a
a1 < a2 and b1 < b2 implies u(a1, b1) < u(a2, b2) Axioms u1 up to u4 define a t-conorm (aka s-norm or fuzzy intersection). The standard t-conorm max is the only idempotent t-conorm (i. e. u (a1, a1) = a for all a ∈ [0,1]).[2] Aggregation operationsAggregation operations on fuzzy sets are operations by which several fuzzy sets are combined in a desirable way to produce a single fuzzy set. Aggregation operation on n fuzzy set (2 ≤ n) is defined by a function h:[0,1]n → [0,1] Axioms for aggregation operations fuzzy sets
h(0, 0, ..., 0) = 0 and h(1, 1, ..., 1) = one
For any pair <a1, a2, ..., an> and <b1, b2, ..., bn> of n-tuples such that ai, bi ∈ [0,1] for all i ∈ Nn, if ai ≤ bi for all i ∈ Nn, then h(a1, a2, ...,an) ≤ h(b1, b2, ..., bn); that is, h is monotonic increasing in all its arguments.
h is a continuous function. See also
Further reading
References1. ^Ismat Beg, Samina Ashraf: [https://www.researchgate.net/publication/228744370_Similarity_measures_for_fuzzy_sets Similarity measures for fuzzy sets], at: Applied and Computational Mathematics, March 2009, available on Research Gate since November 23rd, 2016 2. ^1 2 Günther Rudolph: [https://ls11-www.cs.tu-dortmund.de/people/rudolph/teaching/lectures/CI/WS2009-10/lec06.pps Computational Intelligence (PPS)], TU Dortmund, Algorithm Engineering LS11, Winter Term 2009/10. Note that this power point sheet may have some problems with special character rendering
1 : Fuzzy logic |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。