Talk:Fuzzy set

This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics Low‑priority This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles Low This article has been rated as Low-priority on the project's priority scale.

Perhaps a section about software implementation of theories could help I say this after finding in some other pages a section named like that. I've created my own via R with BaseSet but I'm hesitant to add it myself.

Dròpol (talk) 09:52, 1 June 2022 (UTC)[reply]

there have been lots in engineering, almost invariably piece-wise linear controllers. apparently engineers (1) cannot get their heads around non-linear dynamics (an unfortunate consequence of the fact that they are taught that calculus is something that happens "in the frequency domain") and (2) they must really like the term fuzzy, which sounds like cutting edge maths, as opposed to gluing PIDSs together in messy ways 2A01:CB0C:CD:D800:D1B7:91BB:C98D:C0FC (talk) 08:19, 19 December 2022 (UTC)[reply]

Citing from the article: A fuzzy set is a pair ${\displaystyle (A,m)}$ where ${\displaystyle A}$ is a set and ${\displaystyle m:A\rightarrow [0,1]}$. For each ${\displaystyle x\in A}$, ${\displaystyle m(x)}$ is called the grade of membership of ${\displaystyle x}$ in ${\displaystyle (A,m)}$.

If m is defined on A (i.e. takes as input all of the members of A) then it will never return 0. Accordingly, "Let ${\displaystyle x\in A}$. Then ${\displaystyle x}$ is called not included in the fuzzy set" does not make much sense, as does "The set ${\displaystyle \{x\in A\mid m(x)>0\}}$0\}}"/> is called the support of ${\displaystyle (A,m)}$" (seeing that ${\displaystyle m(x)>0}$0}"/> for every x in A).

A counter-argument would be to say that every element is contained in A. Seeing that this leads to there only being exactly one set, encompassing everything, this does not seem to be a good idea. If posing the question whether this set would contain itself, we arrive at the fuzzy equivalent to Russel's Paradox. Illuminations showing that I am mistaken are, of course, very welcome. — Preceding unsigned comment added by 195.169.201.86 (talk) 20:20, 10 March 2012 (UTC)[reply]

By the definition of a function, ${\displaystyle m\colon A\rightarrow [0,1]}$ can of course assign 0 to some (or even all) elements of A. In other words, ${\displaystyle m(x)=0}$ is a legitimate value of m for ${\displaystyle x\in A.}$ -- LBehounek (talk) 09:45, 12 March 2012 (UTC)[reply]

I am aware of the fact that [0,1] is the codomain of m. Yet: The definition states that we talk about the fuzzy set A. The membership function is defined on the members of A (= has the type A -> [0,1]). As such, we can only give it arguments which already belong to A, ${\displaystyle x\in A}$. As such, for every x this function will yield a value > 0 (because it tests for membership and we only supply members). I think a solution would be to define the membership function on a universe U containing all of the objects (even those not in the fuzzy set) and then define the membership function for a fuzzy set A on this universe instead. So its type would be U->[0,1]. It would then actually return 0 for elements which are in the universe, but are not in the fuzzy set. See also the article "Fuzzy models—What are they, and why?[Editorial]", JC Bezdek - Fuzzy Systems, IEEE Transactions on, 1993 — Preceding unsigned comment added by 195.169.201.86 (talk) 11:59, 13 March 2012 (UTC)[reply]

In the article, A is not the fuzzy set, but the domain of the fuzzy set (a crisp set, the universe which you call U in your reply). The fuzzy set is the pair (A, m), where m is a function from the crisp universe A to [0, 1]. The confusion may be caused by the fact that fuzzy sets (or their membership functions) are often denoted by A, B, etc. in the literature, while the universe is more usually denoted by U or X. Perhaps changing the notation in the article from A to U would prevent the confusion: I'll make the change right now. -- LBehounek (talk) 15:48, 14 March 2012 (UTC)[reply]

What is the meaning of ${\displaystyle A\wedge m(x)}$ in the second line of the Definition section? ${\displaystyle A}$ is a set and ${\displaystyle m(x)}$ is a number. The minimum of these two doesn't make sense to me. Also later in this section what is the definition of ${\displaystyle z_{1}}$ etc? --Abel1981 18:19, 10 August 2007 (UTC)[reply]

The expression ${\displaystyle A\wedge m(x)}$ is not well-formed on it's own, because you cannot apply the AND operation to non-boolean values, however, the larger expression is well-formed: ${\displaystyle x\in (A,m)\iff x\in A\wedge m(x)\neq 0}$ which is equivalent to ${\displaystyle x\in (A,m)\iff (x\in A)\wedge (m(x)\neq 0)}$. --anon-Engineer —Preceding unsigned comment added by 128.118.40.77 (talk) 21:46, 27 September 2007 (UTC)[reply]

