Skip to main content

Fuzzy Logic - Membership Function and Traditional Fuzzy Refresher

Fuzzy logic is not logic that is fuzzy but logic that is used to describe fuzziness. This fuzziness is best characterized by its membership function. In other words, we can say that membership function represents the degree of truth in fuzzy logic.

Membership Function

Following are a few important points relating to the membership function −

  • Membership functions were first introduced in 1965 by Lofti A. Zadeh in his first research paper “fuzzy sets”.

  • Membership functions characterize fuzziness (i.e., all the information in fuzzy set), whether the elements in fuzzy sets are discrete or continuous.

  • Membership functions can be defined as a technique to solve practical problems by experience rather than knowledge.

  • Membership functions are represented by graphical forms.

  • Rules for defining fuzziness are fuzzy too.

Mathematical Notation

We have already studied that a fuzzy set Ãƒ in the universe of information U can be defined as a set of ordered pairs and it can be represented mathematically as −

A~={(y,μA~(y))|yU}

Here Î¼A~() = membership function of A~; this assumes values in the range from 0 to 1, i.e., Î¼A~()[0,1]. The membership function Î¼A~() maps U to the membership spaceM.

The dot () in the membership function described above, represents the element in a fuzzy set; whether it is discrete or continuous.

Features of Membership Functions

We will now discuss the different features of Membership Functions.

Core

For any fuzzy set A~, the core of a membership function is that region of universe that is characterize by full membership in the set. Hence, core consists of all those elements y of the universe of information such that,

μA~(y)=1

Support

For any fuzzy set A~, the support of a membership function is the region of universe that is characterize by a nonzero membership in the set. Hence core consists of all those elements y of the universe of information such that,

μA~(y)>0

Boundary

For any fuzzy set A~, the boundary of a membership function is the region of universe that is characterized by a nonzero but incomplete membership in the set. Hence, core consists of all those elements y of the universe of information such that,

1>μA~(y)>0

Membership Functions Features

Fuzzification

It may be defined as the process of transforming a crisp set to a fuzzy set or a fuzzy set to fuzzier set. Basically, this operation translates accurate crisp input values into linguistic variables.

Following are the two important methods of fuzzification −

Support Fuzzification(s-fuzzification) Method

In this method, the fuzzified set can be expressed with the help of the following relation −

A~=μ1Q(x1)+μ2Q(x2)+...+μnQ(xn)

Here the fuzzy set Q(xi) is called as kernel of fuzzification. This method is implemented by keeping Î¼i constant and xi being transformed to a fuzzy set Q(xi).

Grade Fuzzification (g-fuzzification) Method

It is quite similar to the above method but the main difference is that it kept xi constant and Î¼i is expressed as a fuzzy set.

Defuzzification

It may be defined as the process of reducing a fuzzy set into a crisp set or to convert a fuzzy member into a crisp member.

We have already studied that the fuzzification process involves conversion from crisp quantities to fuzzy quantities. In a number of engineering applications, it is necessary to defuzzify the result or rather “fuzzy result” so that it must be converted to crisp result. Mathematically, the process of Defuzzification is also called “rounding it off”.

The different methods of Defuzzification are described below −

Max-Membership Method

This method is limited to peak output functions and also known as height method. Mathematically it can be represented as follows −

μA~(x)>μA~(x)forallxX

Here, x is the defuzzified output.

Centroid Method

This method is also known as the center of area or the center of gravity method. Mathematically, the defuzzified output x will be represented as −

x=μA~(x).xdxμA~(x).dx

Weighted Average Method

In this method, each membership function is weighted by its maximum membership value. Mathematically, the defuzzified output x will be represented as −

x=μA~(xi¯).xi¯Î¼A~(xi¯)

Mean-Max Membership

This method is also known as the middle of the maxima. Mathematically, the defuzzified output x will be represented as −

Logic, which was originally just the study of what distinguishes sound argument from unsound argument, has now developed into a powerful and rigorous system whereby true statements can be discovered, given other statements that are already known to be true.

Predicate Logic

This logic deals with predicates, which are propositions containing variables.

A predicate is an expression of one or more variables defined on some specific domain. A predicate with variables can be made a proposition by either assigning a value to the variable or by quantifying the variable.

Following are a few examples of predicates −

  • Let E(x, y) denote "x = y"
  • Let X(a, b, c) denote "a + b + c = 0"
  • Let M(x, y) denote "x is married to y"

Propositional Logic

A proposition is a collection of declarative statements that have either a truth value "true” or a truth value "false". A propositional consists of propositional variables and connectives. The propositional variables are dented by capital letters (A, B, etc). The connectives connect the propositional variables.

A few examples of Propositions are given below −

  • "Man is Mortal", it returns truth value “TRUE”
  • "12 + 9 = 3 – 2", it returns truth value “FALSE”

The following is not a Proposition −

  • "A is less than 2" − It is because unless we give a specific value of A, we cannot say whether the statement is true or false.

Connectives

In propositional logic, we use the following five connectives −

  • OR (∨∨)
  • AND (∧∧)
  • Negation/ NOT (¬¬)
  • Implication / if-then (→→)
  • If and only if (⇔⇔)

