UNIVERSIDAD NACIONAL DE

TRUJILLO
Ingeniera de Sistemas
La Lgica Difusa permite a los
sistemas trabajar con informacin
que no es exacta, es decir dicha
informacin contiene un alto grado
de imprecisin, contrario a la lgica
tradicional que trabaja con
informacin definida y precisa.
Un conjunto
difuso se
encuentra
asociado por
un valor
lingstico que
est definido
por una
palabra,
etiqueta o
adjetivo.
= ,

|
En los Conjuntos Difusos la funcin de
pertenencia puede tomar valores del
intervalo entre 0 y 1, y la transmisin del
valor entre cero y uno no cambia de
manera instantnea como pasa con los
conjuntos clsicos.
Un Conjunto Difuso en
un universo puede
definirse con la siguiente
ecuacin:
Donde:

: x -> [0,1] es la funcin de

Pertenencia

es el grado de pertenencia de la
variable x.
es el universo en discurso.
Entre ms cerca est A del valor 1,
mayor ser la pertenencia del objeto
x al conjunto A.
Las funciones de pertenencia
nos permiten representar
grficamente un conjunto difuso.
En el eje x (abscisas) se
representa el universo en discurso.
En el eje y (ordenadas) se sitan
los grados de pertenencia en el
intervalo [0,1].
=

< <

< <

; <

>

; =

La FUNCIN DE PERTENENCIA de un elemento x
se puede calcular de la siguiente manera:
Para funciones Triangulares:




1
()

x
0
Para funciones Triangulares:
=

< <

< <

< <

; <

>

Para funciones Trapezoidales:
Para funciones Trapezoidales:
1
()
0

x
Grfico General:
Un control difuso es una
alternativa prctica para
resolver una variedad
de complejas
aplicaciones de control,
ya que propone un
mtodo para construir
controles No Lineales a
travs de informacin
heurstica.
DATOS
DE
SALIDA
DATOS
DE
ENTRADA
La Fusificacin
tiene como objetivo
convertir valores
reales en valores
finitos.

Se asignan grados
de pertenencia a
cada una de las
variables de
entrada.
La Base de
Conocimiento
contiene el
conocimiento
asociado con el
dominio de la
aplicacin y los
objetivos del
control.
En esta etapa se deben definir las reglas lingsticas de control que realizaran la toma
de decisiones que a su vez decidirn la forma en la que debe actuar el sistema.
La inferencia es el proceso
mediante el cual se genera un
mapeo para asignar a una entrada
una salida utilizando Lgica Difusa.
El proceso de Inferencia provee
las bases para la toma de
decisiones del sistema.
Este proceso involucra la
utilizacin de funciones de
pertenencia y la reglas
generadas en la base de
conocimiento.
Existen diferentes mtodos de inferencia, los ms
comunes son los de Mamdani y Takagi-Sugeno-Kang
* Utiliza reglas tipo si-entonces (if-else).
* Una regla de la base de reglas o base de
conocimiento tiene dos partes, el ANTECEDENTE Y
LA CONCLUSIN.
En un sistema difuso tipo Mandani
tanto el antecedente como el
consecuente de las reglas estn dados
por expresiones lingsticas.
IF la entrada es baja THEN la salida es Alta
Antecedente
Consecuente
* Los valores que arrojan los consecuentes de las
diferentes reglas que se han activado en un momento
determinado ya son valores numricos por lo que no
se necesita una etapa de Defusificacin .
En un sistema difuso tipo Sugeno el
consecuente de estas reglas ya no es una
etiqueta lingstica sino una funcin de
entrada que tenga el sistema en un
momento dado.
IF la entrada es baja THEN la salida = F(entrada)
Antecedente
Consecuente
DEFUSIFICACIN

Es la conclusin difusa obtenida en
la inferencia .

Esta variable lingstica posee
valores que han sido asignados por
grados de pertenencia, sin embargo
usualmente necesitamos un escalar
que corresponda a estos grados de
pertenencia.
MTODO DEL CENTROIDE
MTODO PROMEDIO MXIMO
MTODO PROMEDIO PONDERADO
MTODO DE MEMBRESA DEL MEDIO
DEL MXIMO
MTODO PROMEDIO MXIMO
0 60 70 80 90 100 20 40 50 30 10
0.0
1.0
0.5
Figura2.7 Mtodo promedio mximo
MTODO PROMEDIO
PONDERADO
Donde:

n = nmero de mximos.

xmax = valor de x del mximo.

(xmax) = es le valor de pertenencia del mximo.


Trabajaremos con la figura 2.7
MTODO DE CENTROIDE
Es el ms utilizado por los
ingenieros de control
Este mtodo tambin conocido
como Centro de rea(COA) calcula
el centro de gravedad del polgono
que se gener en la inferencia [8]
TCNICAS FUZZY EN SISTEMAS EXPERTOS:
La Incertidumbre como control de inferencia.

