UNIVERSIDAD NACIONAL DEL CALLAO

Facultad de Ingeniera Industrial y de

Sistemas

INTELIGENCIA ARTIFICIAL

LOGICA DIFUSA
Untiveros Morales, Miriam

LA LGICA DIFUSA
La Lgica Difusa o borrosa, utiliza
expresiones
que no son totalmente ciertas ni
completamente falsas, es decir, que
pueden tomar un valor cualquiera de
veracidad.

TIPOS DE LOGICA
En la lgica clsica una proposicin solo
admite dos valores verdadero o falso.
Por ello se dice que la lgica usual es
bivalente o binaria. Existen otras lgicas
que admiten adems un tercer valor
posible (lgica trivaluada) e incluso
mltiples valores de verdad (lgica
multivaluada).

HISTORIA DE LGICA DIFUSA

Aristteles introdujo las Leyes del Conocimiento, las que
posteriormente seran el sustento de la Lgica clsica. Sus tres
Leyes fundamentales eran:
* Principio de Identidad
* Ley de la Contradiccin
* Ley del Tercero Excluido
Platn dijo que haba una tercera regin entre verdadero y falso:
los grados de pertenencia.
Fue Jan ukasiewicz el primero que propuso una alternativa
sistemtica a la lgica bi-valuada de Aristteles, una lgica de
vaguedades. La describi como la lgica de los 3 valores o trivaluada, con el tercer valor siendo 'Posible'.

Black define en 1937 el primer conjunto difuso mediante una

curva que recoga la frecuencia con la que se pasaba de un
estado a su opuesto.
En los 60 Lotfi Asker Zadeh, basado en las ideas de Black,
cre la 'lgica difusa', que combina los conceptos de la
lgica y de los conjuntos de Jan ukasiewicz mediante la
definicin de grados de pertenencia.

DEFINICIN DE LGICA DIFUSA

Utiliza la experiencia del ser humano para
generar un razonamiento que permite la toma
de decisiones.
Su razonamiento se basa en la aproximacin a la
percepcin humana: no todo es blanco o negro,
los distintos tipos de grises predominan en el
pensamiento humano.

LGICA DIFUSA EN INTELIGENCIA ARTIFICIAL

En Inteligencia artificial, la lgica difusa, o lgica borrosa se utiliza para la
resolucin de una variedad de problemas, principalmente los relacionados
con control de procesos industriales complejos y sistemas de decisin en
general, la resolucin la compresin de datos.

Los sistemas basados en lgica

difusa imitan la forma en que
toman decisiones los humanos,
con la ventaja de ser mucho ms
rpidos.

Los sistemas de lgica difusa estn tambin muy extendidos en la tecnologa

cotidiana

Los sistemas basados en lgica difusa son

generalmente robustos y tolerantes a
imprecisiones y ruidos en los datos de
entrada.
Xfuzzy es un entorno de desarrollo que facilita la
descripcin, verificacin y sntesis de sistemas
difusos.
8

La lgica difusa en inteligencia artificial consiste en la aplicacin de la

lgica difusa con la intencin de imitar el razonamiento humano en la
programacin de computadoras.
Con la lgica convencional, las computadoras pueden manipular valores
estrictamente duales, como verdadero/falso, s/no o ligado/desligado.

En la lgica difusa, se usan

modelos matemticos para
representar nociones
subjetivas, como
caliente/tibio/fro, para
valores concretos que
puedan ser manipuladas
por los ordenadores.

En este paradigma, tambin tiene un especial valor la variable del

tiempo, ya que los sistemas de control pueden necesitar
retroalimentarse en un espacio concreto de tiempo, pueden
necesitarse datos anteriores para hacer una evaluacin media de
la situacin en un perodo anterior.

10

FUNCIONAMIENTO
En la teora de conjuntos difusos se definen las operaciones de unin,
interseccin, diferencia, negacin o complemento, y otras operaciones sobre
conjuntos, en los que se basa esta lgica.

Para cada conjunto difuso,

existe asociada una funcin de
pertenencia para sus elementos,
que indican en qu medida el
elemento forma parte de ese
conjunto difuso.

11

Las formas de las funciones de pertenencia ms tpicas son

trapezoidales, lineales y curvas.

12

Se basa en reglas heursticas de la forma SI (antecedente) ENTONCES

(consecuente), donde el antecedente y el consecuente son tambin conjuntos
difusos, ya sea puros o resultado de operar con ellos.

Si la temperatura esta alta y creciendo ENTONCES debe

aumentarse bastante el agua fria.

13

Los mtodos de inferencia para esta base de reglas deben ser simples, veloces y
eficaces.
Los resultados de dichos mtodos son un rea final, fruto de un conjunto de
reas solapadas entre s.
Para escoger una salida concreta
a partir de tanta premisa difusa, el
mtodo ms usado es el del
centroide, en el que la salida final
ser el centro de gravedad del
rea total resultante.
Los datos de entrada suelen
ser recogidos por sensores,
que miden las variables de
entrada de un sistema.

14

Un esquema de funcionamiento tpico para un sistema difuso podra ser:

En la figura, el sistema de control hace los clculos con base en sus reglas
heursticas.

15

