Tema 6

Lógica
Tema 6: Lógica borrosa
Dpto. Matemáticas - ESII
Curso 2021/2022
Juan Ángel Aledo (JuanAngel.Aledo@uclm.es), Mere Macià (Hermenegilda.Macia@uclm.es)
Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 1 / 33
Tema 6: Lógica borrosa
1 Diferencias con la lógica tradicional
2 Predicados borrosos. Proposición borrosa. Grado de verdad
3 Proposiciones compuestas
4 Implicaciones borrosas. Inferencia borrosa
5 Modificadores lingüı́sticos. Valores de verdad

Diferencias con la lógica tradicional
Contenidos
Introducción
La lógica borrosa es un intento teórico para introducir en la lógica formal la

vaguedad y la subjetividad propia de la actividad humana.
Podrı́a considerarse como una extensión de la lógica clásica bivalente con
infinitos valores de verdad; esto es, mientras que las proposición de la lógica
clásica sólo pueden ser verdaderas o falsas, en la lógica borrosa se
consideran una infinidad de valores semánticos entre verdadero y falso. Sin
embargo, éste no deja de ser un análisis pobre que no permite adivinar la
verdadera magnitud de esta novedosa teorı́a.
La lógica borrosa es una herramienta apropiada para la representación del
conocimiento humano, pues permite modelar expresiones del lenguaje
natural donde el sentido es normalmente impreciso y donde a veces la
vaguedad es más deseable que la precisión.

Introducción
La lógica borrosa tiene aspecto sintáctico análogo al de la lógica de predicados, y

en cuanto a su semántica el grado de verdad se formaliza mediante el concepto
de conjunto borroso. Trabajaremos con expresiones obtenidas enlazando predica-
dos/proposiciones (borrosos), respetando las mismas reglas de formación que en la
lógica clásica:
Como en la lógica clásica, usaremos los conectivos ∨, ∧, 0 y ⇒.
Como novedad significativa incorporaremos modificadores lingüı́sticos,
adverbios del lenguaje ordinario: muy, algo, aproximadamente,...
Mientras que en la lógica clásica una proposición admitı́a sólo dos posibles
valores de verdad (verdadera o falsa), en la lógica borrosa la interpretación
de una proposición tendrá como resultado un grado de verdad en el intervalo
[0, 1].
Estudiaremos distintas interpretaciones de las proposiciones: muy verdadera,
algo falsa,...
Predicados borrosos. Proposición borrosa. Grado de verdad
Contenidos

Introducción
A cada proposición borrosa (enunciado impreciso o subjetivo) le asignaremos

un valor de verdad α ∈ [0, 1], que llamaremos grado de verdad.
Por otra parte, un predicado borroso es la formalización de una propiedad o
relación borrosa.
Ejemplos: x es un número natural grande, x es más interesante que y , etc.
Para representar los predicados, variables y constantes usaremos la misma
simbolización que en lógica clásica.
La formalización de estos predicados nos darán fórmulas sintácticamente
iguales a las de los ordinarios, con la única novedad de que la letra de
predicado corresponde ahora a un predicado verbal de carácter vago.
Interpretación de Proposiciones Simples
Consideremos un predicado borroso A(x) que representa una determinada

propiedad (cuyo predicado verbal es subjetivo) definido sobre los elementos
de un cierto universo U, y x0 ∈ U. Entonces la proposición borrosa A(x0 ) se
interpreta (como verdadera) con grado de verdad µA (x0 ), donde µA (x0 ) es el
grado de pertenencia de x0 al conjunto borroso A = {x ∈ U : A(x)}.
Escribiremos entonces
I(A(x0 )) = µA (x0 )
Ası́, interpretamos una proposición borrosa haciendo uso de la noción de

conjunto borroso, de manera que el grado de verdad de la proposición es el
grado de pertenencia al conjunto borroso caracterizado por el predicado
A(x).
Llamaremos significado del predicado A(x) al conjunto borroso A sobre U
definido por comprensión por el predicado A(x)
A = {x ∈ U : A(x)}

Interpretación de Proposiciones Simples. Ejemplo

Ejemplo: Sobre U = N consideramos los predicados borrosos
P(n) ≡ n es un número pequeño, G (n) ≡ n es un número grande
asociados a los conjuntos
P = {n ∈ N : n es un número pequeño} = {n|µP (n) : n ∈ N}
G = {n ∈ N : n es un número grande} = {n|µG (n) : n ∈ N}
con funciones grado de pertenencia