Uno de los aspectos ms importantes de la
investigacin en sistemas expertos es progresar en
nuestro conocimiento acerca de la capacidad del ser
humano para resolver problemas difciles.
La experiencia de un experto posibilita
utilizar mejores estrategias de resolucin.
Forman parte de lo que
denominaremos
meta-conocimiento, es decir
conocimiento acerca de como utilizar
los conocimientos necesarios para
resolver un problema.
Es posible representar y usar meta-conocimiento mediante
estrategias de control
Focalizar
el problema
Controlar
la inferencia
Controlar
acciones
Por ejemplo:
Descripcin que hace un mdico
Inicialmente considero los factores de riesgo ya que
permiten localizar un conjunto inicial de hiptesis
plausibles, a continuacin tengo en cuenta los datos clnicos
observables directamente para validar o rechazar hiptesis
del conjunto inicial; finalmente considero datos de
laboratorio y radiologa para tomar decisiones finales.
EL CONTROL DE LA INFERENCIA EN SISTEMAS EXPERTOS
El procedimiento de resolucin de problemas en sistemas
expertos basados en reglas consiste en la activacin de
reglas partiendo de un
conjunto inicial de hechos conocidos.
La aplicacin de una regla puede causar la
activacin de otras reglas resultando en lo que se
denomina ENCADENAMIENTO DE REGLAS
(HACIA ADELANTE /HACIA ATRS)
Un sistema experto no trivial contiene muchos
centenares, incluso algunos miles de reglas y
generalmente varias de ellas pueden ser aplicables
en un momento dado.
EL CONTROL DE LA INFERENCIA EN SISTEMAS EXPERTOS
SI:
El estado del paciente es grave
Tiene la presin baja
Est bajo shock sptico
ENTONCES:
Concluir neumona es bacteriana
(posible)
SI:
La neumona es extrahospitalaria
El paciente tiene contacto frecuente con
pjaros
La neumona es bacteriana
ENTONCES:
Neumococo (bastante posible)
Por ejemplo:
EL CONTROL DE LA INFERENCIA EN SISTEMAS EXPERTOS
El Sistema experto debe poseer un mecanismo de control
para decidir qu regla conviene aplicar de entre las
aplicables
Codificado implcitamente Representado explcitamente
El orden de introduccin de las reglas es
determinante para llegar o no llegar a la
solucin
No son flexibles
Falta de focalizacin hacia el objetivo
ms adecuado
Permite al sistema Razonar
sobre qu reglas es ms
conveniente
Son flexibles
Focalizacin hacia el objetivo
mediante estrategias de control
MODULARIDAD Y LOCALIDAD
Eficiencia

No disponibilidad de
todos los datos
Los expertos humanos usan
generalmente solamente una
parte de sus conocimientos
del dominio para resolver un
problema concreto.
La modularizacin introduce
el concepto de localidad en la
Base de Conocimientos. Es
posible definir el contenido
de un mdulo
independientemente del resto
de mdulos.
Pueden organizarse jerrquicamente

Conjunto de declaraciones de:

Hechos importados, hechos exportados,
reglas, metareglas y submdulos
ELICITACIN DE OPERADORES SOBRE TRMINOS LINGSTICOS
El problema de usar
el intervalo [0,1]:
El caso en que dichos operadores para
conectivos lgicos se aplican a un conjunto
finito de valores de certeza
El experto no es capaz de definir exactamente el
significado de los trminos utilizando una escala
numrica.
Los expertos no muestran un alto grado de
acuerdo sobre la representacin de un trmino
concreto.
ELICITACIN DE OPERADORES SOBRE TRMINOS LINGSTICOS
Solucin:
Considerar los trminos como valores de
verdad en una lgica multivaluada,
conservndose la flexibilidad.
Considerar los trminos como elementos
ordenados de un conjunto
Utilizar las propiedades a verificar por los
operadores como un conjunto de restricciones.
Actan sobre el espacio de posibles
combinaciones (Y, O, IMPLICACIN)
entre los trminos lingsticos.
Otro trmino lingstico como resultado
ELICITACIN DE OPERADORES SOBRE TRMINOS LINGSTICOS
Solucin:
Considerar los trminos como valores de
verdad en una lgica multivaluada,
conservndose la flexibilidad.
Considerar los trminos como elementos
ordenados de un conjunto
Utilizar las propiedades a verificar por los
operadores como un conjunto de restricciones.
Actan sobre el espacio de posibles
combinaciones (Y, O, IMPLICACIN)
entre los trminos lingsticos.
Otro trmino lingstico como resultado