IMPLEMENTACINDESISTEMASBORROSOS
El diseo de un controlador basado en lgica borrosa
supone establecer un
compromiso entre diversos criterios de diseo:
velocidad, precisin y flexibilidad, principalmente.

16

ENTORNOSDEDESARROLLO
El continuo aumento de la complejidad de los sistemas de desarrollo
ha forzado a introducir el concepto de entorno de desarrollo. Los
sistemas inciales de base puramente textual se limitaban a
conjuntos de programas aislados que procesaban ficheros,
produciendo otros ficheros.

17

Entornodetipomatemtico
Como herramientas para la investigacin en el desarrollo de
sistemas de control y procesamiento de seal, se han utilizado
frecuentemente entornos de base matemtica que facilitan la
evaluacin de diversas tcnicas, sin obligar inicialmente al
desarrollo de programas especficos, haciendo uso de paquetes
matemticos diversos incluidos en estos sistemas matemticos de
propsito general.
MATLAB

Es probablemente el entorno de
desarrollo
matemtico ms extendido para las
aplicaciones de
control y procesamiento de seal,
especialmente en
ambientes universitarios, donde se
utiliza para la
simulacin de control de sistemas.

18

MATHEMATICA

El entorno MATHEMTICA es
probablemente uno de los
paquetes de software de tipo
matemtico ms extendido,
siendo empleado por
investigadores, ingenieros y
estudiantes de escuelas de
ingeniera y ciencias. Cubre
no slo las reas cientficas y
matemticas, sino que
tambin se emplea en reas
tecnolgicas y empresariales.

19

ENTORNODELGICADIFUSA
FUZZYTECH (INFORM GmbH)
Este entorno es uno de los ms difundidos y completos para el
desarrollo de sistemas basados en lgica borrosa. El entorno de
FuzzyTech fue desarrollado por la compaa INFORM Software
GMBH, el cual surgi del trabajo de un grupo de investigadores
dirigido por el profesor Hans Zimmermann, de la Universidad de
Aachen (Alemania). Zimmermann, uno de los pioneros de la lgica
difusa en Europa, es presidente y fundador de la International Fuzzy
Systems Association (IFSA), la principal organizacin internacional
para la
investigacin y aplicacin de los sistemas basados en lgica difusa

20

ENTORNODELGICADIFUSA
El entorno FIDE (Fuzzy Inference Development Enviroment)
ha sido desarrollado por la compaa americana Aptronix, en
colaboracin con Motorola. Este entorno se basa en un lenguaje de
descripcin de controladores llamado FIL, que a su vez se compone
de tres sublenguajes, para cada uno de los posibles en el entorno.
El lenguaje FIU permite describir unidades de inferencia borrosa
formadas por conjuntos de reglas que se aplica sobre variables,
para las que se puede definir diversos adjetivos.
FIDE

21

Aplicaciones

Sistemas de control de acondicionadores de aire

Sistemas de foco automtico en cmaras fotogrficas
Electrodomsticos familiares (frigorficos, lavadoras...)
Optimizacin de sistemas de control industriales
Sistemas de reconocimiento de escritura
Mejora en la eficiencia del uso de combustible en motores
Sistemas expertos del conocimiento (simular el comportamiento
de un experto humano)
Tecnologa informtica
Bases de datos difusas: Almacenar y consultar informacin
imprecisa. Para este punto, por ejemplo, existe el lenguaje FSQL.
Y en general, en la gran mayora de los sistemas de control que no
dependen de un S/No.

Nivel uno - control mediante lgica difusa

Reemplazar un operador humano por un sistema de difuso basado en reglas.

Metro Sendai (Hitachi)

Cemento Kiln (F.L. Smidth)
Control de elevador (Fujitec, Hitachi, Toshiba)
Carro de Sugeno
Robot de Hirota
Pndulo invertido de Yamakawua.
Reactor nuclear (Hitachi, Bernard)
Transmisin automtica (Nissan, Subaru)
Control Bulldozer (Terano)
Produccin de ethanol (Filev)

Metro Sendai (Hitachi)

Propuesto en 1978.
Consigui el permiso para operar en 1986 despus de 300,000
simulaciones y 3,000 viajes en vaco.

Mejor la posicin de paro en 3x.

Reduce el ajuste de potencia en 2x.
Potencia total reducida en un 10%.

Transmisiones Automticas
Objetivos:

Suavizar la marcha.

Reducir el consumo de combustible.

Menor desgaste.

Patrones de comportamiento mas parecido al humano.

Nivel dos: Anlisis de decisin basado en lgica difusa

Reemplazo de un operador humano por un sistema experto basado en lgica
difusa

Medicina ((CADAG, Adlssnig), Arita, OMRON)

Seguridad (Yamaichi, Hitachi)
Comprobante de crdito (Zimmermann)
Asignacin de daos (Yao, Hadipriono)
Diagnostico de fallas (Guangzhou)
Planeacin de produccin (Turksen)

Productos al consumidor

Lavadoras
Hornos de microondas
Procesadores de arroz
Limpiadores al vaco
Cmaras de video
Televisores
Sistemas trmicos
Traductores

Sistemas
Elevadores
Trenes
Automviles (mquinas, transmisiones, frenos)
controles de trfico

Software

Diagnostico Medico
Seguridad
Comprensin de datos