Lógica Borrosa y Razonamiento Difuso
Lógica Borrosa y Razonamiento Difuso
RAZONAMIENTO CON
CAMPUS DIGITAL
INCERTIDUMBRE-VAGUEDAD
PLAN CAPACITACIÓN DIGITAL CM
2 REPRESENTACIÓN
▪ De la lógica booleana a la borrosa
▪ Proposiciones borrosas
3 INFERENCIA
ÍNDICE ▪ Método Mandani
▪ Otros métodos de inferencia
4 DISEÑO DE SISTEMAS
➢ Las situaciones reales suelen requerir vaguedad en las afirmaciones.
➢ Se puede representar utilizando lógica borrosa para los hechos. Éstos dejan
de tener un valor de verdad binario
RESUMEN
Aplicación: [Link]
Conducción: http:
//[Link]/game/heavy-duty-truck-parking
[Link]
Razonamiento probabilístico vs Razonamiento difuso
▪ Pertenencia 0.9 siginifica muy similar a líquidos Efecto evidencia: al abrir la botella, observamos
potables cerveza en A, lejía en B
Podría ser agua de un pozo
▪ Probabilidad 0.9 es diferente: ➢ La probabilidad a posteriori de B en L cae a cero,
90% potable and 10% no potable (dañino, pero la pertenencia de A no se modifica
incluso venenoso) ➢ La probabilidad mide lo verosímil de un suceso
futuro, la borrosidad caracteriza la ambigüedad
de sucesos actuales
Evolución
Motivación:
➢ 1965 Zadeh; Conjuntos Borrosos
➢ Las cosas no son o blancas o negras.
➢ 1973 Zadeh; Controladores Borrosos
➢ Pocos problemas están bien definidos.
➢ 1974 Mamdani; Control de Cementeras
➢ Las cosas cambian con el tiempo.
➢ 1987 Hitachi; Frenado Metro Senday
CONJUNTOS BORROSOS
Los hechos son ciertos o falsos Los hechos son parcialmente ciertos o parcialmente
falsos
Conjunto borroso: Definición
Un conjunto borroso representa el grado de verdad Dado un universo del discurso U, y un conjunto
o posibilidad de que un concepto sea verdadero. borroso F sobre U, su función de pertenencia µF
asigna a cada elemento del universo u ∈ U un valor
CONJUNTO que denota valor de pertenencia a F:
CONJUNTOS BORROSOS
<Cerca>
TRADICIONAL
µF : U → [0, 1]
El conjunto borroso F queda determinado por la
1.0
Umbral Umbral
<Distancia del blanco>
colección de tuplas:
Inferior Superior
CONJUNTO
F = {(u, µF (u))|u ∈ U}
Los conjuntos borrosos por lo general se superponen,
BORROSO
<Cerca>
Umbral Umbral
<Distancia del blanco>
grados de pertenencia a varios conjuntos al mismo
tiempo.
Inferior Superior
Definición para universos discretos (conjuntos Definición para universos contínuos (conjuntos
contables): basta una enumeración de las incontables):
tuplas
Ejemplo: conjunto de coches caros
F = {(Ferrari, 1), (RollsRoyce, 1), (Mercedes,
0.8), ···· , (BMW, 0.7), (Buick, 0.4)}
Superposición
Otra notación
La pertenencia a múltiples
Ferrari/1+ RollsRoyce/1+Mercedes/0,8+ … +
conjuntos significa que se
BMW/=0,7+ Buick/0,4 (*)
poseen cualidades
asociadas, en mayor o
(*) donde + indica unión y / pertenencia menor grado, a todos esos
conjuntos
EJEMPLOS Universo discreto
Universo contínuo
El anterior conjunto de operadores no es arbitrario,
sino que cumplen las propiedades de las
PROPIEDADES Y OPERADORES
Propuesta inicial de Operadores Zadeh
operaciones clásicas de teoría de conjuntos:
Unión (OR) ➢ DeMorgan
A ∪ B = {u|µA∪B (u) = max {µA(u), µB (u)}, ∀u ∈ U} ➢ Asociativa
➢ Conmutativa
Intersección (AND) ➢ Distributiva
A ∩ B = {u|µA∩ B (u) = min{µA(u), µB (u)}, ∀u ∈ U}
Algunas propiedades de los conjuntos borrosos
Complemento (NOT)
A’ = {u|µA’(u) = 1 − µA(u), ∀u ∈ U} Igualdad
A = B ↔ ∀u ∈ U : µA(u) = µB (u)
Subconjunto
A ⊆ B ↔ ∀u ∈ U : µA(u) ≤ µB (u)
.
X1
1.2
1 X2
0.8 Union
Grade 0.6
0.4
0.2
0
0 1 2 3 4 5 6 7 8 9
Decade
Intersección
X1
1.2
X2
1
0.8 Inter.
Grade 0.6
0.4
0.2
0
0 1 2 3 4 5 6 7 8 9
Decade
Modificador“concentración”
1
0.9
CON(A) CON(A)=(A(x))2
Reduce la 0.8 Original
pertenencia de elementos de baja 0.7
– TALL= 0.6
{0.125/5+0.5/6+0.875/6.5+1/7+1/7.5+1/8} 0.5
– VERY TALL = 0.4
{0.0165/5+0.25/6+0.76/6.5+1/7+1/7.5+1/8} 0.3
Concentration
(VERY TALL=TALL2) 0.2
0.1
0
0 2 4 6 8 10 12 14
Modificador“dilución”
1
0.9
• DIL(A) DIL(A)=(A(x))0.5
Incrementa la 0.8
Dilation
pertenencia de elementos de baja 0.7
0.6
– TALL=
0.5
{0.125/5+0.5/6+0.875/6.5+1/7+1/7.5+1/
0.4
8} Original
0.3
– MORE or LESS TALL =
0.2
{0.354/5+0.707/6+0.935/6.5+1/7+1/7.5
+1/8} (LESS TALL=TALL0.5) 0.1
0
0 2 4 6 8 10 12 14
2. REPRESENTACIÓN
DE LA LÓGICA CLÁSICAA LA LÓGICA
Equivalencia entre teoría de conjuntos y lógicas Equivalencia entre teoría de conjuntos borrosos y
clásicas, son equivalentes: lógica borrosa, son equivalentes:
➢ Teoría de conjuntos:“x ∈ Animal-veloz” ➢ Teoría de conjuntos borrosos :“x ∈ Animal-veloz”
➢ Lógica proposicional “x es un animal-veloz” T o F ➢ Lógica borrosa: “Animal-veloz(x)” depende del
➢ Lógica de predicados: “Animal-veloz(x)” T o F grado de verdad y puede tomar valores entre [0,1]
La función de verdad f asocia valores de verdad a En lógica borrosa, la función de verdad de una
proposiciones o predicados proposición B(x ) es la función de pertenencia del
Ejemplo: en lógica de predicados, conjunto asociado: f (B(x )) = µB (x )
v(Animal-veloz(halcon)) = 1 v(Animal-veloz(halcon)) =
BORROSA
v(Animal-veloz(tortuga)) = 0 f (Animal-veloz(halcon)) =
f (Animal-veloz(halcon)) = 1 µAnimal-veloz(halcon) = 0.9
f (Animal-veloz(tortuga)) = 0
La lógica borrosa trabaja con el grado de pertenencia
y otras definiciones de los operadores AND, OR y NOT
La lógica booleana trabaja con el grado de verdad (generalización de las lógicas multivaluadas).
o falsedad y los operadores AND, OR y NOT Utilizaremos los siguientes operadores que no son
arbitrarios (cumplen las propiedades clásicas de los
operadores lógicos), podrían utilizarse otros y dar lugar
a otras LB:
▪ max (a, b) para el OR
▪ min(a, b) para el AND
▪ 1 − a para el NOT
La Teoría de Conjuntos Borrosos puede utilizarse Definición: Formalmente, una variable lingüística se
para representar expresiones en lenguaje “natural” define como: (X, LX, UX, Mx)
(computación con palabras, CWW ) X: nombre simbólico
PROPOSICIONES BORROSAS
➢ Los conjuntos borrosos se componen de etiquetas LX: etiquetas lingüísticas
lingüísticas que atribuyen cualidades vagas, tal UX : Dominio
como hace el lenguaje: Mx: Interpretación en términos numéricos
veloz, bajo, caro, frío · · ·
Se usan modificadores lingüísticos (adverbios tales como
➢ Una variable lingüística es aquella variable cuyos muy, bastante, poco, casi, etc.).
valores posibles son un conjunto de etiquetas ➢ Construyen nuevos conjuntos borrosos.
lingüísticas definidas sobre un mismo universo de Ej: muy joven (es más restrictivo ser muy joven que joven)
discurso (U) y una función de pertenencia: ➢ Se representan mediante operaciones sobre la
Rapidez = {veloz, medio, lento}; función de pertenencia:
U = velocidad Ligeramente: µ(x )1/3
Ambiente = {frío, fresco, confortable, Más o menos: µ(x )1/2
cálido, caluroso} ; Mucho (muy): µ(x )2
U = temperatura Extremadamente: µ(x )3
En cierta manera: Entre más o menos y
ligeramente
Proposiciones borrosas
Atómicas: Compuestas:
X es B (ej: x es alto) P AND (Q OR NOT R)
B es un conjunto borroso
“es” se interpreta como “tiene la Tengo fiebre muy alta y mi número de
propiedad” o “pertenece al conjunto borroso B” leucocitos es muy elevado
X es modificador B (ej: x es muy alto) Mi coche corre mucho y su consumo es
moderado
3. INFERENCIA
El razonamiento borroso es una generalización de los métodos de inferencia de la lógica binaria
1. Propagar la incertidumbre a través del modus ponens, considerando las reglas como relaciones borrosas.
2. Combinar la incertidumbre como composición de relaciones borrosas
➢ Combinar la incertidumbre con el AND y el OR
Julio es joven o muy joven, y es también alto
➢ Combinar o agregar la incertidumbre proveniente de dos reglas distintas que concluyen lo mismo
Quien tenga un móvil es posiblemente culpable del delito; pero quien tenga un arma es culpable con
bastante seguridad
3. Modificar las conclusiones borrosas, cuando el antecedente y el hecho no son exactamente iguales se
mide su adecuación y se aplica a la conclusión
➢ Si el suelo está mojado entonces conduzco con mucha precaución;
➢ el suelo está sólo húmedo; luego conduzco con cierta precaución.
Introducción Representación Inferencia Borrosa Diseño de Sistemas Basados en lógica Borrosa Resumen
Ejemplo:
P1 SI temperatura es caliente ENTONCES bajar algo el termostato
P2 Temperatura es templada
Q “Bajar algo el termostato” ···¿pero menos?
▲
Introducción Representación Inferencia Borrosa Diseño de Sistemas Basados en lógica Borrosa Resumen
P1 SI X es A ENTONCES Y es B
P2 X es A’
Q Y es B’
30 / 52
▲
MÉTODOS DE INFERENCIA BORROSA
Ejemplo: En general el razonamiento borroso consta de los
siguientes pasos:
Supongamos una inferencia como la siguiente:
1. Borrosificar: Pasar de valor numérico a borroso
IF Temperatura(caliente) THEN (fuzzify)
CambiaTemperatura(poco) 2. Medir la adecuación de las premisas de las
Temperatura(templada) reglas frente a las los hechos
3. Realizar la inferencia borrosa: obtener la
conclusión de cada regla teniendo en cuenta
Conclusión: Q?
su adecuación.
4. Agregar las conclusiones individuales de cada
• Parece lógico que cuanto más lejos esté el hecho de
regla para obtener conclusiones globales
“caliente”, menos seguros estaremos de que tenemos
5. Deborrosificar: Pasar de valores borrosos a
que cambiar “poco” la temperatura
numéricos (defuzzify)
Métodos directos
➢ Método directo de Mamdani.
➢ Método de Takagi & Sugeno.
➢ Método simplificado.
Ejemplo: Mandani
Paso 1 :
“Borrosificar” los hechos
Ejemplo: Mandani
Paso 2:
Medir la adecuación de
las reglas a los hechos
Ejemplo: Mandani
Paso 3:
Inferencia borrosa
(aplico la adecuación del
paso anterior a la
función de pertenencia
de la conclusión)
α
Ejemplo: Mandani
Paso 4:
Agregación
Método Max-
Min
Ejemplo: Mandani
Paso 5:
“Deborrosificar
” (defuzzify)
b) x1 is A1 or ... or xm is Am
α = μA1(x1) μA2(x2) … μAm(xm)
Este método emplea reglas de inferencia con la
siguiente estructura:
IF (x is A) and (y is B) THEN (z is C)
IF (x is A) or (y is B) THEN (z is C)
donde A, B y C son conjuntos difusos
PASO 3: INFERENCIA BORROSA PASO 4: AGREGACIÓN
PASO 5: DEBORROSIFICAR (DEFUZZIFY)
IF Antecedente THEN (z is C) Centro de Areas (CoA) o de Gravedad
Para cada variable conclusión se
Produce un conjunto borroso que resulta (CoG)
de aplicar un operador de agregan los resultados de todas las
inferencia entre la adecuación de la reglas aplicando un operador,
regla y el conjunto borroso de la normalmente el máximo.
conclusión C (con función de μC(z) = max(μC1(z), μC2(z), …, μCm(z))
pertenencia μC(z)).
a) Usando el mínimo μC(z) = min(α, Normalmente se combina con un
Métodos de Máxima Pertenecia
μC(z)) operador min o prod en el paso anterior
b) Usando el producto μC(z) = α μC(z) El Primero, el Ultimo o la Media de Máxima
Pertenencia (MoM)
➢ Método Max-Min
➢ Método Max-Prod
MÉTODOS P3 INFERENCIA BORROSA
Paso 3; Inferencia Max-Min
a) x is A1 and y is B1
= max ( A ( x) A' ( x)) max (B ( y) B ' ( y))
1 1
x y
donde A1 y B1 son los conjuntos borrosos especificados en el antecedente
de la regla y A’ y B’ los conjuntos borrosos especificados como entradas.
BORROSAS
Inconvenientes Método Mandani:
OTROS MÉTODOS DE INFERENCIA
➢ El número de reglas se incrementa exponencialmente con el número de variables borrosas y esto hace
que la tarea de su construcción sea excesivamente laboriosa.
➢ Si el número de variables de la premisa es grande, es muy difícil comprender las relaciones causales entre
las premisas y los consecuentes.
Método Sugeno-Takagi
Método Sugeno simplificado
➢ Este método emplea reglas de inferencia con la siguiente
Emplea reglas de inferencia con la siguiente estructura:
estructura:
IF x is A and y is B THEN z=c
IF x is A and y is B THEN z=ax+by+c
donde A, B son conjuntos difusos y c es un valor nítido
donde A, B son conjuntos difusos.
(crisp)
IF la temperatura de la habitación es “un poco
IF la temperatura de la habitación es “un poco alta” y la
alta” y la humedad es “bastante” THEN ajusta el
humedad es “bastante” THEN ajusta el aire
aire acondicionado usando temperatura de la
acondicionado a 8.
habitación 0.2 + humedad 0.05.
La salida de este método de razonamiento borroso se
➢ La salida de este método de razonamiento borroso viene
calcula como:
dada por: l
l
wi yi wc i i
y= i =1 z= i =1
l
w
l
w
i =1
i i
i =1
donde wi es el grado de adecuación de la regla i y ci la
donde wi es el grado de adecuación de la regla i e
conclusión de la regla i.
yi la salida de la regla i.
Ejemplo: Sugeno simplificado
Paso 4: Agregación
4. DISEÑOS DE
SISTEMAS
Esquema de un sistema tipo
Mandani
conjuntos borrosos