INGENIERA DE SISTEMAS

LGICA DIFUSA

Tema: FUZZY LOGIC CON TOOLBOX DEL MATLAB

1
LGICA DIFUSA EN LA INVESTIGACIN
SISTEMAS INTELIGENTES(SI)
 mide mas de 1.80 m
pero si QU ES LGICA DIFUSA?
la persona
mide 1.7999 m. Se
puede considerar
alta?
Respuesta: Si en
lgica difusa.
Esta consideracin no
existe en la lgica
tradicional que utiliza
demarcaciones
estrictas para
determinar
pertenencia en
conjuntos.
Ejemplo: A es el
conjunto de personas
 Definicin: La
LGICA DIFUSA lgica
difusa es definida como
un sistema matemtico
que modela funciones
no lineales, que
convierte unas entradas
en salidas acordes con
los planteamientos
lgicas que usan el
razonamiento
 La Lgica Fuzzy es una
LGICA DIFUSA
de las herramientas de
la inteligencia artificial
que utiliza la
experiencia del ser
humano para generar
un razonamiento que
permite la toma de
decisiones. Mediante
esta herramienta se
puede representar un
sistema de gestin a
travs de un modelo
matemtico no-lineal,
para ello se hace uso de
variables lingsticas y
una serie de
 La Lgica Fuzzy tambin
LGICA DIFUSA es conocida
como Lgica Difusa o Lgica Borrosa,
y se basa en lo relativo de lo
observado. En la lgica clsica
(binaria o booleana) se tiene solo
dos estados posibles: verdadero y
falso (1 0). En cambio en la lgica
Difusa se asigna valores intermedios
dentro de una escala a fin de
cuantificar una incertidumbre. Por
ejemplo segn la lgica clsica solo
podemos definir la temperatura
como fra y como caliente,
segn la lgica difusa podemos
asignar infinitos valores intermedios
como poco fra, templada,
puede ser
representado LGICA DIFUSA
matemticament
e utilizando
tcnicas de
identificacin y
parametrizacin
de sistemas,
dando lugar a un
modelo
matemtico,
cuyo
comportamiento
puede ser
simulado y
analizado
 La Lgica Fuzzy utiliza la
experiencia LGICA
del serDIFUSA
humano para
generar un conjunto de normas
que permitan seguir una lgica
de razonamiento, puede
representar el modelo
matemtico de un sistema
mediante el uso de variables
lingsticas y una serie de
condiciones o reglas
previamente definidas, sus
algoritmos (reglas) hacen uso
de instrucciones IFTHEN (SI
ENTONCES), por ejemplo: SI hay
Lingstica:
ELEMENTOSSon
DE LGICA DIFUSA
variables
evaluadas en un
lenguaje natural y
no corresponden a
un valor numrico
exacto. Las
variables
lingsticas pueden
descomponerse en
trminos
lingsticos. Ej.
temperatura,
conducta, posicin,
 VARIABLES LINGISTICAS

Son variables cuyos valores son palabras fcil del

lenguaje natural.
 Universo de Discusin:
ELEMENTOS DE LGICA DIFUSA
Es el rango de toda la
informacin necesaria
para el
comportamiento
correcto de un sistema.
Por ejemplo,
temperatura en
rango de 5 a 100 C;
rentabilidad en
rango de 10% a 33%,
los sub-conjuntos
ELEMENTOS DE LGICA DIFUSA
o las partes que
puede dividirse
una variable
lingstica. Por
ejemplo para la
variable
tamao se
puede tener los
trminos: alto,
medio, bajo; para
la variable
margen de
utilidad se
puede tener los
trminos:
Difusos: Son
formas ELEMENTOS DE LGICA DIFUSA
geomtricas que
representan una
funcin generada
por un trmino
lingstico. Ellas
elaborarn una
salida intermedia
en el sistema
difuso. Pueden
ser: tringulos,
cuadrados,
trapecios,
Membresa: LaDE LGICA DIFUSA
ELEMENTOS
funcin de
membresa es la
agrupacin de
conjuntos
difusos
correspondiente
s a una sola
variable
lingstica,
asociada a su
grado de
pertenencia o
membresa
 ELEMENTOS DE LGICA DIFUSA
Fuzzificacin:
La fuzzificacin es el
proceso realizado para
convertir un valor
tradicional lgico, binario,
decimal, y/o exacto, en un
valor o cantidad difusa.
proceso ELEMENTOS o DE LGICA DIFUSA
metodologa que
se realiza para
evaluar las
normas, dado un
conjunto de
reglas
(instrucciones SI
ENTONCES) se
deben permitir
determinar un
resultado.
Permite operar
con conjuntos:
Unin (OR),
Interseccin
PROCESO DE INFERENCIA
 Defuzzificaci
ELEMENTOS DE LGICA DIFUSA
n: Es el
proceso
inverso que
el de la
fuzzificacin,
es decir, es la
accin de
convertir un
valor difuso
en un valor
exacto.
 AsumiendoCONJUNTO que XDIFUSO
es un conjunto,
un conjunto
difuso A en X es
asociado a una
funcin
caractersticaA (x)

( x) : X 0 ,1
donde
A

La funcin
caracterstica es
tpicamente
denominada
SOFTWARE MATLAB
 SOFTWARE MATLAB

Links del software

http://www.mathworks.com/product
s/matlab
/
 Es FuzzyLogicToolbox
una de
de MATLAB las

Herramientas de
Matlab, que
desarrolla programas
de lgica difusa, es
decir basndose en
grados de
pertenencia, obtener
respuestas de varios
SISTEMA DE CONTROLES
MTODO DE INFERENCIA DIFUSA
MTODO DE INFERENCIA DE MANDANI
 MTODO DE INFERENCIA DE MANDANI

La entrada de un sistema de lgica difusa tipo

Mamdani normalmente es un valor numrico
proveniente, por ejemplo, de un sensor; para que
este valor pueda ser procesado por el sistema
difuso se hace necesario convertirlo a un
"lenguaje" que el mecanismos de inferencia
pueda procesar. Esta es la funcin del
fuzzificador, que toma los valores numricos
provenientes del exterior y los convierte en
valores "difusos" que pueden ser procesados por
el mecanismo de inferencia. Estos valores difusos
son los niveles de pertenencia de los valores de
entrada a los diferentes conjuntos difusos en los
cuales se ha dividido el universo de discurso de
las diferentes variables de entrada al sistema.
 REGLAS DIFUSAS

La base de reglas son la manera que tiene el

sistema difuso de guardar el conocimiento
lingstico que le permiten resolver el problema
para el cual ha sido diseado. Estas reglas son del
tipo IF-THEN.
Una regla de la base de reglas o base de
conocimiento tiene dos partes, el antecedente y
la conclusin como se observa en la siguiente
figura:

En un sistema difuso tipo Mamdani tanto el

antecedente como el consecuente de las reglas
 DEFUZZIFICADOR

La salida que genera el mecanismo de

inferencia es una salida difusa, lo cual
significa que no puede ser interpretada por
un elemento externo (por ejemplo un
controlador) que solo manipule informacin
numrica. Para lograr que la salida del
sistema difuso pueda ser interpretada por
elementos que solo procesen informacin
numrica, hay que convertir la salida difusa
del mecanismos de inferencia; este proceso
lo realiza el fuzzificador.
La salida del mecanismo de inferencia es un
conjunto difuso resultante, para generar la
salida numrica a partir de este conjuntos
 DEFUZZIFICADOR

b (i ) i
y i
Centro de gravedad
(i )
i

b i premisa (i )
y i
Centros Pr omediados
i
premisa (i )
MTODO DE INFERENCIA DE SUGENO
 MTODO DE INFERENCIA DE SUGENO

w1 y1 f ( x1 , x 2 ) w1 y1 w2 y 2
y
w2 y 2 f ( x1 , x 2 ) w1 w2
 FUNCIONES DE PERTENENCIA

Definicin:una funcin de pertenencia de

un conjunto borroso A sobre un universo de
discurso X es de la forma A:X [0,1],
donde a cada elemento de X le corresponde
un valor entre 0 y 1. Este valor, llamado
valor de pertenencia o grado de
pertenencia, representa el grado en el que
el
Laselemento
funciones de
de X pertenecenos
pertenencia al permiten
conjunto
borroso A.
representar grficamente un conjunto
borroso. En el eje x (abscisas) se
representa el universo de discurso, mientras
que en el eje y (ordenadas) se sitan los
grados de pertenencia en el intervalo [0,1].
 FUNCIONES DE PERTENENCIA

Las funciones de pertenencia son una

forma de representar grficamente un
conjunto borroso sobre un universo
 FUNCION TRIANGULAR
Definida mediante el lmite inferiora, el
superiorby el valor modalm, tal quea<m<b.
La funcin no tiene porqu ser simtrica.

0 ; Si x a
xa ; Si a x m
ma
A ( x)

b x
bm ; Si m x b
0 ; Si x b

 FUNCION TRAPEZOIDAL
Definida por sus lmites inferior a, superior d, y los lmites de
soporte inferior b y superior c, tal que a<b<c<d.
En este caso, si los valores de b y c son iguales, se obtiene
una funcin triangular.