Fuzzy sets are an extension of the classical set theory used in fuzzy logic.

They are intended to be, but they are not! Membership functions are just that - functions. Functions are defined in terms of sets. So the definition of a fuzzy set depends on (and therefore is not an extension of) the definition of a set. Blaise 21:53, 28 Apr 2005 (UTC)

According to Fuzzy set theory, classical sets are a form of fuzzy sets. This is not so otherway around. In a way the statment at the start of page is true. User:srinivasasha 18:07, 15 Apr 2005 (IST)

Blaise, (in the event that you ever read this) you may want to consider deleting your additions to several entries stating that fuzzy sets do not extend ordinary sets. First, axiomatizations of fuzzy sets which do not `depend on' ordinary set theory exist since 1967 (i.e. 2 years after Zadeh's definition and 38 years before you were here). Second, membership functions are a convenient model of fuzzy logic but they are not essential, as aptly shown in Petr Hajek's work. Third, even if one restricts oneself to the `popular' view of membership functions, your argument is a fallacious one. You say: Membership functions are functions, therefore special sets. My reply is: a set is something that satisfies the axioms of set theory, so it is something that cannot be considered isolated from the notions appearing in those axioms, like those of element, union, and so on. It is clear that fuzzy sets, *the way Fuzzy Set Theory regards them*, do not generally fulfil those axioms and so are generally not sets.

For example, in FST the union of two fuzzy sets is not the union of the graphs of their membership functions; the fact that unions of graphs of membership functions do fulfil the axioms of set theory is completely immaterial.

Another example, if A is a non-crisp fuzzy subset of a universe U, then, no matter how you define an `element', the axiom stating that two sets are equal when they have the same elements will fail (because then A would equal the ordinary set of its elements, which *is* crisp).155.210.232.88 16:47, 4 October 2006 (UTC)[reply]

>First, axiomatizations of fuzzy sets which do not `depend on' ordinary set theory exist since 1967

Good. Show me a reference.

>Second, membership functions are a convenient model of fuzzy logic but they are not essential,

This is the same as your first point.

>Third, even if one restricts oneself to the `popular' view of membership functions, your argument is a fallacious one. You say: Membership functions are functions, therefore special sets.

No, I say membership functions are functions, as generally understood in mathematics.

>My reply is: a set is something that satisfies the axioms of set theory, so it is something that cannot be considered isolated from the notions appearing in those axioms, like those of element, union, and so on. It is clear that fuzzy sets, *the way Fuzzy Set Theory regards them*, do not generally fulfil those axioms and so are generally not sets.

Agreed. What's that got to do with the point I was making, that fuzzy set theory isn't a generalisation of regular set theory because the notion of a membership function involves the notion of a function, which involves the notion of a set in the classical sense? Blaise 11:24, 15 September 2007 (UTC)[reply]

---

(Possibly different IP address, but same person as 4 Oct 06.)

References.

The first full-fledged ZF-like axiomatization of fuzzy sets seems to be

E. William Chapin. Set-valued set theory. Part I: Notre Dame J. Formal Logic Volume 15, Number 4 (1974), 619-634. Part II: Notre Dame J. Formal Logic Volume 16, Number 2 (1975), 255-267 (free access at Project Euclid.)

1967 is the date of Goguen's JMAA paper cited in the main text, which is the first category-theoretical approach at fuzzy sets.

An overview of the many approaches is

S. Gottwald. Universes of fuzzy sets and axiomatizations of fuzzy set theory. Part I: Model-based and axiomatic approaches. Studia Logica 82, no.2 (2006), 211--244. Part II: Category theoretic approaches. Studia Logica 84 (2006), 23--50 (free access at Gottwald's website, and I suggest that they should be cited in the main text.)

Repetitions.

My first and second points are actually different. The first one concerns fuzzy sets, saying that axiomatic fuzzy set theories exist which do not rely on non-fuzzy set theories (as has been shown at your request.) The second one concerns fuzzy logic, saying that fuzzy logic makes full sense without any reference to fuzzy sets in the ordinary membership-function fashion (e.g. Hajek's basic logic in his book Metamathematics of fuzzy logic.) Admittedly, the second point is not central to the discussion, I guess I wanted to show that membership functions are not essential to either fuzzy set theory (point 1) or fuzzy logic (point 2), so there is no `backdoor' through which using fuzzy logic reintroduces the membership (set-theoretical) functions disposed of before.

Functions as sets.

I was taught that functions are subsets of the Cartesian product. I thought you meant that, but nothing changes if you're not in the `function=graph' boat.

What does it have to do?