1 0 si n < 100
µP (n) = µG (n) = n−100
1 + 00 1n n−99 si n ≥ 100
Las interpretaciones de las proposiciones borrosas
P(10) = ”10 es un número pequeño” yG (110) = ”110 es un número grande”
son µP (10) = 00 5, µG (110) = 10/11,

es decir, los respectivos grados de pertenencia de 10 y 110 a los conjuntos P y G .
Interpretación de Proposiciones Simples. Observación

Observación: Dado un conjunto borroso A sobre un universo U con función grado
de pertenencia µA , le podemos asociar el predicado borroso
A(x) ≡ x ∈ U es un elemento de A
verificándose que para cada x0 de U
I(A(x0 )) = µA (x0 )
Ejemplo: Si A = {p|00 2, o|00 5, i|1} es el conjunto borroso de estaciones frı́as,
podemos considerar el predicado asociado
A(x) ≡ x es una estación frı́a
Ası́, la interpretación de la proposición borrosa
A(o) = otoño es una estación frı́a,
es
I(A(o)) = µA (o) = 00 5.

Paso a la Forma Canónica
Observación: Cuando pretendemos interpretar una proposición con un sujeto x que

no pertenece al universo U sobre el que está definido el predicado, es costumbre
una correspondencia entre el sujeto en cuestión y algún elemento de dicho universo.
Esto se denomina paso a la forma canónica.
Ejemplo: Sobre el universo de edades U = {10, 20, 30, 40, 50, 60, 70, 80} definimos
el conjunto borroso
J = {x ∈ U : x es la edad de una persona joven}
= {10|1, 20|1, 30|00 8, 40|00 4, 50|00 1}.
Supongamos que queremos interpretar la proposición “Luis es joven”.

Es necesario, por tanto, conocer la edad de Luis, ya que el concepto “joven” está
definido sobre un universo de edades.
Ası́, si Luis tiene 30 años, el paso a forma canónica de la expresión anterior serı́a
“La edad de Luis es la de una persona joven”, y tendrı́a como grado de verdad
µJ (30) = 00 8.
Interpolación
Observación: Por otra parte, ¿qué ocurrirı́a si la edad de Luis no apareciese en el

universo de edades U?
La interpolación es una solución a este problema.
Ası́, si la edad de Luis es x ∈ / U, buscamos a, b ∈ U consecutivos tales que
a < x < b y entonces
µJ (b) − µJ (a)
µJ (x) = µJ (a) + (x − a)
b−a
Ejemplo: Si Luis tiene 35 años, la interpretación de la proposición “Luis es joven”

se obtiene haciendo
µJ (40) − µJ (30) 0 00 4 − 00 8
µJ (35) = µJ (30) + (35 − 30) = 0 8 + 5 = 00 6
40 − 30 10

Pasemos ahora al estudio de predicados n-arios borrosos. Tomemos

R(x1 , . . . , xn ) un predicado que representa una determinada relación (cuyo
predicado verbal es subjetivo) entre los elementos de ciertos universos
U1 , . . . , Un . Entonces la proposición borrosa R(a1 , . . . , an ) se interpreta
(como verdadera) con grado de verdad µR (a1 , . . . , an ), donde µR (a1 , . . . , an )
es el grado de pertenencia de (a1 , . . . , an ) a la relación borrosa
R = {(x1 , . . . , xn ) ∈ U1 × · · · × Un : R(x1 , . . . , xn )}.
Escribiremos entonces
I(R(a1 , . . . , an )) = µR (a1 , . . . , an )
Ası́, interpretamos la proposición borrosa R(a1 , . . . , an ) haciendo uso de la

noción de relación borrosa, de manera que el grado de verdad de la
proposición es el grado de pertenencia de (a1 , . . . , an ) a la relación
caracterizada por el predicado R(x1 , . . . , xn ).
Llamaremos significado del predicado R(x1 , . . . , xn ) a la relación borrosa R

sobre U1 × · · · × Un definida por comprensión por el predicado R(x1 , . . . , xn ).
Observación: Dada una relación borrosa R entre elementos de ciertos
universos U1 , . . . , Un y con función de pertenencia
µR : U1 × · · · × Un −→ [0, 1]
podemos considerar el predicado borroso n−ario
R(x, . . . , xn ) ≡ (x1 , . . . , xn ) pertenece a la relación R
verificándose que para cada n−upla (a1 , . . . , an ) ∈ U1 × · · · × Un ,
I(R(a1 , . . . , an )) = µR (a1 , . . . , an )

Interpretación de Proposiciones Simples. Ejemplo

