Vague set

In mathematics, vague sets are an extension of fuzzy sets.

In a fuzzy set, each object is assigned a single value in the interval [0,1] reflecting its grade of membership. This single value does not allow a separation of evidence for membership and evidence against membership.

Gau et al.^[1] proposed the notion of vague sets, where each object is characterized by two different membership functions: a true membership function and a false membership function. This kind of reasoning is also called interval membership, as opposed to point membership in the context of fuzzy sets.

Mathematical definition

A vague set $V$ is characterized by

its true membership function $t_{v}(x)$
its false membership function $f_{v}(x)$
with $0\leq t_{v}(x)+f_{v}(x)\leq 1$

The grade of membership for x is not a crisp value anymore, but can be located in $[t_{v}(x),1-f_{v}(x)]$ . This interval can be interpreted as an extension to the fuzzy membership function. The vague set degrades to a fuzzy set, if $1-f_{v}(x)=t_{v}(x)$ for all x. The uncertainty of x is the difference between the upper and lower bounds of the membership interval; it can be computed as $(1-f_{v}(x))-t_{v}(x)$ .

References

↑ "Vague sets".

External links

Vague Sets

Logic

Fields

Foundations

Lists

topics	Mathematical logic Boolean algebra Set theory

other	Logicians Rules of inference Paradoxes Fallacies Logic symbols

Portal
Category
WikiProject (talk)
changes

Set theory

Axioms	Choice countable dependent Constructibility (V=L) Determinacy Extensionality Infinity Pairing Power set Regularity Union Martin's axiom Axiom schema replacement specification

Operations	Cartesian product Complement De Morgan's laws Disjoint union Intersection Power set Set difference Symmetric difference Union

Concepts Methods	Cardinality Cardinal number (large) Class Constructible universe Continuum hypothesis Diagonal argument Element ordered pair tuple Family Forcing One-to-one correspondence Ordinal number Transfinite induction Venn diagram

Set types	Countable Empty Finite (hereditarily) Fuzzy Infinite Recursive Subset · Superset Transitive Uncountable Universal

Theories	Alternative Axiomatic Naive Cantor's theorem Zermelo General Principia Mathematica New Foundations Zermelo–Fraenkel von Neumann–Bernays–Gödel Morse–Kelley Kripke–Platek Tarski–Grothendieck

Paradoxes Problems	Russell's paradox Suslin's problem

Set theorists	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Paul Bernays Paul Cohen Richard Dedekind Thomas Jech Thoralf Skolem Willard Quine

This article is issued from Wikipedia - version of the 5/30/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.