Documentos de Académico
Documentos de Profesional
Documentos de Cultura
y sus
aplicaciones
La Teoría de Conjuntos Lotfi A. Zadeh (Azerbaiyán, 1921,
Borrosos fue introducida por actualmente profesor e
mérito de la Universidad de Uno de los objetivos de la Lógica
California en Berkeley) a mediados de Borrosa es proporcionar las bases del
los años 60. Previamente, Max Black razonamiento aproximado que utiliza
(1909 - 1989), en un artículo de 1937 premisas imprecisas como instrumento
titulado "Vagueness: An exercise in para formular el conocimiento.
Logical Analysis" y Karl Menger (1902
- 1985) con los artículos de 1942 ¿Qué son los conjuntos
"Statistical Metrics" y los de los años borrosos?.
50 sobre relaciones borrosas de
En un conjunto clásico (crisp) se
indistinguibilidad, sentaron las bases de
asigna el valor 0 ó 1 a cada elemento
lo que hoy es una teoría tan utilizada y
para indicar la pertenencia o no a dicho
con tan buenos resultados.
conjunto. Esta función puede
Bajo el concepto de Conjunto Borroso
generalizarse de forma que los valores
(Fuzzy Set) reside la idea de que los
asignados a los elementos del conjunto
elementos clave en el pensamiento
caigan en un rango particular, y con
humano no son números, sino etiquetas
ello indiquen el grado de pertenencia
lingüísticas. Estas etiquetas permiten
de los elementos al conjunto en
que los objetos pasen de pertenecer de
cuestión. Esta función se llama
una clase a otra de forma suave y
“función de pertenencia” y el
flexible.
conjunto por ella definida “Conjunto
La Lógica Borrosa se puede inscribir
Borroso”. La función de pertenencia
en el contexto de la Lógica
µA por la que un conjunto borroso A se
Multivaluada. En 1922 Lukasiewicz
define, siendo [0, 1] el intervalo de
cuestionaba la Lógica Clásica bivaluada
números reales que incluye los
(valores cierto y falso). Además,
extremos, tiene la forma:
adelantaba una lógica de valores ciertos
en el intervalo unidad como µA=X→[0, 1]
generalización de su lógica trivaluada.
En los años 30 fueron propuestas Es decir, mientras que en un conjunto
lógicas multivaluadas para un número clásico los elementos pertenecen o no
cualquiera de valores ciertos (igual o pertenecen a él totalmente (por ejemplo
mayor que 2), identificados mediante un número puede pertenecer o no al
números racionales en el intervalo [0, conjunto de los pares, pero no
1]. pertenecerá con un determinado grado),
en los conjuntos
borrosos hay grados de pertenencia en Así como en lógica clásica una
referencia a un universo local. Por implicación se puede expresar de
ejemplo en el contexto de nuestra distintas formas y todas son
sociedad actual una persona de 45 años equivalentes, sus extensiones a lógica
pertenecerá al conjunto borroso “viejo” borrosa resultan no ser equivalentes y
con un grado supongamos de 0.5. Si en han dado lugar a diferentes clases de
vez de usar de referencia nuestra implicaciones borrosas.
sociedad actual aludimos a una
Por último, existe un principio que
sociedad donde la esperanza de vida
permite la generalización de conceptos
fueran 40 años este grado cambiaría.
matemáticos crisp a la teoría de
A será un Subconjunto Borroso de B Conjuntos Borrosos. Cualquier función
cuando: que asocie puntos x1,x2,..., xn del
µA(x) ≤ µB(x), ∀x∈X conjunto crisp X al Y puede
generalizarse de forma que asocie
Originalmente la teoría de conjuntos subconjuntos borrosos de X en Y, es el
borrosos se formuló en base a un denominado “Principio de extensión”.
conjunto de operadores también válidos
para conjuntos clásicos:
La representación borrosa del
conocimiento.
Negación: µ¬A(x) = 1 - µA(x) En lenguaje natural se describen
Unión: µA∪B(x) = max [µA(x), µB(x)]
objetos o situaciones en términos
imprecisos: grande, joven, tímido, ... El
Intersección: µA∩B(x) = min [µA(x), µB(x)] razonamiento basado en estos términos
no puede ser exacto, ya que
normalmente representan impresiones
Posteriormente se han definido clases subjetivas, quizá probables pero no
de funciones con propiedades exactas. Por ello, la Teoría de
axiomáticas adecuadas a la utilidad de Conjuntos Borrosos se presenta más
cada operador, principalmente las T- adecuada que la lógica clásica para
normas y T-conormas, que sirven como representar el conocimiento humano, ya
modelos de la intersección y la unión que permite que los fenómenos y
respectivamente. El origen del uso de observaciones tengan más de dos
las T-normas y T-conormas se remonta estados lógicos.
a las consecuencias del artículo de Para la construcción de Conjuntos
Menger de 1942 “Statistical Metrics”. Borrosos para ser usados en Sistemas
Para establecer la desigualdad Inteligentes son necesarias técnicas
triangular (en un triángulo cualquiera, específicas de Adquisición de
la suma de dos lados siempre es mayor Conocimiento. Las más usadas son las
que el tercero), discípulos de Menger entrevistas y formularios, pero parece
establecieron y estudiaron el concepto adecuado adaptar otras técnicas al
de norma triangular (T-norma) como campo Borroso.
operación tipo para componer (sumar En los Sistemas Basados en el
probabilísticamente) los lados de un Conocimiento la función de pertenencia
triángulo que no “midan” un número, debe ser obtenida del experto en ese
sino una función de distribución de dominio de conocimiento. Esta función
probabilidad. Posteriormente se han no ha de ser confundida con una
revelado como herramienta adecuada función de distribución de probabilidad
para formalizar la intersección borrosa. basada en la repetición de las
Pero para completar un tipo de observaciones, sino en la opinión del
razonamiento análogo al que se realiza experto.
con lógica clásica es necesario definir La representación habitual del
el concepto de implicación. Una conocimiento en términos borrosos se
implicación borrosa I es en general una realiza por medio de reglas, del tipo:
función de la forma: Si x1 es A1,1
y/o x2 es A2,1
I: [0, 1] x [0, 1] → [0, 1] y/o xn es A1,n
Para cualesquiera dos valores ciertos a Entonces y es B1
y b de proposiciones borrosas p, q, Cada variable que interviene como
define el valor cierto I(a, b) de la hipótesis en una regla tiene asociado un
proposición condicional “si p entonces dominio. Cada dominio puede estar
q”. Es una extensión de la implicación dividido en tantos Conjuntos Borrosos
clásica p → q del dominio restringido como el experto considere oportuno.
{0, 1} al dominio completo [0, 1]. Cada una de estas particiones tiene
asociada una Etiqueta Lingüística.
E1 E2 E3 E4 E5 E6 E7 E8 E9
1
FIGURA 1.
0 .1 .5 .6 .7 .8 .9 1
Representación de .2 .3 .4
un «term set» 0 .140 150 160 170 180 190 200 210 220 cm.
0.8
0.4
. F
θ
22.5 36 45 θ -11.25 -2.25 0 11.25 0 2.5 5
Ángulo A: Ángulo B: Ángulo de salida:
Positivo pequeño Aproximadamente cero Positivo pequeño
1 1 1
0.8
0.6
. F
θ
22.5 36 45 θ -11.25 -2.25 0 11.25 2.5 5 7.5
0
15 25 35 45 55
FIGURA 5. Conjuntos borrosos
Temperatura Temperatura
R1 R2
alta media
1 1
0.8
0.50
0 0
15 25 35 45 55 15 25 35 45 55
40 40
FIGURA 6. Reglas R2 y R3