Ejemplo: Consideremos los universos
U = {Murcia (m), Toledo (t), Zaragoza (z), Oviedo (o)}
V = {Caluroso (c), Lluvioso (l), Frı́o (f )}
y el predicado
R(x, y ) =“En la ciudad x ∈ U hay un clima y ∈ V”,
que queda totalmente determinado por la relación
1 0 0 1 00 1
 
 00 4 00 3 00 7 
R(U, V) ≡  00 5 00 6 00 5 

00 2 00 8 00 8
Con estas premisas, la proposición “En Murcia hay un clima lluvioso”,

tiene un grado de verdad I(R(m, l)) = µR (m, l) = 00 1
y análogamente “En Toledo hay un clima frı́o”,
tiene un grado de verdad I(R(t, f )) = µR (t, f ) = 00 7.
Proposiciones compuestas
Contenidos

Interpretación de Proposiciones Compuestas
La interpretación de fórmulas compuestas se obtiene mediante operaciones

con las interpretaciones de las fórmulas elementales que las componen.
Aunque a la hora de enunciar las reglas de la conjunción, disyunción y

condicional trabajaremos por comodidad con predicados monádicos, todas
ellas son extensibles a predicados n-arios o combinaciones de ambos,
tomando en cada caso las funciones grado de pertenencia correspondientes.
Interpretación de la Conjunción
La interpretación de la conjunción se define por:
I(A(x0 ) ∧ B(y0 )) = min{I(A(x0 )), I(B(y0 ))}; x0 ∈ U, y0 ∈ V
donde A(x), B(y ) son predicados en universos U, V, respectivamente.
Si A(x), B(x) se toman sobre el mismo universo U definiendo, respectivamente, los

conjuntos borrosos A, B ⊆ U, se tiene además
I(A(x0 ) ∧ B(x0 )) = min{µA (x0 ), µB (x0 )} = µA∩B (x0 ),
donde µA∩B (x0 ) es el grado de pertenencia de x0 ∈ U al conjunto A ∩ B.

Es decir, se define la conjunción borrosa a partir de la correspondiente intersección
conjuntista y, además, el significado del predicado A(x)∧B(x) es el conjunto A∩B.

Interpretación de la Conjunción
Pero, de manera más general, la (función de verdad de la) conjunción difusa se
puede dar también por todo un conjunto de funciones: las llamadas normas trian-
gulares o t-normas.
Definición
Una operación T : [0, 1] × [0, 1] −→ [0, 1] es una norma triangular o t-norma si, y
sólo si, verifica
i) es conmutativa, es decir, T (x, y ) = T (y , x), ∀x, y ∈ [0, 1].
ii) es asociativa, es decir, T (x, T (y , z)) = T (T (x, y ), z), ∀x, y , z ∈ [0, 1].
iii) T (x, 1) = x, ∀x ∈ [0, 1].
iv ) es monótona en cada componente, es decira , si x1 ≤ x2 , entonces
T (x1 , y ) ≤ T (x2 , y ), ∀x1 , x2 , y ∈ [0, 1].
a
De la caracterización dada (sólo para la primera componente) se sigue
también la monotonı́a en la segunda componente usando las condiciones i) y
iv ).
Interpretación de la Disyunción
Dados los predicados A(x) y B(y ) definidos sobre universos U y V respectivamente,

asignaremos como grado de verdad de la disyunción
I(A(x0 ) ∨ B(y0 )) = max{I(A(x0 )), I(B(y0 ))}, x0 ∈ U, y0 ∈ V
Si A(x), B(x) se toman sobre el mismo universo U definiendo, respectivamente, los

conjuntos borrosos A, B ⊆ U, se tiene además
I(A(x0 ) ∨ B(x0 )) = max{I(A(x0 )), I(B(x0 ))} = µA∪B (x0 ),
donde µA∪B (x0 ) es el grado de pertenencia de x0 al conjunto unión A ∪ B. Por

tanto, esta operación lógica aparece asociada a la unión conjuntista.
En este caso, el significado del predicado compuesto A(x) ∨ B(x) es el conjunto
borroso A ∪ B.

Igual que para la conjunción, la (función de verdad de la) disyunción difusa se

