LOGICA DIFUSA

Dmaso Lpez Aragn

Introduccin
La lgica difusa tiene su origen en la dcada de los
60, en la Universidad de Berkeley - California, la
cual fue desarrollada por Lofti Zadeth a travs de
la teora de conjuntos difusos.
La lgica difusa surgi, como una generalizacin
de la lgica clsica, por el deseo de representar de
manera ms fiel la realidad.

Introduccin
En esta presentacin haremos explicaremos el
concepto de la lgica multivaluada de la lgica
difusa.
Primero haremos una introduccin acerca de los
conjuntos difusos, y las operaciones en ese tipo de
conjuntos. A continuacin, hablaremos sobre los
conjuntos disjuntos y finalizaremos con el tema de
inferencia y reglas difusas

Agenda
1. Logica Difusa
i. Concepto
ii. Caractersticas
iii. Ejemplo
iv. Lgica Clsica vs lgica difusa
2. Conjuntos difusos
3. Inferencia difusa

Lgica Difusa: Concepto

Lgica basada en la teora de conjuntos que
trata de imitar el comportamiento de la lgica
humana.
Se utiliza para representar la informacin
imprecisa, ambigua o vaga, para tomar
decisiones razonables en un entorno de
incertidumbre.

Lgica Difusa: Caractersticas

Representacin de la imprecisin en lenguaje
natural.
Utiliza conjuntos disjuntos, relaciones difusas,
variables difusas.
Estos elementos se combinan en el proceso de
inferencia. Este proceso es un conjunto de
pasos que pasa la informacin precisa a difusa
o viceversa.

Lgica Difusa: Concepto

Lgica Difusa: Caractersticas

Es una extensin de la lgica clsica; es una
lgica multivaluada.
Hace uso de aproximaciones matemticas en
la resolucin de ciertos problemas
Trata de producir resultados exactos a partir
de datos imprecisos

Lgica Difusa: Ejemplo

En la lgica clsica, el estado de una puerta es
abierta o falsa.
Puerta Abierta: true
Puerta Cerrada: false

Lgica Difusa: Ejemplo

Para la lgica Difusa establece que una puerta no
tiene que estar solo abierta o cerrada, podemos
encontrar otros estados:
Puerta abierta (1)
Puerta bastante abierta (0.8)
Puerta abierta a medias (0.5)
Puerta casi cerrada (0.1)
Una puerta est cerrada (0)

Lgica Difusa: Otros Ejemplos

Juan es ms alto que Pedro. El cuantificador
ms es difuso. El enfoque concreto: Juan
mide 1.80 m y Pedro mide 1.65 m
El porshe va mucho ms rpido que el
volskwagen. El cuantificador mucho ms es
difuso. El enfoque concreto: El porshe va a 150
km/h y el volkwagen va a 80 km/h.

Lgica Clsica vs Lgica Difusa

Lgica Clsica
Tiene dos valores:
verdadero o falso

Lgica Difusa
Tiene otros valores que
puede ser finitos o
infinitos
Predicados que forman Predicados difusos: casi,
parte del Universo que parcialmente, semi y no
no son difusos: abierto o difusos: abierto o
cerrado
cerrado

Lgica Clsica vs Lgica Difusa

Lgica Clsica
Lgica Difusa
Manejo de slo dos
Cuantificadores como
cuantificadores: todos y pocos, muchos,
algunos
frecuentemente, etc.
Uso de variables
lingsticas: viejo o
joven utilizando la
variable edad.

Lgica Clsica vs Lgica Difusa

Agenda
1. Logica Difusa

2. Conjuntos difusos
i. Definicin
ii. Funcin de pertenencia y membresa
iii. Variable difusa y lingstica
iv. Operaciones de conjuntos difusos
v. Relaciones difusas
3. Inferencia difusa

Conjuntos: Definicin
Es una reunin o agrupacin de elementos que
cumplen con una determinada condicin

B
= { / 5}

1
2
3
4
5

Conjuntos: Definicin
El conjunto clsico suele definirse:
Lista enumerada de nmeros
Definicin que determina si un elemento
pertenece o no.
Funcin de pertenencia.

Conjuntos: Ejemplo
El conjunto de nmeros reales mayor o igual a 5

= { / 5}

(4) =0
(7) =1

Conjunto Difuso: Concepto

Un conjunto difuso se caracteriza por una
funcin de pertenencia (x) que puede tomar
cualquier valor en el intervalo cerrado [0,1], es
decir, valores comprendidos entre 0 y 1

Conjunto Difuso: Ejemplo