My contention is not that your point is wrong, but that it is no point at all. Therefore, it is natural that I say things which do not revolve around it.--155.210.234.246 (talk) 04:10, 22 January 2008 (UTC)[reply]

Yes, Gottwald's two-part survey paper is good. I found it myself while browsing his list of publications. I'll add it to the further reading section, now that we have that. Tijfo098 (talk) 16:44, 13 April 2011 (UTC)[reply]

The first one concerns fuzzy sets, saying that axiomatic fuzzy set theories exist which do not rely on non-fuzzy set theories (as has been shown at your request.) Oh my, how clever! A side by side comparison of the axiom lists quickly reveals how the rabbit is magicked out of the hat - it will even show you how the rabbit got there in the first place. 2A01:CB0C:CD:D800:D1B7:91BB:C98D:C0FC (talk) 08:22, 19 December 2022 (UTC)[reply]

Fuzzy sets are sets of pairs whereas a multiset is a pair ${\displaystyle (X,m)}$ where ${\displaystyle X}$ is a set and ${\displaystyle m:X\rightarrow \mathbb {N} }$. Should fuzzy sets be defined as multisets are, with an indicator function ${\displaystyle m:X\rightarrow \mathbb {R} }$ with a range ${\displaystyle [0,1]}$ or should multisets be defined as fuzzy sets are!? InformationSpace 03:05, 16 March 2007 (UTC).[reply]

I now have both Zadeh's original paper introducing fuzzy sets and a book Introduction to fuzzy sets, fuzzy logic, and fuzzy control systems. I can see from these that it is completely wrong to define a fuzzy set as a set of pairs. I guess I will have to correct this. InformationSpace 04:30, 17 July 2007 (UTC)[reply]

Ok, I've done this now. Although I like having a diagram, the one that was there had a number of problems - a fuzzy set (A,m) should be a subset of the crisp set A - some inconsistencies and omissions remain. No time right now... InformationSpace 05:05, 17 July 2007 (UTC)[reply]

Please explain! It makes no sense to declare that "a fuzzy set (A,m) should be a subset of the crisp set A" without providing a clear sense in which the notion "subset" extends to the union of {sets} and {fuzzy sets}. Without such, the nearest I can approach such a subset relation is this:

The set A of the fuzzy set (A,m) is a superset — not a subset — of the crisp set ${\displaystyle A'=m^{-1}\{0,1\}}$. yoyo (talk) 04:34, 5 October 2009 (UTC)[reply]

I notice that there is no definition of ${\displaystyle \subseteq }$ or ${\displaystyle \cup }$ etc. w.r.t. a fuzzy sets. Someone should add these and other important fuzzy set operators to this article!InformationSpace 06:00, 4 May 2007 (UTC)[reply]

I just ran across this article on new pages patrole, but I'm way to unexperienced in this field to get any proper sources or better content for the article. It seems related to fuzzy sets though (the mathematics applied to fuzzy sets?). I posted an expert tag there, but maybe some of the editors of this page have a better idea what to do with it. (maybe a redirect? maybe a reverse redirect? keeping the article as a seperate one with seperate content?) Thanks. Martijn Hoekstra 21:54, 4 November 2007 (UTC)[reply]

you're also no great shakes at spelling English words, but anyway, if you are a decent mathematician it is not surprising you know little about the fuzzy business. It does not do anything that advanced maths does not already do better, but it is the darling of engineers, economists and sundry 3rd rate riff raff . 2A01:CB0C:CD:D800:D1B7:91BB:C98D:C0FC (talk) 08:25, 19 December 2022 (UTC)[reply]

What is "an uncertain set"? yoyo (talk) 05:46, 5 October 2009 (UTC)[reply]

I think this is a typo and should refer to a fuzzy set. Can anyone confirm this? Also, what is meant by the set having "a mean interval"? acj (talk) 19:53, 3 September 2010 (UTC)[reply]

The last paragraph in the Definition section is:

Sometimes, a more general definition is used, where membership functions take values in an arbitrary fixed algebra or structure L; usually it is required that L be at least a poset or lattice. The usual membership functions with values in [0, 1] are then called [0, 1]-valued membership functions. This generalization was first considered in 1967 by Joseph Goguen, who was a student of Zadeh.

Algebra here refers to a universal algebra which has no inherited poset or even lattice structure. If anyone can post a link to the original paper I might be able to figure out the right more general definition. —Preceding unsigned comment added by The tree stump (talk • contribs) 15:40, 29 November 2009 (UTC)[reply]

Maybe my formulation in the article was misleading. Goguen in his 1967 paper already discusses several kinds of structures for membership degrees, ranging from posets to complete lattice-ordered semigroups. Later, various authors used various kinds of structures for membership degrees, from as general as any relation (e.g., here) to as specific as the real unit interval endowed with a particular set of operations (e.g., here). Most usually, the assumed structure of degrees is a lattice (often expanded by additional operations—e.g., a residuated lattice), or at least a poset (possibly satisfying some constraints). If it is a lattice, then the ordering relation can be represented just by the lattice operations of join and meet, in which case it is actually an algebra rather than a more general structure.

Any improvement of the formulation is of course welcome (I'll start with changing the singular "a more general definition" to plural, which may be less misleading). -- LBehounek (talk) 16:23, 7 December 2009 (UTC)[reply]

The original paper of (Von) Dieter Klaua doesn't seem to be online. A later (1966) paper by him is though doi:10.1002/mana.19670330503. Klaua lived in East Germany. Tijfo098 (talk) 16:18, 13 April 2011 (UTC)[reply]

Siegfried Gottwald recently analyzed Klaua's 1965 paper in doi:10.1016/j.fss.2009.12.005. preprint Tijfo098 (talk) 16:22, 13 April 2011 (UTC)[reply]

What are the implications of fuzzy sets? Is there any practical application of this subject? 78.86.61.94 (talk) 23:32, 17 April 2013 (UTC)[reply]

well, there have been lots in engineering, almost invariably piece-wise linear controllers. apparently engineers (1) cannot get their heads around non-linear dynamics (an unfortunate consequence of the fact that they are taught that calculus is something that happens "in the frequency domain") and (2) they must really like the term fuzzy, which makes to sound like cutting edge maths, as opposed to gluing PIDSs together in messy ways. On a less frivolous note, no, the subject does not afford any advantage or insight beyond poor mathematicians playing around endlessly with definitions. Especially egregious are claims that quantum mechanics makes more sense from a fuzzy point of view --- that amounts to pointing students in a direction diametrically opposed to the truth. 2A01:CB0C:CD:D800:D1B7:91BB:C98D:C0FC (talk) 08:28, 19 December 2022 (UTC)[reply]

Please somebody remove the intruding material on Baoding Liu's credibility. — Preceding unsigned comment added by 93.156.32.168 (talk) 18:27, 16 March 2014 (UTC)[reply]

You are probably right. It is just being dumped here. I will just leave the entropy material there. SaundersLane (talk) 19:29, 2 November 2015 (UTC)[reply]

Is it just me or does the whole concept of fuzzy logic complete quackery? Isn't the entire assumption of this that there is definitively a right way and wrong way to do something in the universe. The universe meaning absolutely everything. Isn't kind of an obvious truth that reality is in the individual context not the everything ONE? If I call one person tall and you call that same person short. That doesn't mean there is a value between 1 and 0. It means that the value for me is 1 and the value for you is 0(or vice versa). I think cognitive science has to trump this. If you don't question fuzzy logic's legitimacy maybe you should read "The Psychology of Human-Computer Interaction" or better yet Unified Theories of Cognition by Allen Newell that outlines an architecture called SOAR. His work is much more consistent and universal than this fuzziness and actually has had profound practical applications for decades. Its basis is contradictory to the foundation of this page's subject matter. Fuzzy logic is just that...logic. Logically consistent does not mean it has truth beyond that in actual reality. I am even willing to call fuzzy logic a brilliant idea, but it should be written as pseudo math, not real math.

Also, why the heck is "fuzzy electronics" considered a branch of electronics? This is absurd!

Well, fuzzy logic seems to appeal to people who do not seem to know what you can do with measure theory, or, for that matter, curves that aren's straight lines.2A01:CB0C:CD:D800:D1B7:91BB:C98D:C0FC (talk) 08:30, 19 December 2022 (UTC)[reply]

What is Cr in the definition of fuzzy entropy?

Moreover, "a fuzzy variable with continuous membership function" is the same thing as a continuous function from ℝ to [0,1]?

Using Cr is another notation not defined here. See Xiang Li: Fuzzy cross-entropy, PDF. However there is an equal sign inside the Argument of Cr, not a greater-or-equal and I doubt if the latter is correct as it is given here. Cr { A=t } may appear to be the correct notation. --Moyalingde (talk) 23:14, 3 December 2017 (UTC)[reply]

Hello fellow Wikipedians,

I have just modified one external link on Fuzzy set. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

• Added archive https://web.archive.org/web/20080805071058/http://www.aaai.org/aitopics/pmwiki/pmwiki.php/AITopics/FuzzyLogic to http://www.aaai.org/aitopics/pmwiki/pmwiki.php/AITopics/FuzzyLogic

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

• If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
• If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 04:54, 9 October 2017 (UTC)[reply]