puede definir también por el siguiente conjunto de funciones: las s-conormas.
Definición
Una operación S : [0, 1] × [0, 1] −→ [0, 1] es una co-norma triangular o s-conorma
si, y sólo si, verifica
i) es conmutativa, es decir, S(x, y ) = S(y , x), ∀x, y ∈ [0, 1].
ii) es asociativa, es decir, S(x, S(y , z)) = S(S(x, y ), z), ∀x, y , z ∈ [0, 1].
iii) S(x, 0) = x, ∀x ∈ [0, 1].
iv ) es monótona en cada componente, es decira , si x1 ≤ x2 , entonces
S(x1 , y ) ≤ S(x2 , y ), ∀x1 , x2 , y ∈ [0, 1].
a
La monotonı́a en la segunda componente resulta también de i) y iv ).
Considerando la función de verdad N de la negación usual, definida por
N(x) = 1 − x
una t-norma T y una s-conorma S se dicen duales si ∀x, y ∈ [0, 1] se cumple:
T (x, y ) = 1 − S(1 − x, 1 − y ) S(x, y ) = 1 − T (1 − x, 1 − y )

t-normas y s-conormas (duales) básicos

Algunos pares de t-normas y s-conormas (duales) básicos son:
De Zadeh (o del Mı́nimo/Máximo) definidos por
T (x, y ) = min{x, y } S(x, y ) = max{x, y }
De Lukasiewicz definidos por

T (x, y ) = max{x + y − 1, 0} S(x, y ) = min{x + y , 1}
Producto definidos por

T (x, y ) = xy S(x, y ) = x + y − xy
Débil/Fuerte definidos por

min{x, y }, si max{x, y } = 1
T (x, y ) = S(x, y ) = x + y − xy
0, en otro caso
Implicaciones borrosas. Inferencia borrosa
Contenidos

Interpretación del Condicional
La función de verdad de la implicación difusa admite diversas expresiones, no

equivalentes; obtendremos ası́ distintas implicaciones difusas, que no siempre ex-
tienden la ordinaria.
Una manera frecuente de interpretar la implicación difusa
A(x0 ) ⇒ B(y0 )
es la que aporta la fórmula
I(A(x0 ) ⇒ B(y0 )) = max{min{I(A(x0 )), I(B(y0 ))}, 1 − I(A(x0 ))}
donde A(x), B(y ) son predicados arbritrarios en los universos U, V respectivamente

y x0 ∈ U, y0 ∈ V.
Si los predicados A(x), B(y ) definen los conjuntos borrosos A ⊆ U, B ⊆ V, se tiene

además
I(A(x0 ) ⇒ B(y0 )) = max{min{µA (x0 ), µB (y0 )}, 1 − µA (x0 )}
Con esta función de verdad, debida a Zadeh, se comprueba fácilmente que la

implicación difusa generaliza la implicación clásica.
Observación: Esta interpretación de la implicación borrosa no coincide con la de la

contrarrecı́proca ni con la de la expresión A0 (x0 ) ∨ B(y0 ).

Otros ejemplos destacados, muy usados en el control difuso, son los debidos a
Mamdani y Larsen que dan la siguiente interpretación de implicación difusa.
Implicación de Mamdani:
I(A(x0 ) ⇒ B(y0 )) = min{I(A(x0 )), I(B(y0 ))}
Implicación de Larsen:
I(A(x0 ) ⇒ B(y0 )) = I(A(x0 )) · I(B(y0 ))
Modificadores lingüı́sticos. Valores de verdad
Contenidos

Modificadores Lingüı́sticos
A continuación nos ocuparemos de la interpretación de proposiciones simples

o compuestas donde los predicados están afectados por modificadores
lingüı́sticos, que son adverbios como “muy”, “algo”, etc, que se utilizan con
frecuencia en el lenguaje natural para especificar, junto con el predicado,
una propiedad más concreta (dı́a muy caluroso, vehı́culo algo rápido,...)
Los modificadores lingüı́sticos se modelan mediante operaciones sobre la

función grado de pertenencia asociada al predicado que se está modificando.
Modificadores Lingüı́sticos
Consideraremos los siguientes modificadores:
No:
I(no A(x0 )) = I(A0 (x0 )) = 1 − I(A(x0 )) = 1 − µA (x0 )
Es el único que también se usa en lógica clásica.
Muy:
I(muy A(x0 )) = [I(A(x0 ))]2 = µA (x0 )2
Este modificador da un sentido más restrictivo al predicado, reduciendo el
grado de pertenencia.
Algo, más o menos:
1/2
p
I(algo A(x0 )) = I(más o menos A(x0 )) = [I(A(x0 ))] = µA (x0 )
Estos modificadores tienen un efecto contrario a muy, es decir, hacen menos

restrictivo el predicado aumentando el grado de pertenencia.

gráficas de los modificadores muy y algo
Otras Interpretaciones
Hasta ahora nos hemos limitado a hacer interpretaciones verdaderas de proposi-