Sea
el conjunto de temperaturas calientes
registradas en una caldera, podra definirse como:

c(T) =

0,
T-20
10
1,

si T 20;

si T > 30;

Conjunto Difuso
Los conjuntos disjuntos definidos sobre universos
discretos, se definen como un conjunto de tuplas
de la forma (elemento, funcin)

F = {(x, F(x)) | x U}
En el ejemplo anterior, las temperaturas calientes se encuentran
entre 19 a 31, tenemos:
C = {(19,0), (20,0), (21,0.1), (22,0.2), (23,0.3), (24,0.4), (25,0.5),
(26,0.6), (27,0.7), (28,0.8), (29,0.9), (30,1), (31,1)}

Notacin de Zadeh: Notacin difusa

Propone una notacin sobre universos discretos
F = F (x1)/x1 + F (x2)/x2 + F (x3)/x3 + + F (xn)/xn

Esta notacin se puede resumir

de esta manera:
Para conjuntos
notacin sera:

continuos,

F (x)/x

la

F (x)/x

Funcin de Pertenencia
Un conjunto difuso se define como una funcin
de pertenencia que empareja elementos del
Universo con elementos del intervalo [0, 1].

Funcin Singleton

Funcin Trapezoidal

Funcin Triangular

Funcin S

Funcin Gaussiana

Donde:
m es el valor medio de la campana de gauss
k es una constante dada mayor a 0 (k>0)

Funcin Pseudo-Exponencial

Donde:
m es el valor medio de la campana de gauss
k es una constante dada mayor a 0 (k>0)

Funcin de Membresa
Una funcin de membresa se define sobre
universos continuos, generalizando la notacin
de sumatoria con el smbolo

Funcin de
membresa
Notacin de
Zadeh

Variables Difusas
Universo de Discurso.
Es el conjunto de valores que puede tomar una
variable.
Por ejemplo, consideremos al conjunto de
personas de una comunidad; donde la
comunidad ser nuestro Universo. Este Universo
estar formado por personas jvenes, adultas,
altas, bajas, etc.

Variables Difusas
Una variable difusa es cualquier valor que est
basado en la percepcin humana, ms que en
valores precisos que se pueden medir.
Por ejemplo: si la persona es muy alta, si el
vehculo corre a excesiva velocidad.

Variables Difusas

Valores para la variable difusa velocidad

Variables Lingsticas
Un conjunto difuso se puede utilizar para
describir el valor de una variable.
Por ejemplo: Juan es una persona baja utiliza
el conjunto difuso bajo para describir el tamao
de la persona.
La variable tamao demuestra un concepto
importante en la lgica difusa: variable

lingstica.

Variables Lingsticas
Existen muchos descriptores lingsticos como
son: moderado, normal, alto, algo caliente, muy
bajo, medio normal, mas o menos alto, etc.
Uno de los conceptos importantes en la Lgica
Difusa es generar de un conjunto esencial de
trminos lingsticos (Conjunto Trmino)
utilizando modificadores (muy, mas o menos) y
conectivas (y, o).
En Lgica Difusa a dichos modificadores se les
denomina: Hedges

Variables Lingsticas
Si edad es una variable lingstica, entonces su
conjunto trmino R(edad) puede ser:

R (edad) =

joven, no joven, muy joven, no muy joven,

medio viejo, no medio viejo,
viejo, no viejo, muy viejo, mas o menos viejo,..
no muy joven y no muy viejo,

Operaciones entre conjuntos difusos

La SUMA ALGEBRAICA de dos
conjuntos difusos A y B es un conjunto
difuso A+B. Su funcin de pertenencia es:

(A+B) = (A) + (B) - (A)(B)

Operaciones entre conjuntos difusos

El PRODUCTO ALGEBRAICO de dos
conjuntos difusos A y B es otro conjunto
difuso A.B. Su funcin de pertenencia es:

(A+B) = (A).(B)

Operaciones entre conjuntos difusos

La POTENCIA de orden m de un
conjunto difuso A, es un conjunto difuso
cuya funcin de pertenencia es:

(Am) =[(A)]m

Operaciones entre conjuntos difusos

La UNION de conjuntos difusos A y B es
un conjunto difuso AUB en U cuya
funcin de pertenencia es:

AUB(x) ={x / max[A(x), B(x)]}

Operaciones entre conjuntos difusos

La INTERSECCION de conjuntos difusos
A y B es un conjunto difuso AB en U cuya
funcin de pertenencia es:

AB(x) = {x / min[A(x), B(x)]}

Operaciones entre conjuntos difusos

