Lably
Skip to content

Fuzzy concept

Varying application boundaries

  • 88 min read
  • 16 chapters

Related on Lably

Through Semantics, Artificial intelligence and Humidity

Although the linguist George Philip Lakoff already defined the semantics of a fuzzy concept in 1973 (inspired by an unpublished 1971 paper by Eleanor Rosch,) the term "fuzzy concept" rarely received a standalone entry in dictionaries, handbooks and encyclopedias. Sometimes it was defined in encyclopedia articles on fuzzy logic, or it was simply equated with a mathematical “fuzzy set”. A fuzzy concept can be "fuzzy" for many different reasons in different contexts. This makes it harder to provide a precise definition that covers all cases. Paradoxically, the definition of fuzzy concepts may itself be somewhat "fuzzy". Lotfi A. Zadeh, known as "the father of fuzzy logic", claimed that "vagueness connotes insufficient specificity, whereas fuzziness connotes unsharpness of class boundaries". Not all scholars agree.

With increasing academic literature on the subject, the term "fuzzy concept" is now more widely recognized as a philosophical, linguistic or scientific category, and the study of the characteristics of fuzzy concepts and fuzzy language is known as fuzzy semantics. “Fuzzy logic” has become a generic term for many different kinds of many-valued logics, and is applied in many different areas of research, computer programming and industrial design.

For engineers, "Fuzziness is imprecision or vagueness of definition." For computer scientists, a fuzzy concept is an idea which is "to an extent applicable" in a situation. It means that the concept can have gradations of significance or unsharp (variable) boundaries of application — a "fuzzy statement" is a statement which is true "to some extent", and that extent can often be represented by a scaled value (a score). For mathematicians, a "fuzzy concept" is usually a fuzzy set or a combination of such sets (see fuzzy mathematics and fuzzy set theory). In cognitive linguistics, the things that belong to a "fuzzy category" exhibit gradations of family resemblance, and the borders of the category are not clearly defined.

Through most of the 20th century, the idea of reasoning with fuzzy concepts faced considerable resistance from Western academic elites. They did not want to endorse the use of imprecise concepts in research or argumentation, and they often regarded fuzzy logic with suspicion, derision or even hostility. That may partly explain why the idea of a "fuzzy concept" did not get a separate entry in encyclopedias, handbooks and dictionaries.

Yet although people might not be aware of it, the use of fuzzy concepts has risen gigantically in all walks of life from the 1970s onward. That is mainly due to advances in electronic engineering, fuzzy mathematics and digital computer programming. The new technology allows very complex inferences about "variations on a theme" to be anticipated and fixed in a program. The Perseverance Mars rover, a driverless NASA vehicle used to explore the Jezero crater on the planet Mars, features fuzzy logic programming that steers it through rough terrain. Similarly, to the North, the Chinese Mars rover Zhurong used fuzzy logic algorithms to calculate its travel route in Utopia Planitia from sensor data.

New neuro-fuzzy computational methods make it possible for machines to identify, measure, adjust and respond to fine gradations of significance with great precision. It means that practically useful concepts can be coded, sharply defined, and applied to all kinds of tasks, even if ordinarily these concepts are never exactly defined. Nowadays engineers, statisticians and programmers often represent fuzzy concepts mathematically, using fuzzy logic, fuzzy values, fuzzy variables and fuzzy sets (see also fuzzy set theory). Fuzzy logic is not "woolly thinking", but a "precise logic of imprecision" which reasons with graded concepts and gradations of truth. Fuzzy concepts and fuzzy logic often play a significant role in artificial intelligence programming, for example because they can model human cognitive processes more easily than other methods.

Origins

Vagueness and fuzziness have probably always been a part of human experience. In the West, ancient texts show that philosophers and scientists were already thinking critically about this in classical antiquity. Most often, they regarded vagueness as a problem: as an obstacle to clear thinking, as a source of confusion, or as an evasive tactic. It got in the way of providing clear orientation, guidance, direction and leadership. Therefore, vagueness became associated with a hermeneutic of suspicion — it was considered as something to avoid, as something undesirable. By contrast, in the ancient Chinese tradition of Daoist thought of Laozi and Zhuang Zhou, "vagueness is not regarded with suspicion, but is simply an acknowledged characteristic of the world around us" — a subject for meditation and a source of insight.

Sorites paradox

The ancient Sorites paradox raised the logical problem, of how we could exactly define the threshold at which a change in quantitative gradation turns into a qualitative or categorical difference. With some physical processes, this threshold seems relatively easy to identify. For example, water turns into steam at 100 °C or 212 °F. Of course, the boiling point depends partly on atmospheric pressure, which decreases at higher altitudes; it is also affected by the level of humidity — in that sense, the boiling point is "somewhat fuzzy", because it can vary under different conditions. Nevertheless, for every altitude, level of air pressure and degree of humidity, we can predict accurately what the boiling point will be, if we know the relevant conditions.

With many other processes and gradations, however, the point of change is much more difficult to locate, and remains somewhat vague. Thus, the boundaries between qualitatively different things may be unsharp: we know that there are boundaries, but we cannot define them exactly. For example, to identify "the oldest city in the world", we have to define what counts as a city, and at what point a growing human settlement becomes a city.

The continuum fallacy and Loki's wager

According to the modern idea of the continuum fallacy, the fact that a statement is to an extent vague, does not automatically mean that it has no validity. The question then arises, of how (by what method or approach) we could ascertain and define the validity that the fuzzy statement does have.