0 ; Si ( x a) ( x d )
x a
ba ; Si a x b
A ( x)
1 ; Si b x c
d x
; Si c x d
d c
 FUNCION TRAPEZOIDAL PARTICULAR 1
Hombro Izquierdo
Definida por sus lmites inferior a=-, superior d, y los lmites
de soporte inferior b=-, y superior c, tal que c<d.

0 ; Si x d
d x
A ( x) d c ; Si c x d
1 ; Si x c

 FUNCION TRAPEZOIDAL PARTICULAR 2
Hombro Derecho
Definida por sus lmites inferior a, superior d=+, y los lmites
de soporte inferior b y superior c=+, tal que a<b.

0 ; Si x a
x a
A ( x) ba ; Si a x b
1 ; Si x b

 FUNCION GAMMA 1

Definida por su lmite inferioray el valork>0.

Esta funcin se caracteriza por un rpido
crecimiento a partir dea; cuanto mayor es el
valor dek, el crecimiento es ms rpido.
Nunca toma el valor A(x) = 1, aunque tienen
una asntota horizontal en dicho valor.

0 ; Si x a
A ( x) k ( xa )2
1 e ; Si x a
 FUNCION GAMMA 2
Definida por su lmite inferioray el valork>0.
Esta funcin se caracteriza por un rpido
crecimiento a partir dea; cuanto mayor es el
valor dek, el crecimiento es ms rpido.
Nunca toma el valor A(x) = 1, aunque tienen
una asntota horizontal en dicho valor.

0 ; Si x a

A ( x) k ( x a) 2
1 k ( x a) 2 ; Si x a

 FUNCION SIGMOIDAL

Definida por sus lmites inferiora, superiorby

el valormo punto de inflexin, tales
quea<m<b.
El crecimiento es ms lento cuanto mayor sea
la distanciaa-b. Para el caso concreto
dem=(a+b)/2, que es lo usual, se obtiene la
0
siguiente grfica. ; Si x a

2
xa 2
ba ; Si a x m
A ( x)
1 2 ; Si m x b
x b 2
ba
1 ; Si x b

 FUNCION GAUSEANA 1

Definida por su valor mediomy el

parmetrok>0.
Esta funcin es la tpica campana de Gauss y
cuanto mayor es el valor dek, ms estrecha
es dicha campana.

2
k ( xm)
A ( x) e
 FUNCION GAUSEANA 2

Definida por su valor mediomy el

parmetrok>0.
Esta funcin es la tpica campana de Gauss y
cuanto mayor es el valor dek, ms estrecha
es dicha campana.
2
( xm)

A ( x) e
2
2k
 FUNCION PSEUDO EXPONENCIAL
Definida por el valor mediomy el
parmetrok>1.
Cuanto mayor es el valor dek, el
crecimiento es ms rpido y la campana es
ms estrecha.

1
A ( x)
1 k ( x m) 2
 OPERACIONES CON CONJUNTOS DIFUSOS

UNIN DE CONJUNTOS DIFUSOS

Asumiendo que A y B son dos conjuntos difusos de X, la
unin de A y B es un conjunto difuso C = A U B, en el
cual C(x) = Max[A(x), B(x)].
INTERSECCIN DE CONJUNTOS DIFUSOS
Asumiendo que A y B son dos sets difusos de X, la
interseccin de A y B es un set difuso C = A B, en el
cual C(x) = Min[A(x), B(x)].
COMPLEMENTO DE UN CONJUNTO DIFUSO
El complemento relativo de B con respecto a A es E
= A B en el cual E(x) = Max[0, A(x) B(x)]
SUMA LIMITADA
La suma limitada de A y B se define como C=A B tal
+B(x)].
que se verifica ,C(x) = Min[1, A(x)A X A
COMPLEMENTO A( x ) X A( x )
El complementoAde AA, se define como:
OPERACIONES CON CONJUNTOS DIFUSOS
OPERACIONES CON CONJUNTOS DIFUSOS
OPERACIONES CON CONJUNTOS DIFUSOS
OPERACIONES CON CONJUNTOS DIFUSOS
A B A v B = Max (A ; B)
0.3 0. 0.3
2
0.3 0. 0.8
8
0.7 0. 0.7
2
A B A B = Min (A ; B)
0.7 0. 0.8
0.3 0. 0.2
8
2
0.3 0. 0.3
8
0.7 0. 0.2
2
A B A B = Mx (~A ; B)
0.7 0. 0.7
0.3 0.
8 0.7
2
0.3 0. 0.8
8
0.7 0. 0.3
OPERACIONES CON CONJUNTOS DIFUSOS
51