OR (∨∨)

The OR operation of two propositions A and B (written as A∨BA∨B) is true if at least any of the propositional variable A or B is true.

The truth table is as follows −

ABA ∨ B
TrueTrueTrue
TrueFalseTrue
FalseTrueTrue
FalseFalseFalse

AND (∧∧)

The AND operation of two propositions A and B (written as A∧BA∧B) is true if both the propositional variable A and B is true.

The truth table is as follows −

ABA ∧ B
TrueTrueTrue
TrueFalseFalse
FalseTrueFalse
FalseFalseFalse

Negation (¬¬)

The negation of a proposition A (written as ¬A¬A) is false when A is true and is true when A is false.

The truth table is as follows −

A¬A
TrueFalse
FalseTrue

Implication / if-then (→→)

An implication A→BA→B is the proposition “if A, then B”. It is false if A is true and B is false. The rest cases are true.

The truth table is as follows −

ABA→B
TrueTrueTrue
TrueFalseFalse
FalseTrueTrue
FalseFalseTrue

If and only if (⇔⇔)

A⇔BA⇔B is a bi-conditional logical connective which is true when p and q are same, i.e., both are false or both are true.

The truth table is as follows −

ABA⇔B
TrueTrueTrue
TrueFalseFalse
FalseTrueFalse
FalseFalseTrue

Well Formed Formula

Well Formed Formula (wff) is a predicate holding one of the following −

  • All propositional constants and propositional variables are wffs.
  • If x is a variable and Y is a wff, ∀xY and ∃xY are also wff.
  • Truth value and false values are wffs.
  • Each atomic formula is a wff.
  • All connectives connecting wffs are wffs.

Quantifiers

The variable of predicates is quantified by quantifiers. There are two types of quantifier in predicate logic −

  • Universal Quantifier
  • Existential Quantifier

Universal Quantifier

Universal quantifier states that the statements within its scope are true for every value of the specific variable. It is denoted by the symbol ∀.

∀xP(x) is read as for every value of x, P(x) is true.

Example − "Man is mortal" can be transformed into the propositional form ∀xP(x). Here, P(x) is the predicate which denotes that x is mortal and the universe of discourse is all men.

Existential Quantifier

Existential quantifier states that the statements within its scope are true for some values of the specific variable. It is denoted by the symbol ∃.

∃xP(x) for some values of x is read as, P(x) is true.

Example − "Some people are dishonest" can be transformed into the propositional form ∃x P(x) where P(x) is the predicate which denotes x is dishonest and the universe of discourse is some people.

Nested Quantifiers

If we use a quantifier that appears within the scope of another quantifier, it is called a nested quantifier.

Example

  • ∀ a∃bP(x,y) where P(a,b) denotes a+b = 0
  • ∀ a∀b∀cP(a,b,c) where P(a,b) denotes a+(b+c) = (a+b)+c

Note − ∀a∃bP(x,y) ≠ ∃a∀bP(x,y)




Anurag Rana

Comments

Popular posts from this blog

JAVA Scrollbar, MenuItem and Menu, PopupMenu

ava AWT Scrollbar The  object  of Scrollbar class is used to add horizontal and vertical scrollbar. Scrollbar is a  GUI  component allows us to see invisible number of rows and columns. AWT Scrollbar class declaration public   class  Scrollbar  extends  Component  implements  Adjustable, Accessible   Java AWT Scrollbar Example import  java.awt.*;   class  ScrollbarExample{   ScrollbarExample(){               Frame f=  new  Frame( "Scrollbar Example" );               Scrollbar s= new  Scrollbar();               s.setBounds( 100 , 100 ,  50 , 100 );               f.add(s);   ...

Difference between net platform and dot net framework...

Difference between net platform and dot net framework... .net platform supports programming languages that are .net compatible. It is the platform using which we can build and develop the applications. .net framework is the engine inside the .net platform which actually compiles and produces the executable code. .net framework contains CLR(Common Language Runtime) and FCL(Framework Class Library) using which it produces the platform independent codes. What is the .NET Framework? The Microsoft .NET Framework is a platform for building, deploying, and running Web Services and applications. It provides a highly productive, standards-based, multi-language environment for integrating existing investments with next-generation applications and services as well as the agility to solve the challenges of deployment and operation of Internet-scale applications. The .NET Framework consists of three main parts: the common language runtime, a hierarchical set of unified class librari...

Standard and Formatted Input / Output in C++

The C++ standard libraries provide an extensive set of input/output capabilities which we will see in subsequent chapters. This chapter will discuss very basic and most common I/O operations required for C++ programming. C++ I/O occurs in streams, which are sequences of bytes. If bytes flow from a device like a keyboard, a disk drive, or a network connection etc. to main memory, this is called   input operation   and if bytes flow from main memory to a device like a display screen, a printer, a disk drive, or a network connection, etc., this is called   output operation . Standard Input and Output in C++ is done through the use of  streams . Streams are generic places to send or receive data. In C++, I/O is done through classes and objects defined in the header file  <iostream> .  iostream  stands for standard input-output stream. This header file contains definitions to objects like  cin ,  cout , etc. /O Library Header Files There are...