The Nordic myth of Loki's wager suggested that concepts that lack precise meanings or lack precise boundaries of application cannot be operated with, because they evade any clear definition. However, the 20th-century idea of "fuzzy concepts" proposes that "somewhat vague terms" can be operated with, because we can explicate and define the variability of their application — by assigning numbers to gradations of applicability. This idea sounds simple enough, but it had large implications.

Precursors and pioneers

In Western civilization, the intellectual recognition of fuzzy concepts has been traced back to a diversity of famous and less well-known thinkers, including (among many others) Eubulides, Epicurus, Plato, Cicero, William Ockham and John Buridan, Georg Wilhelm Friedrich Hegel, Karl Marx and Friedrich Engels, Friedrich Nietzsche, William James, Hugh MacColl, Charles S. Peirce, Hans Reichenbach, Carl Gustav Hempel, Max Black, Arto Salomaa, Ludwig Wittgenstein, Jan Łukasiewicz, Emil Leon Post, Alfred Tarski, Georg Cantor, Nicolai A. Vasiliev, Kurt Gödel, Stanisław Jaśkowski, Willard Van Orman Quine, George J. Klir, Petr Hájek, Joseph Goguen, Ronald R. Yager, Enrique Héctor Ruspini, Jan Pavelka, Didier Dubois, Bernadette Bouchon-Meunier, and Donald Knuth.

Across at least two and a half millennia, all of them had something to say about graded concepts with unsharp boundaries. This suggests at least that the awareness of the existence of concepts with "fuzzy" characteristics, in one form or another, has a very long history in human thought. Quite a few 20th century logicians, mathematicians and philosophers also tried to analyze the characteristics of fuzzy concepts as a recognized species, sometimes with the aid of some kind of many-valued logic or substructural logic.

An early attempt in the post-WW2 era to create a mathematical theory of sets with gradations of set membership was made by Abraham Kaplan and Hermann F. Schott in 1951. They intended to apply the idea to empirical research. Kaplan and Schott expressed the degree of membership of empirical classes using real numbers between 0 and 1, and they defined corresponding notions of intersection, union, complementation and subset. However, at the time, their idea "fell on stony ground". J. Barkley Rosser Sr. published a treatise on many-valued logics in 1952, anticipating "many-valued sets". Another treatise was published in 1963 by Alexander Zinoviev and others.

In 1964, the American philosopher William Alston introduced the term "degree vagueness" to describe vagueness in an idea that results from the absence of a definite cut-off point along an implied scale (in contrast to "combinatory vagueness" caused by a term that has a number of logically independent conditions of application).

The German mathematician Dieter Klaua published a German-language paper on fuzzy sets in 1965, but he used a different terminology (he referred to "many-valued sets", not "fuzzy sets").

In the late 1960s, two popular introductions to many-valued logic were published by Robert J. Ackermann and Nicholas Rescher. Rescher's book includes a bibliography on fuzzy theory up to 1965, which was extended by Robert Wolf and Joseph De Kerf for 1966–1975. Haack provides references to significant works after 1974. In 1980, Didier Dubois and Henri Prade published a detailed annotated bibliography on the field of fuzzy set theory. George J. Klir and Bo Yuan provided an overview of the subject in Fuzzy sets and fuzzy logic during the mid-1990s. Merrie Bergmann provides a more recent (2008) introduction to fuzzy reasoning. A standard modern reference work is Fuzzy Logic and Mathematics: A Historical Perspective (2017) by Radim Bělohlávek, Joseph W. Dauben and George J. Klir.

Lotfi Zadeh's discovery

The Azerbaijani-born American computer scientist Lotfi A. Zadeh (1921–2017) is usually credited with inventing the specific idea of a "fuzzy concept" in his seminal 1965 paper on fuzzy sets, because he presented a mathematical formalization of the phenomenon that was widely accepted by scholars. The genesis of Zadeh's discovery has been described as follows:

“As early as 1961, Lotfi and his colleague began writing about the need for some sort of “fuzzy” mathematics to help translate fuzzy human concepts into the concrete instructions computers need. One fateful night in 1964, those fuzzy notions crystalized. Lotfi had plans with friends for dinner that night [in New York], but at the last minute, those plans fell through. As he made his way home, he figured out the critical missing piece for fuzzy math: the idea that things can have a grade of membership to some concept. Say, for instance, whether one is included in a dinner plan, or not.”

In reality, Zadeh did not literally use the expression "fuzzy concept" anywhere in his famous paper. Instead, he explained the concept of a fuzzy set and its formalization (the paper is simply titled "Fuzzy sets"). However, the terms "fuzzy concept" and "fuzzy set" are often treated by engineers and computer scientists as interchangeable expressions. Subsequently, Zadeh played a decisive role in developing the field of fuzzy logic, fuzzy sets and fuzzy systems, with a large number of influential scholarly papers.

Unlike most philosophical theories of vagueness and unlike rival theories of many-valued logic, Zadeh's engineering approach had the great advantage that it could be directly applied to computer programming. Zadeh's seminal 1965 paper is acknowledged to be one of the most-cited scholarly articles in the 20th century. In 2014, it was placed 46th in the list of the world's 100 most-cited research papers of all time. Zadeh's peers called him "one of the most prominent computer scientists of all-time". Since the mid-1960s, many scholars have contributed to elaborating the theory of reasoning with graded concepts, and the research field continues to expand; new methods and applications of fuzzy logic are being invented all the time.

Sign in to keep reading

15 more chapters are free with a Lably account.

More in Psychology