Download - Logica Difusa (Resumen)
LÓGICA DIFUSA
Definición
La lógica difusa se basa en lo relativo de lo observado. Este tipo de
lógica toma dos valores aleatorios, pero contextualizados y referidos
entre sí. Así, por ejemplo, una persona que mida 2 metros es
claramente una persona alta, si previamente se ha tomado el valor de
persona baja y se ha establecido en 1 metro. Ambos valores están
contextualizados a personas y referidos a una medida métrica lineal.
Funcionamiento
La lógica difusa se adapta mejor al mundo real en el que vivimos, e
incluso puede comprender y funcionar con nuestras expresiones, del
tipo "hace mucho calor", "no es muy alto", "el ritmo del corazón está
un poco acelerado", etc.
La clave de esta adaptación al lenguaje, se basa en comprender los
cuantificadores de nuestro lenguaje (en los ejemplos de arriba
"mucho", "muy" y "un poco").
Se basa en:
En la teoría de conjuntos difusos se definen también las operaciones
de unión, intersección, diferencia, negación o complemento, y otras
operaciones sobre conjuntos (ver también subconjunto difuso), en los
que se basa esta lógica.
Para cada conjunto difuso, existe asociada una función de
pertenencia para sus elementos, que indican en qué medida el
elemento forma parte de ese conjunto difuso. Las formas de las
funciones de pertenencia más típicas son trapezoidal, lineal y curva.
Conceptos sobre Conjuntos Difusos
Surgieron como una nueva forma de representar la imprecisión
y la incertidumbre.
Herramientas que usa: Matemáticas, Probabilidad, Estadística,
Filosofía, Psicología...
Es un puente entre dos tipos de computaciones:
C. Numérica: Usada en aplicaciones científicas, por
ejemplo.
C. Simbólica: Usada en todos los campos de la
Inteligencia Artificial.
CONJUNTOS DIFUSOS
• Un conjunto difuso en el universo U se caracteriza por la función
de membresía A(x) que toma el intervalo [0,1], a diferencia de
los conjuntos clásicos que toman el valor de cero o uno {0, 1}
• El conjunto difuso A se puede representar por
• A = { (μA (x), x) / x ε U}
• A = { (μA (x) / x) / x ε U}
Donde μA(x) es el grado de pertenencia
• Un conjunto difuso puede ser alternativamente denota como:
• x es discreto à
• x es continuo
• Notar que la sumatoria y la integral representan la unión de los
grados de membresía y / no significa división.
• Hay conceptos que no tienen límites claros:
¿La temperatura 25 ºC es “alta”?
Definimos, por ejemplo: Alta (30)=1, Alta(10)=0,
Alta(25)=0.75…
CONJUNTOS CLÁSICOS (crisp)
• El conjunto universal U (Universo de discurso) contiene todos
los elementos de cada contexto ó aplicación en particular.
• Los conjuntos clásicos se pueden definir de las siguientes
maneras:
– Método de Lista (Finito) (extensión)
– Método de Regla A = {x ε U / x cumple ciertas
condiciones} (comprensión)
– Método de membresía (comprensión)
• Surgen de forma natural, por la necesidad del ser humano de
clasificar objetos y conceptos.
• Conjunto de Frutas: Manzana ε Frutas, Lechuga Ɇ Frutas...
• Función de pertenencia A(x), x ε X:
– x es el Universo de Discurso.
– Restricción de la Función A: X à {0,1}
• Conjunto Vacío Þ Φ(x)=0, " ε X
• Conjunto Universo Þ U(x)=1, " ε X
Un conjunto difuso A se define como una Función de Pertenencia que
enlaza o empareja los elementos de un dominio o Universo de
discurso X con elementos del intervalo [0,1]:
- A: X [0,1]
Función de Pertenencia: Un conjunto difuso puede representarse también gráficamente como una función, especialmente cuando el Universo de discurso X (o dominio subyacente) es continuo (no discreto).
- Abscisas (eje X): Universo de discurso X.
- Ordenadas (eje Y): Grados de pertenencia en el intervalo [0,1].
Ejemplo: Concepto de Temperatura "Alta".
• Función de Pertenencia: A: X [0,1]
- Cualquier función A es válida: Su definición exacta depende
del concepto a definir, del contexto al que se refiera,
de la aplicación.
- En general, es preferible usar funciones simples, debido a
que
Simplifican muchos cálculos y no pierden exactitud, debido a
que
precisamente se está definiendo un concepto difuso.
• Funciones de Pertenencia Típicas:
1. Triangular: Definido por sus límites inferior a y superior b, y
el valor
odal m, tal que a<m<b.
2.
Función (gamma): Definida por su límite inferior a y el valor k>0.
- Esta función se caracteriza por un rápido crecimiento a partir de a.
- Cuanto mayor es el valor de k, el crecimiento es más rápido aún.
- La primera definición tiene un crecimiento más rápido.
- Nunca toman el valor 1, aunque tienen una asíntota horizontal en 1.
- Se aproximan linealmente por: