# Is Fuzzy Logic dead?

**URL:** <https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287>\
**Category:** Great Debates\
**Created:** [May 14, 2013, 2:53am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287 "2013-05-14T02:53:57Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![JWT\_Kottekoe](https://avatars.discourse-cdn.com/v4/letter/j/3ec8ea/32.png) [@JWT\_Kottekoe](https://boards.straightdope.com/u/JWT_Kottekoe)\
**Post date:** [May 14, 2013, 2:53am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/1 "2013-05-14T02:53:57Z")

</div>

What ever happened to “fuzzy logic.” It was all the rage in the early 1990’s. Japanese companies were building washing machines and bullet trains controlled by fuzzy logic. How much of this was hype? Are people still using fuzzy logic (aside from a few aging acolytes of Lotfi Zadeh)?

Wikipedia on [Fuzzy Logic](http://en.wikipedia.org/wiki/Fuzzy_logic)

---

<div class="post-metadata">

**Author:** ![Trinopus](https://avatars.discourse-cdn.com/v4/letter/t/2bfe46/32.png) [@Trinopus](https://boards.straightdope.com/u/Trinopus)\
**Post date:** [May 14, 2013, 4:50am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/2 "2013-05-14T04:50:03Z")

</div>

It’s still very damn useful as a metaphoric concept, at least!

Many of our common-sense sets do not have sharp edges. I mentioned the set of “chairs” in another thread. The central core of the set is obvious: office chairs and kitchen chairs and big overstuffed living room chairs. But farther out toward the boundaries of the set, the definitions are fuzzy. Is a chaise-longue a “chair?” Is a “rocking chair” a chair? How wide, exactly, does a “chair” get before it becomes a sofa?

And then there’s the real fringes: a wooden box with a cushion on top. Or (garish image!) a person on hands-and-knees, upon whom one might sit. Or a bar stool, with the seat removed: just a pylon. You _could_ sit on top of it. (Most uncomfortably.)

The idea of sets having “fuzzy boundaries” makes for a topology that more accurately reflects the way our language treats objects. The traditional Venn topology – an item either is or is not inside the set – doesn’t work as well in a universe full of gradations and spectra.

---

<div class="post-metadata">

**Author:** ![JWT\_Kottekoe](https://avatars.discourse-cdn.com/v4/letter/j/3ec8ea/32.png) [@JWT\_Kottekoe](https://boards.straightdope.com/u/JWT_Kottekoe)\
**Post date:** [May 14, 2013, 5:32am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/3 "2013-05-14T05:32:12Z")

</div>

Sure, but how does that allow us to build better electronic controllers? What attributes of a system make it a candidate for fuzzy control?

---

<div class="post-metadata">

**Author:** ![njtt](https://avatars.discourse-cdn.com/v4/letter/n/ecd19e/32.png) [@njtt](https://boards.straightdope.com/u/njtt)\
**Post date:** [May 14, 2013, 6:27am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/4 "2013-05-14T06:27:17Z")

</div>

> [@Trinopus](#):
>
> It’s still very damn useful as a metaphoric concept, at least!
> 
> Many of our common-sense sets do not have sharp edges. I mentioned the set of “chairs” in another thread. The central core of the set is obvious: office chairs and kitchen chairs and big overstuffed living room chairs. But farther out toward the boundaries of the set, the definitions are fuzzy. Is a chaise-longue a “chair?” Is a “rocking chair” a chair? How wide, exactly, does a “chair” get before it becomes a sofa?
> 
> And then there’s the real fringes: a wooden box with a cushion on top. Or (garish image!) a person on hands-and-knees, upon whom one might sit. Or a bar stool, with the seat removed: just a pylon. You _could_ sit on top of it. (Most uncomfortably.)
> 
> The idea of sets having “fuzzy boundaries” makes for a topology that more accurately reflects the way our language treats objects. The traditional Venn topology – an item either is or is not inside the set – doesn’t work as well in a universe full of gradations and spectra.

The thing is, this ws well known to anyone who had spent more than thirty seconds thinking about things long, long before Mr Zadeh dreamt up a new, cuddly name for it. Fuzzy logic was always very old wine in flimsy new bottles (or maybe in boxes).

---

<div class="post-metadata">

**Author:** ![Jragon](https://avatars.discourse-cdn.com/v4/letter/j/e19b73/32.png) [@Jragon](https://boards.straightdope.com/u/Jragon)\
**Post date:** [May 14, 2013, 6:50am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/5 "2013-05-14T06:50:54Z")

</div>

It’s still used somewhat in Machine Learning, but in my experience people tend to strongly prefer probability. There’s a very real bias that Fuzzy Logic is just probability in drag. The thing is, in reality they’re not mutually exclusive, and can be used in tandem – though to be honest, I’ve never tried similar problems with both of them to see if the math works out significantly differently (i.e. certainty that thing IS a ghost vs likeness to a ghost), but I find it useful for my own reasoning. The bias isn’t bad enough that you’ll get laughed out of the room for using it or proposing it as a solution to a problem, but most times I’ve suggested it as an elegant solution to a problem on a conceptual level I get a lot of “eh… too much trouble for little to no clear cut benefit” reaction.

ETA: Though I have gotten a group to agree to use it once and there were some blood wars over the definition of what constitutes “similarity” in some cases, on the order of ridiculousness as “well these things have at least SOME similarity, after all, they’re both matter!” 😃

---

<div class="post-metadata">

**Author:** ![barath\_s](https://avatars.discourse-cdn.com/v4/letter/b/90ced4/32.png) [@barath\_s](https://boards.straightdope.com/u/barath_s)\
**Post date:** [May 22, 2013, 3:52am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/6 "2013-05-22T03:52:30Z")

</div>

Just bought a couple of LG [washing machines](http://www.lg.com/in/washing-machines/lg-WF-T7519PR-top-loading-washing-machine)with fuzzy logic control over in India. (LG is Korean, rather than Japanese)

---

<div class="post-metadata">

**Author:** ![Mijin](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/mijin/32/9369_2.png) [@Mijin](https://boards.straightdope.com/u/Mijin)\
**Post date:** [May 22, 2013, 4:28am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/7 "2013-05-22T04:28:52Z")

</div>

Fuzzy logic is 63% dead, 52% alive and 76% undead.

---

<div class="post-metadata">

**Author:** ![BigT](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/bigt/32/12044_2.png) [@BigT](https://boards.straightdope.com/u/BigT)\
**Post date:** [May 23, 2013, 5:47am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/8 "2013-05-23T05:47:54Z")

</div>

> [@Jragon](#):
>
> ETA: Though I have gotten a group to agree to use it once and there were some blood wars over the definition of what constitutes “similarity” in some cases, on the order of ridiculousness as “well these things have at least SOME similarity, after all, they’re both matter!” 😃

I think you’ve just hit on the problem with fuzzy logic. There’s no way to objectively determine that an object is X% similar. There is a way to objectively determine that an object has an X% probability of being the same–you run multiple tests.

---

<div class="post-metadata">

**Author:** ![CalMeacham](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/calmeacham/32/35_2.png) [@CalMeacham](https://boards.straightdope.com/u/CalMeacham)\
**Post date:** [October 22, 2020, 5:50pm UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/10 "2020-10-22T17:50:23Z")

</div>

> [@Trinopus](#):
>
> Many of our common-sense sets do not have sharp edges. I mentioned the set of “chairs” in another thread. The central core of the set is obvious: office chairs and kitchen chairs and big overstuffed living room chairs. But farther out toward the boundaries of the set, the definitions are fuzzy. Is a chaise-longue a “chair?” Is a “rocking chair” a chair? How wide, exactly, does a “chair” get before it becomes a sofa?

> [@](#):
>
> This idea of uniqueness in all individuals is not only true of the classifications of material science; it is true, and still more evidently true, of the species of common thought, it is true of common terms. Take the word chair. When one says chair, one thinks vaguely of an average chair. But collect individual instances, think of armchairs and reading chairs, and dining-room chairs and kitchen chairs, chairs that pass into benches, chairs that cross the boundary and become settees, dentists’ chairs, thrones, opera stalls, seats of all sorts, those miraculous fungoid growths that cumber the floor of the Arts and Crafts Exhibition, and you will perceive what a lax bundle in fact is this simple straightforward term. In co-operation with an intelligent joiner I would undertake to defeat any definition of chair or chairishness that you gave me.

H.G. Wells **A Modern Utopia** (1905)

---

<div class="post-metadata">

**Author:** ![Voyager](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/voyager/32/133_2.png) [@Voyager](https://boards.straightdope.com/u/Voyager)\
**Post date:** [October 23, 2020, 5:14am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/11 "2020-10-23T05:14:35Z")

</div>

Three chairs for this late reply.

---

<div class="post-metadata">

**Author:** ![GIGObuster](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/gigobuster/32/421_2.png) [@GIGObuster](https://boards.straightdope.com/u/GIGObuster)\
**Post date:** [October 23, 2020, 5:33am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/12 "2020-10-23T05:33:39Z")

</div>

> [@Jragon](#):
>
> There’s a very real bias that Fuzzy Logic is just probability in drag

Stealing…

7 years late, but stealing it anyhow.

🙂

---

<div class="post-metadata">

**Author:** ![KarlGauss](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/karlgauss/32/3713_2.png) [@KarlGauss](https://boards.straightdope.com/u/KarlGauss)\
**Post date:** [October 23, 2020, 11:23pm UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/13 "2020-10-23T23:23:50Z")

</div>

Is fuzzy logic basically a ‘continuous’ multimodal logic, i.e. a logic with an infinite number of operators, or is it the ‘usual’ logic but with the truth values allowed to vary continuously between 0 and 1? How does it differ from continuous probability?

Thanks,

---

<div class="post-metadata">

**Author:** ![Trinopus](https://avatars.discourse-cdn.com/v4/letter/t/2bfe46/32.png) [@Trinopus](https://boards.straightdope.com/u/Trinopus)\
**Post date:** [October 23, 2020, 11:55pm UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/14 "2020-10-23T23:55:45Z")

</div>

It has some strong resemblances to probability, but it isn’t _quite_ the same. I’m not expert enough to give a better answer than that.

---

<div class="post-metadata">

**Author:** ![LSLGuy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/lslguy/32/5813_2.png) [@LSLGuy](https://boards.straightdope.com/u/LSLGuy)\
**Post date:** [October 24, 2020, 12:05am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/15 "2020-10-24T00:05:44Z")

</div>

> [@KarlGauss](#):
>
> … or is it the ‘usual’ logic but with the truth values allowed to vary continuously between 0 and 1? …

This.

> [@KarlGauss](#):
>
> … How does it differ from continuous probability?

The wiki cited in post #1 is decent. Here’s my favorite soundbite summary from that:

> Both degrees of truth and probabilities range between 0 and 1 and hence may seem similar at first, but fuzzy logic uses degrees of truth as a mathematical model of _vagueness_, while probability is a mathematical model of _ignorance_.

As argued elsewhere, there is some legitimate epistemological distinction here, but whether it amounts to a practical difference is increasingly evident to be “No”. Or at least not enough to matter.

---

<div class="post-metadata">

**Author:** ![Mijin](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/mijin/32/9369_2.png) [@Mijin](https://boards.straightdope.com/u/Mijin)\
**Post date:** [October 25, 2020, 12:06am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/16 "2020-10-25T00:06:05Z")

</div>

> [@njtt](#):
>
> The thing is, this ws well known to anyone who had spent more than thirty seconds thinking about things long, long before Mr Zadeh dreamt up a new, cuddly name for it.

I would dispute “well known”. Heck, you can still find plenty of instances of people claiming sorites paradox (which grain of sand marks the transition to a heap or whatever) is real and unsolved.

---

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [October 25, 2020, 12:25am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/17 "2020-10-25T00:25:55Z")

</div>

> [@Mijin](#):
>
> Heck, you can still find plenty of instances of people claiming sorites paradox (which grain of sand marks the transition to a heap or whatever) is real and unsolved.

I don’t understand this. The paradox is certainly real and is encountered in many places.

As to whether it’s solved, none of the resolutions given in [Sorites paradox](https://en.wikipedia.org/wiki/Sorites_paradox#Proposed_resolutions) rise to the level of solving the problem. They just try to get around it, unsatisfactorily. Unless you mean that Supervaluationism does, but I don’t understand that either.

---

<div class="post-metadata">

**Author:** ![KarlGauss](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/karlgauss/32/3713_2.png) [@KarlGauss](https://boards.straightdope.com/u/KarlGauss)\
**Post date:** [October 25, 2020, 2:20am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/18 "2020-10-25T02:20:49Z")

</div>

> [@Exapno\_Mapcase](#):
>
> As to whether it’s solved, none of the resolutions given in [Sorites paradox](https://en.wikipedia.org/wiki/Sorites_paradox#Proposed_resolutions) rise to the level of solving the problem. They just try to get around it, unsatisfactorily

Simply accepting that “[it is not true for all heaps of sand that removing one grain from it still makes a heap](https://en.wikipedia.org/wiki/Sorites_paradox#Proposed_resolutions)” gets around it fairly well, IMO. It reminds that the paradox arose because of unwarranted assumptions in much the same way that Russell’s paradox and similar conundrums involving self-reference can be avoided by clarifying your axioms and/or restricting what can be said about what (i.e. [classes](https://en.wikipedia.org/wiki/Class_(set_theory))). Although I admit it is not a terribly satisfying way out.

---

<div class="post-metadata">

**Author:** ![Mijin](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/mijin/32/9369_2.png) [@Mijin](https://boards.straightdope.com/u/Mijin)\
**Post date:** [October 25, 2020, 7:25am UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/19 "2020-10-25T07:25:45Z")

</div>

> [@Exapno\_Mapcase](#):
>
> As to whether it’s solved, none of the resolutions given in [Sorites paradox](https://en.wikipedia.org/wiki/Sorites_paradox#Proposed_resolutions) rise to the level of solving the problem. They just try to get around it, unsatisfactorily.

I will concede that since the wikipedia page doesn’t say it is solved, then there is no consensus that it has been solved. Thus I take back what I said previously.

However, I would maintain that IMO fuzzy logic _should_ basically put the issue to rest. It is not that any particular grain transitions a heap to non-heap or vice versa. It’s that each grain affects the “heap-ness” of the set. Like how making alterations to a seat can affect the “chair-ness” of it, in a non-binary way.  
And, when you ask a human whether a collection is a heap, or something is a chair, or a man is bald, there is something like a fuzzy collapse to decide which binary classification we’re going to approximate to, this time.

---

<div class="post-metadata">

**Author:** ![LSLGuy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/lslguy/32/5813_2.png) [@LSLGuy](https://boards.straightdope.com/u/LSLGuy)\
**Post date:** [October 25, 2020, 2:59pm UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/20 "2020-10-25T14:59:29Z")

</div>

Ref @Mijin & @KarlGauss. Exactly. The fault line is in the idea any collective class has a sharp boundary. Or more precisely, it’s in the idea that every collective class has a sharp boundary and so therefore e.g. heaps _must_ have such a boundary. When they self-evidently don’t.

Lots and lots of Ancient Greek logic foundered on the falsely excluded middle that they simply refused to acknowledge existed.

To the degree “fuzzy logic” by whatever name helps us avoid falsely excluding middle cases and searching vainly for bright lines in uniformly varying shades of gray, it performs a useful service. All the more so if it brings some logical or computational rigor to the discussion.

Whether Zadeh’s formulations and others’ subsequent work up that alley amount to that rigor is a different question. But at least he was talking about the problem.

---

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [October 25, 2020, 4:11pm UTC](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287/21 "2020-10-25T16:11:27Z")

</div>

I can accept “you’re looking at it wrong” as a resolution. That does have a long history of reworking problems.

n.b. I just realized that resolution is solution with a re- prefix. You’d think therefore that they are related words, but [etymonline.com](http://etymonline.com) shows that they have separate histories.

[Next page](https://boards.straightdope.com/t/is-fuzzy-logic-dead/658287.md?page=2)