ciones, es decir, dada una proposición S
I(S) = Iverdadera (S) = α.
Caben, además, las siguientes interpretaciones de cualquier proposición S:

Imuy verdadera (S) = α2
√
Ialgo verdadera (S) = α
Ifalsa (S) = 1 − α
Imuy falsa (S) = (1 − α)2

√
Ialgo falsa (S) = 1−α

Bibliografı́a Tema 6
J. Aranda, J.L. Fernández y F. Morilla. Lógica Matemática.

Ed. Sanz y Torres, 1993.
G. Fernández y F. Sáez Vacas. Fundamentos de Informática.

Ed. Alianza, 1987.
P. Hàjek. Metamathematics of Fuzzy Logic.

Ed. Kluwer.
H. T. Nguyen and E.A. Walker. A First Course in Fuzzy Logic.

Ed Chapman & Hall.
E. Trillas. Conjuntos Borrosos.

Ed. Vicens Vives, 1980.

Tema 6

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema 6

Cargado por

Copyright:

Formatos disponibles

Lógica

Tema 6: Lógica borrosa

Dpto. Matemáticas - ESII

Juan Ángel Aledo (JuanAngel.Aledo@uclm.es), Mere Macià (Hermenegilda.Macia@uclm.es)

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 1 / 33

Tema 6: Lógica borrosa

1 Diferencias con la lógica tradicional

2 Predicados borrosos. Proposición borrosa. Grado de verdad

4 Implicaciones borrosas. Inferencia borrosa

5 Modificadores lingüı́sticos. Valores de verdad

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 2 / 33

1 Diferencias con la lógica tradicional

2 Predicados borrosos. Proposición borrosa. Grado de verdad

4 Implicaciones borrosas. Inferencia borrosa

5 Modificadores lingüı́sticos. Valores de verdad

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 3 / 33

Diferencias con la lógica tradicional

La lógica borrosa es un intento teórico para introducir en la lógica formal la

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 4 / 33

La lógica borrosa tiene aspecto sintáctico análogo al de la lógica de predicados, y

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 5 / 33

Predicados borrosos. Proposición borrosa. Grado de verdad

1 Diferencias con la lógica tradicional

2 Predicados borrosos. Proposición borrosa. Grado de verdad

4 Implicaciones borrosas. Inferencia borrosa

5 Modificadores lingüı́sticos. Valores de verdad

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 6 / 33

A cada proposición borrosa (enunciado impreciso o subjetivo) le asignaremos

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 7 / 33

Predicados borrosos. Proposición borrosa. Grado de verdad

Interpretación de Proposiciones Simples

Consideremos un predicado borroso A(x) que representa una determinada

Ası́, interpretamos una proposición borrosa haciendo uso de la noción de

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 8 / 33

Interpretación de Proposiciones Simples. Ejemplo

Las interpretaciones de las proposiciones borrosas

P(10) = ”10 es un número pequeño” yG (110) = ”110 es un número grande”

son µP (10) = 00 5, µG (110) = 10/11,

Predicados borrosos. Proposición borrosa. Grado de verdad

Interpretación de Proposiciones Simples. Observación

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 10 / 33

Paso a la Forma Canónica

Observación: Cuando pretendemos interpretar una proposición con un sujeto x que

Supongamos que queremos interpretar la proposición “Luis es joven”.

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 11 / 33

Predicados borrosos. Proposición borrosa. Grado de verdad

Observación: Por otra parte, ¿qué ocurrirı́a si la edad de Luis no apareciese en el

Ejemplo: Si Luis tiene 35 años, la interpretación de la proposición “Luis es joven”

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 12 / 33

Interpretación de Proposiciones Simples

Pasemos ahora al estudio de predicados n-arios borrosos. Tomemos

Ası́, interpretamos la proposición borrosa R(a1 , . . . , an ) haciendo uso de la

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 13 / 33

Predicados borrosos. Proposición borrosa. Grado de verdad

Interpretación de Proposiciones Simples

Llamaremos significado del predicado R(x1 , . . . , xn ) a la relación borrosa R

podemos considerar el predicado borroso n−ario

R(x, . . . , xn ) ≡ (x1 , . . . , xn ) pertenece a la relación R

verificándose que para cada n−upla (a1 , . . . , an ) ∈ U1 × · · · × Un ,

Dpto. Matemáticas - ESII Tema 6: Lógica borrosa Curso 2021/2022 14 / 33

Interpretación de Proposiciones Simples. Ejemplo

Con estas premisas, la proposición “En Murcia hay un clima lluvioso”,