Fuzzy set : definition of Fuzzy set and synonyms of Fuzzy set (English)

Fuzzy sets are sets whose elements have degrees of membership. Fuzzy sets were introduced simultaneously^[1] by Lotfi A. Zadeh^[2] and Dieter Klaua^[3] in 1965 as an extension of the classical notion of set. In classical set theory, the membership of elements in a set is assessed in binary terms according to a bivalent condition — an element either belongs or does not belong to the set. By contrast, fuzzy set theory permits the gradual assessment of the membership of elements in a set; this is described with the aid of a membership function valued in the real unit interval [0, 1]. Fuzzy sets generalize classical sets, since the indicator functions of classical sets are special cases of the membership functions of fuzzy sets, if the latter only take values 0 or 1.^[4] In fuzzy set theory, classical bivalent sets are usually called crisp sets. The fuzzy set theory can be used in a wide range of domains in which information is incomplete or imprecise, such as bioinformatics.^[5]

Fuzzy sets can be applied, for example, to the field of genealogical research. When an individual is searching in vital records such as birth records for possible ancestors, the researcher must contend with a number of issues that could be encapsulated in a membership function.^[6] Looking for an ancestor named John Henry Pittman, who you think was born in (probably eastern) Tennessee circa 1853 (based on statements of his age in later censuses, and a marriage record in Knoxville), what is the likelihood that a particular birth record for "John Pittman" is your John Pittman? What about a record in a different part of Tennessee for "J.H. Pittman" in 1851? (It has been suggested by Thayer Watkins^[7] that Zadeh's ethnicity is an example of a fuzzy set)

1 Definition
2 Fuzzy logic
3 Fuzzy number
4 Fuzzy interval
5 Fuzzy relation equation
6 See also
7 References
8 Further reading
9 External links

Definition

A fuzzy set is a pair $(U, m)$ where $U$ is a set and $m\colon U \rightarrow [0,1].$

For each $x\in U,$ the value $m(x)$ is called the grade of membership of $x$ in $(U,m).$ For a finite set $U=\{x_1,\dots,x_n\},$ the fuzzy set $(U, m)$ is often denoted by $\{m(x_1)/x_1,\dots,m(x_n)/x_n\}.$

Let $x \in U.$ Then $x$ is called not included in the fuzzy set $(U,m)$ if $m(x) = 0,$ $x$ is called fully included if $m(x) = 1,$ and $x$ is called a fuzzy member if $0 < m(x) < 1.$ ^[8] The set $\{x\in U\mid m(x)>0\}$ is called the support of $(U,m)$ and the set $\{x\in U\mid m(x)=1\}$ is called its kernel. The function $m$ is called the membership function of the fuzzy set $(U, m).$

Sometimes, more general variants of the notion of fuzzy set are used, with membership functions taking values in a (fixed or variable) algebra or structure $L$ of a given kind; usually it is required that $L$ be at least a poset or lattice. These are usually called L-fuzzy sets, to distinguish them from those valued over the unit interval. The usual membership functions with values in [0, 1] are then called [0, 1]-valued membership functions. These kinds of generalizations were first considered in 1967 by Joseph Goguen, who was a student of Zadeh.^[9]

Fuzzy logic

Main article: Fuzzy logic

As an extension of the case of multi-valued logic, valuations ( $\mu : \mathit{V}_o \to \mathit{W}$ ) of propositional variables ( $\mathit{V}_o$ ) into a set of membership degrees ( $\mathit{W}$ ) can be thought of as membership functions mapping predicates into fuzzy sets (or more formally, into an ordered set of fuzzy pairs, called a fuzzy relation). With these valuations, many-valued logic can be extended to allow for fuzzy premises from which graded conclusions may be drawn.^[10]

This extension is sometimes called "fuzzy logic in the narrow sense" as opposed to "fuzzy logic in the wider sense," which originated in the engineering fields of automated control and knowledge engineering, and which encompasses many topics involving fuzzy sets and "approximated reasoning."^[11]

Industrial applications of fuzzy sets in the context of "fuzzy logic in the wider sense" can be found at fuzzy logic.

Fuzzy number

Main article: Fuzzy number

A fuzzy number is a convex, normalized fuzzy set $\tilde{\mathit{A}}\subseteq\mathbb{R}$ whose membership function is at least segmentally continuous and has the functional value $\mu_{A}(x)=1$ at precisely one element.

This can be likened to the funfair game "guess your weight," where someone guesses the contestant's weight, with closer guesses being more correct, and where the guesser "wins" if he or she guesses near enough to the contestant's weight, with the actual weight being completely correct (mapping to 1 by the membership function).

Fuzzy interval

A fuzzy interval is an uncertain set $\tilde{\mathit{A}}\subseteq\mathbb{R}$ with a mean interval whose elements possess the membership function value $\mu_{A}(x)=1$ . As in fuzzy numbers, the membership function must be convex, normalized, at least segmentally continuous.^[12]

Fuzzy relation equation

The fuzzy relation equation is an equation of the form A · R = B, where A and B are fuzzy sets, R is a fuzzy relation, and A · R stands for the composition of A with R.

References

^ Michael Winter (2007). Goguen categories: a categorical approach to L-fuzzy relations. Springer. p. ix. ISBN 978-1-4020-6163-9. http://books.google.com/books?id=5wy_tope2VEC&pg=PR9.
^ L. A. Zadeh (1965) "Fuzzy sets". Information and Control 8 (3) 338–353.
^ Klaua, D. (1965) Über einen Ansatz zur mehrwertigen Mengenlehre. Monatsb. Deutsch. Akad. Wiss. Berlin 7, 859–876. A recent in-depth analysis of this paper has been provided by Gottwald, S. (2010). "An early approach toward graded identity and graded membership in set theory". Fuzzy Sets and Systems 161 (18): 2369–2379. DOI:10.1016/j.fss.2009.12.005. preprint edit
^ D. Dubois and H. Prade (1988) Fuzzy Sets and Systems. Academic Press, New York.
^ Lily R. Liang, Shiyong Lu, Xuena Wang, Yi Lu, Vinay Mandal, Dorrelyn Patacsil, and Deepak Kumar, “FM-test: A Fuzzy-Set-Theory-Based Approach to Differential Gene Expression Data Analysis”, BMC Bioinformatics, 7 (Suppl 4): S7. 2006.
^ H. Bandemer, "Fuzzy Local Inference in Fuzzy Knowledge Bases" in V. Novak, J. Ramik, M. Mares, M. Cerny, J. Nekola (eds.), Fuzzy Approach to Reasoning and Decision-Making, 1990, Bechyne, Czechoslovakia, 47-48. [1]
^ "Fuzzy Logic: The Logic of Fuzzy Sets"
^ AAAI http://www.aaai.org/aitopics/pmwiki/pmwiki.php/AITopics/FuzzyLogic
^ Goguen, Joseph A., 1967, "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18: 145–174
^ Siegfried Gottwald, 2001. A Treatise on Many-Valued Logics. Baldock, Hertfordshire, England: Research Studies Press Ltd., ISBN 978-0-86380-262-1
^ "The concept of a linguistic variable and its application to approximate reasoning," Information Sciences 8: 199–249, 301–357; 9: 43–80.
^ "Fuzzy sets as a basis for a theory of possibility," Fuzzy Sets and Systems 1: 3–28

External links

Uncertainty model Fuzziness
Fuzzy Systems Journal http://www.elsevier.com/wps/find/journaldescription.cws_home/505545/description#description
ScholarPedia [2]
The Algorithm of Fuzzy Analysis
Fuzzy Image Processing

Logic

Overview

Academic areas	Argumentation theory Axiology Critical thinking Computability theory Formal semantics History of logic Informal logic Logic in computer science Mathematical logic Mathematics Metalogic Metamathematics Model theory Philosophical logic Philosophy Philosophy of logic Philosophy of mathematics Proof theory Set theory

Foundational concepts	Abduction Analytic truth Antinomy A priori Deduction Definition Description Entailment Induction Inference Logical consequence Logical form Logical implication Logical truth Name Necessity Meaning Paradox Possible world Presupposition Probability Reason Reasoning Reference Semantics Statement Strict implication Substitution Syntax Truth Truth value Validity

Philosophical logic

Critical thinking and Informal logic	Analysis Ambiguity Argument Belief Bias Credibility Evidence Explanation Explanatory power Fact Fallacy Inquiry Opinion Parsimony Premise Propaganda Prudence Reasoning Relevance Rhetoric Rigor Vagueness

Theories of deduction	Constructivism Dialetheism Fictionalism Finitism Formalism Intuitionism Logical atomism Logicism Nominalism Platonic realism Pragmatism Realism

Metalogic and metamathematics

Cantor's theorem Church's theorem Church's thesis Consistency Effective method Foundations of mathematics Gödel's completeness theorem Gödel's incompleteness theorems Soundness Completeness Decidability Interpretation Löwenheim–Skolem theorem Metatheorem Satisfiability Independence Type–token distinction Use–mention distinction

Mathematical logic

General	Formal language Formation rule Formal system Deductive system Formal proof Formal semantics Well-formed formula Set Element Class Classical logic Axiom Natural deduction Rule of inference Relation Theorem Logical consequence Axiomatic system Type theory Symbol Syntax Theory

Traditional logic	Proposition Inference Argument Validity Cogency Syllogism Square of opposition Venn diagram

Propositional calculus and Boolean logic	Boolean functions Propositional calculus Propositional formula Logical connectives Truth tables

Predicate	First-order Quantifiers Predicate Second-order Monadic predicate calculus

Set theory	Set Empty set Enumeration Extensionality Finite set Function Subset Power set Countable set Recursive set Domain Range Ordered pair Uncountable set

Model theory	Model Interpretation Non-standard model Finite model theory Truth value Validity

Proof theory	Formal proof Deductive system Formal system Theorem Logical consequence Rule of inference Syntax

Computability theory	Recursion Recursive set Recursively enumerable set Decision problem Church–Turing thesis Computable function Primitive recursive function

Non-classical logic

Modal logic	Alethic Axiologic Deontic Doxastic Epistemic Temporal

Intuitionism	Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory

Fuzzy logic	Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations

Substructural logic	Structural rule Relevance logic Linear logic

Paraconsistent logic	Dialetheism

Description logic	Ontology Ontology language

Logicians

Anderson Aristotle Averroes Avicenna Bain Barwise Bernays Boole Boolos Cantor Carnap Church Chrysippus Curry De Morgan Frege Geach Gentzen Gödel Hilbert Kleene Kripke Leibniz Löwenheim Peano Peirce Putnam Quine Russell Schröder Scotus Skolem Smullyan Tarski Turing Whitehead William of Ockham Wittgenstein Zermelo

Lists

Topics	Outline of logic Index of logic articles Mathematical logic Boolean algebra Set theory

Other	Logicians Rules of inference Paradoxes Fallacies Logic symbols

Arabic (ar)	Bulgarian (bg)	Chinese (zh)	Czech (cs)
Danish (da)	Dutch (nl)	English (en)	Estonian (et)
Finnish (fi)	French (fr)	German (de)	Greek (el)
Hungarian (hu)	Italian (it)	Japanese (ja)	Korean (ko)
Norwegian (no)	Polish (pl)	Portuguese (pt)	Romanian (ro)
Russian (ru)	Serbian (sr)	Slovenian (sl)	Spanish (es)
Swedish (sv)	Turkish (tr)	Latvian (lv)	Persian (fa)
Lithuanian (lt)	Icelandic (is)	Slovak (sk)	Croatian (hr)
Hindi (hi)	Vietnamese (vi)	Hebrew (he)	Thai (th)
Indonesian (id)

Arabic (ar)	Bulgarian (bg)	Chinese (zh)	Czech (cs)
Danish (da)	Dutch (nl)	English (en)	Estonian (et)
Finnish (fi)	French (fr)	German (de)	Greek (el)
Hungarian (hu)	Italian (it)	Japanese (ja)	Korean (ko)
Norwegian (no)	Polish (pl)	Portuguese (pt)	Romanian (ro)
Russian (ru)	Serbian (sr)	Slovenian (sl)	Spanish (es)
Swedish (sv)	Turkish (tr)	Latvian (lv)	Persian (fa)
Lithuanian (lt)	Icelandic (is)	Slovak (sk)	Croatian (hr)
Hindi (hi)	Vietnamese (vi)	Hebrew (he)	Thai (th)
Indonesian (id)

Wikipedia

Fuzzy set

Contents