El COMPLEMENTO del conjunto difuso
de A es un conjunto difuso A en U cuya
funcin de pertenencia es:

A(x) = { x / [1 - A(x) ]}

Operaciones entre conjuntos difusos

Sea:

Donde A y B son conjuntos

Operaciones entre conjuntos difusos

AUB

AB

Relaciones difusas
Una relacin difusa es un conjunto difuso de
tuplas, donde cada tupla tiene un grado de
pertenencia entre 0 y 1.
La relacin difusa R(U,V) es un conjunto difuso
en el espacio producto UxV, se caracteriza porla
funcin de pertenencia r(x,y) donde x
pertenece a U e y pertenece a V.

R(U,V) ={((x,y), R(x,y))| (x,y) UxV}

Relaciones difusas
La funcin R de la relacin puede ser descrita por:
1,
si x = y;
0.8, si | x y | = 1;
0.3, si | x y | = 2

La tabla
matricial sera

Agenda
1. Logica Difusa
2. Conjuntos difusos

3. Inferencia difusa
i.
ii.
iii.
iv.

Reglas Difusas
Estructura
Inferencia utilizando lgica difusa
Ventajas y desventajas de los sistemas
de inferencias

Inferencia Difusa
Se llama REGLAS DIFUSAS al conjunto de
proposiciones IF THEN que modelan un
problema al que se quiere resolver.
Una regla difusa simple: Si x es A entonces y es B
A y B son conjuntos disjuntos definidos en los
rangos de x e y

Estructura de las Reglas Difusas

IF <antecedentes> THEN <consecuente>
El antecedente o premisa describe una
condicin, y el consecuente o conclusin
describe la conclusin
Ejemplo:
IF carretera est seca THEN manejar es seguro

Estructura de las Reglas Difusas

1. Varios antecedentes (condicin: rpido,
lento).
IF x is A AND y is B AND THEN z is C
2. Se clasifica en tres categoras el consecuente
de la regla difusa:
a) Consecuente Crisp: IF THEN y=a
donde a es valor numrico simblico

Estructura de las Reglas Difusas

2. Se clasifica en tres categoras el consecuente
de la regla difusa:
b) Consecuente Difuso: IF THEN y is A
donde A es conjunto difuso
c) Consecuente Funcional:
IF x1 es A1 AND x2 es A2 AND x3 es A3
THEN y=a0 + =1 x
Donde a0, a1, a2, an son constantes

Inferencia utilizando lgica difusa

La computacin usando inferencia basada en
lgica difusa se aplica en: sistemas expertos,
robtica y reconocimiento de patrones.
El sistema de inferencia difuso se le conoce
como: sistema difuso de reglas, sistema experto
difuso, controlador difuso, modelo difuso.

Inferencia utilizando lgica difusa

El sistema de inferencia difuso est conformado
por tres componentes:
Reglas difusas
Base de datos o Diccionario (funciones de
pertenencia)
Mecanismo de razonamiento: inferencias
Input

Reglas

Output

Inferencia utilizando lgica difusa

Los controladores manejan valores exactos
Velocidad

Controlador

Cantidad gasolina

Si el controlador usa lgica difusa, ser

necesario realizar alguna conversin

Inferencia utilizando lgica difusa

Al proceso de conversin a la lgica difusa y
viceversa, se le denomina fuzzuficacion y
defuzzificacion

Entrada
exacta

fuzzificador

Controlador
difuso

defuzzificador

Salida
exacta

Inferencia utilizando lgica difusa

El controlador de lgica difuso (Fuzzy Logic
Controller) utiliza reglas IF THEN en
conjunto con funciones de pertenencias difusas
para controlar el proceso y minimizar el error
del resultado.
Existen modelos de controlador difuso:
Mamdani
Sugeno o Takagi
Tsukamoto

Inferencia utilizando lgica difusa

El controlador de lgica difuso (DeFuzzy Logic
Controller) halla un nico valor para la salida
del sistema.
Aplica el mtodo de defuzzificacin
disponible
Lleva este valor de la salida de control a su
valor fsico real.

Ventajas de los Sistemas de Inferencias

La principal ventaja es su facilidad de
implementacin
Su modo de funcionamiento es similar al del
comportamiento humano
Forma rpida y econmica de resolver un
problema.
No se requiere conocer el modelo
matemtico que rige el funcionamiento del
sistema

Desventajas de los sistemas de inferencias

Se requiere un tiempo de aprendizaje para
obtener mejores resultados en redes
neuronales.
Ante modelos matemticos, no obtener
buenos resultados aplicando lgica difusa