Fundamentos de Matemtica Difusa

Daniel Reina
Director:
Leonardo Jimnez Moscovitz
Matemtico
Especialista en Informtica y Ciencias de la Computacin
Fundacin Universitaria Konrad Lorenz
Facultad de Matemticas
10 de junio de 2008
Resumen
Este trabajo presenta la base fundamental de la matemtica difusa,
dentro del desarrollo de un proyecto de investigacin en la Universidad.
Se tratan los conjuntos difusos, la lgica difusa y la aritmtica difusa y
las operaciones lgicas, conjuntistas o aritmticas que se pueden realizar
1
con estos objetos, as como sus propiedades. El tema se ha desarrollado
buscando en lo posible una presentacin preferiblemente axiomtica
2
ndice
Introduccin 4
1. Preliminares 6
1.1. Desarrollo Intuitivo de la Matemtica Difusa . . . . . . . . . . . 6
2. Fundamentacin de la Matemtica Difusa 10
2.1. Conjuntos Difusos y Lgica Difusa . . . . . . . . . . . . . . . . . 10
2.2. La Funcin de Pertenencia . . . . . . . . . . . . . . . . . . . . . . 13
2.3. Nmeros Difusos . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.4. Variables Lingsticas . . . . . . . . . . . . . . . . . . . . . . . . 25
2.5. Proposiciones y Conectivos . . . . . . . . . . . . . . . . . . . . . 26
2.6. Cuanticadores Difusos . . . . . . . . . . . . . . . . . . . . . . . 29
2.6.1. Cuanticadores Difusos Absolutos . . . . . . . . . . . . . 30
2.6.2. Cuanticadores Difusos Relativos . . . . . . . . . . . . . . 31
2.7. Modicadores Lingsticos (Linguistic Hedge) . . . . . . . . . . . 33
3. Operaciones Difusas 34
3.1. Operaciones entre Conjuntos Difusos . . . . . . . . . . . . . . . . 34
3.1.1. Complementos Difusos . . . . . . . . . . . . . . . . . . . . 35
3.1.2. Intersecciones Difusas (T-normas) . . . . . . . . . . . . . 37
3.1.3. Uniones Difusas (T-conormas) . . . . . . . . . . . . . . . 39
3.2. Operaciones Aritmticas en Intervalos Difusos . . . . . . . . . . . 40
3.3. Operaciones Aritmeticas en Nmeros Difusos . . . . . . . . . . . 43
3.4. Reticula de Nmeros Difusos . . . . . . . . . . . . . . . . . . . . 48
4. Inferencia Difusa 55
4.1. Inferencia para Proposiciones Difusas Condicionales . . . . . . . 55
4.1.1. Modus Ponens Generalizado . . . . . . . . . . . . . . . . . 57
4.1.2. Modus Tollens Generalizado . . . . . . . . . . . . . . . . . 58
4.1.3. Silogismo Hipottico Generalizado . . . . . . . . . . . . . 59
4.2. Inferencia para Proposiciones Difusas Condicionales Calicadas . 60
4.3. Inferencia de Proposiciones Cuanticadas . . . . . . . . . . . . . 63
5. Conclusiones 67
Referencias 69
Introduccin
Este trabajo forma parte del desarrollo del proyecto de investigacin del
Grupo Promente de la Fundacin Universitaria Konrad Lorenz, en el proyecto
denominado Desarrollo de un Producto de Software para aplicacin de la Lg-
ica Difusa a los problemas de Regresin y Clasicacin, dentro de la lnea de
Sistemas Computacionales Bioinspirados
Dentro de los intereses del Grupo de Investigacin Promente, se encuentra
por supuesto el de la investigacin sobre la fundamentacin matemtica. Este
trabajo pretende introducir justamente los formalismos matemticos, desde un
punto de vista puramente terico, aunque se introducen algunos ejemplos con el
n de aclarar los conceptos. Sin embargo, el alcance de este trabajo no pretende
conecta la teora con los sistemas prcticos, tema que se desarrolla por otros
integrantes del grupo de investigacin.
Dentro de la literatura que se consigue en el rea de los sistemas difusos,
es proporcionalmente escasa la que se puede conseguir en idioma espaol, y
ms escasa an la que trata de los temas matemticos que se encuentran en los
propios fundamentos de los sistemas difusos. Dentro del exmen bibliogrco
que se realiz, an en idioma ingls, pocos son los libros que tratan esta funda-
mentacin terica con la suciente profundidad. Se examin particularmente el
libro de Ross [Ros04], que contiene abundante informacin tanto a nivel teri-
co como aplicado, as como el libro de George Klir y Bo Yuan, Fuzzy Sets and
Fuzzy Logic [Gky95] que tiene tambin una excelente profundidad y tratamiento
matemtico.
El presente trabajo se basa fuertemente en el libro de Klir & Yuan, del cual
se toman varios ejemplos y desarrollos. Se hizo de esta manera para ir propor-
cionando, tanto al grupo de investigacin como a quien consulte el libro de Klir
& Yuan, de un punto de entrada al mismo y al excelente tratamiento y temtica
que el cobija. El tratamiento que aqu se hace de los temas abordados no es
exhaustivo, dado que por limitaciones de tiempo y por los propios intereses del
grupo, se ha centrado en solo algunos de los temas ms relevantes alli tratados.
Se espera con esto contribuir en algo a la literatura en idioma espaol sobre esta
temtica, as como familiarizar al lector con los temas que trata el libro de Klir
& Yuan.
En el captulo 1 se hace una presentacin intuitiva del concepto de matemti-
ca difusa, presentando un ejemplo simple. Alli se hace una presentacin inicial
de los conceptos de conjunto difuso y funcin de pertenencia, entre otros. En el
captulo 2, se presenta la fundamentacin axiomtica bsica de la matemtica
difusa y una denicin ms formal de la funcin de pertenencia y sus propieda-
des. Con base en esto, se introduce el concepto de nmero difuso, llevando as el
concepto de conjunto difuso al campo de los nmeros reales o un subconjunto
de ellos. Por otra parte, se presentan las variables lingsticas y los llamados
modicadores lingsticos, que facilitan la conexin de la teora estudiada con
las expresiones ms usuales del lenguaje natural que utiliza el ser humano en
su comunicacin habitual. Se expone tambin la teora ms general sobre los
cuanticadores difusos, mencionando solo dos de los ms importantes.
4
En el captulo3 se presentan las operaciones difusas. Por una parte, se ex-
ponen las operaciones con conjuntos difusos, tales como complemento, unin e
interseccin, para pasar luego a las operaciones aritmticas tanto con nmeros
como con intervalos difusos. Se exponen las retculas de nmeros difusos, que
permiten introducir el concepto de orden en ellos. En el captulo 4 se exponen
los principales conceptos relacionados con la inferencia difusa, as como algunos
de sus principales esquemas.
Dentro de los temas que no se tocan en este trabajo, est el de los mecan-
ismos de inferencia prcticos (que corresponden a otros integrantes del grupo
de investigacin). Por supuesto que tampoco se toca la mecnica prctica que
utilizan. No se aborda por ejemplo el tema de las relaciones difusas, por cuanto
no era relevante en esta etapa del proyecto de investigacin.
El trabajo se ha desarrollado en LaTex siguiendo muy de cerca las normas
AMS (American Mathematical Association) para la presentacin de trabajos en
matemticas.
5
1. Preliminares
El concepto intuitivo de conjunto clsico corresponde al de una coleccin de
objetos, reunidos usualmente mediante la referencia a alguna propiedad que los
caracteriza. En teora de conjuntos clsica, un conjunto esta bien denido si se
puede determinar de manera absoluta si determinado elemento pertenece o no
al conjunto sin ninguna ambigedad.
Las operaciones que se pueden realizar con los conjuntos clsicos, tales como
la unin, interseccin, complemento, diferencia se denen mediante axiomas
sencillos que, como se ver en el desarrollo del trabajo, corresponden a casos
particulares de la matemtica difusa, en particular de los conjuntos difusos.
La lgica clsica igualmente se puede considerar como un caso particular de
la lgica difusa. Por tanto, es conveniente tener presente tanto los fundamentos
de la misma, las operaciones que se pueden realizar con los objetos de la lgica,
y las principales propiedades.que poseen dichas operaciones.
La idea de la matemtica difusa naci en un artculo de Lot A. Zadeh pub-
licado en 1965, que tena por ttulo "Fuzzy Sets.
en
la cual se permite representar
de forma matemtica conceptos difusos, borrosos o imprecisos. La matemtica
difusa tiene en cuenta que solo en pocas ocasiones el concepto de blanco/negro
o verdadero/falso es absoluto. Por el contrario, existen innitos tonos de gris
o valores de verdad en muchos de los aspectos de la realidad. Tras la publi-
cacin de la obra de Lot A. Zadeh, la lgica difusa comenz a tener auge y se
desarrollaron rpidamenta aplicaciones con base en ella.
1.1. Desarrollo Intuitivo de la Matemtica Difusa
Un conjunto clsico es denido de tal manera que divide los individuos en
grupos: miembros y no miembros. Esta divisin es bien denida, no ambiga,
y se da de manera abrupta, y puede ser sucientemente vlida para algunos
conceptos y conjuntos, como por ejemplo la pertenencia de un nmero a N, o
de una letra determinada al conjunto de las vocales en el idioma espaol.
Siendo as, una funcin de pertenencia para un conjunto clsico A se puede
denir como:
v
A
=
_
0 si el elemento no pertenece a A
1 si el elemento pertenece a A
(1)
Sin embargo, muchos conceptos de clasicacin presentan otra caracterstica.
Por ejemplo el conjunto de las personas altas o de los autos veloces, no tienen
una frontera clara de clasicacin, la cual se caracteriza ms bien por ser poco
precisa, de manera que se puede considerar la transicin gradual desde la no
pertenencia hasta la pertenencia total al conjunto.
Para denir un conjunto difuso, se debe establecer una funcin de pertenen-
cia (o tambin llamada funcin de membresa en algunos textos) que permita
asignar a cada elemento, un valor real que indica que tanto pertenece al conjun-
to, generalmente en el intervalo unitario [0, 1] .Los valores ms grandes denotan
superior grado de pertenencia al conjunto, mientras que los valores pequeos de-
notan poca pertenencia. En los extremos, se tiene que el valor 0 denota ninguna
6
pertenencia mientras que el valor 1 denota pertenencia total..Usualmente se uti-
liza cualquiera de las siguientes notaciones para hacer referencia a esta funcin:

A
: X [0, 1] (2)
A : X [0, 1] (3)
donde el smbolo Adenota tanto al conjunto como a la funcin de pertenencia
asociada. Se utilizar esta ltima notacin, de la cual se puede vericar que no
genera ninguna ambigedad.
En el campo aplicativo, la lgica difusa ha llegado a ser importante por
cuanto permite al cientco e ingeniero explotar la tolerancia a la imprecisin
que se da en situaciones y problemas reales. La lgica difusa es de gran valor
principalmente en los siguentes casos:
Situaciones complejas donde es prcticamente imposible tener un modelo
matemtico que la represente adecuadamente. Esto puede deberse en parte
a la complejidad del problema, y en parte a que no se tiene suciente
informacin sobre el mismo.
Situaciones complejas donde intentar obtener una alta precisin puede
llegar a ser muy costoso.
Situaciones donde obtener una alta precisin puede requerir demasiado
tiempo.
Situaciones donde la solucin encontrada por los mtodos clsicos requiere
simplicar excesivamente el problema real. En otras palabras, mediante los
mtodos clsicos se obtendra un modelo que no representa con adecuada
delidad la situacin de inters.
As, la lgica difusa tiene un gran potencial para entender sistemas que son
esquivos a desarrollos analticos por su complejidad [Ros04]. Este tipo de prob-
lemas no est circunscrito a ser de un determinado tipo; por ejemplo, pueden
ser de tipo lineal o no lineal. En casos donde se presenta esta incertidumbre,
es conveniente utilizar aproximadores universales, esto es, sistemas que de-
scriben en cierta manera el comportamiento de sistemas complejos, usualmente
no lineales.
Los sistemas difusos pueden verse como aproximadores universales, es-
to es, sistemas que describen en cierta manera el comportamiento de sistemas
complejos, usualmente no lineales. Esta condicin de aproximador universal ha
sido demostrado en varios trabajos [Kos94]. En ellos se lleg a establecer un iso-
morsmo entre el lgebra abstracta y lineal y la estructura de un sistema difuso.
Dicho isomorsmo se basa en esencia, en que el desarrollo de los sistemas difusos
se basan en el teorema de aproximacin de Stone-Weierstrass, que es-
tablece que toda funcin real contnua cuyo dominio es un intervalo compacto,
esto es cerrado y acotado, puede ser aproximado uniformemente por polinomios.
7
Por otra parte, es comn que al abordar inicialmente el tema de la lgica
difusa asocie erradamente este trmino con la probabilidad como tal. Sin em-
bargo [Ros04] hace una clara distincin entre estos dos trminos: "difuso"hace
referencia a una falta de distincin de un evento, mientras que la probabilidad
describe la incertidumbre en la ocurrencia de dicho evento.
Los conjuntos difusos representan conceptos lingsticos como bajo, medio
y alto, que se emplea a menudo para denir los estados de una variable. Tal
variable normalmente se llama variable difusa. En Fig.1(a), por ejemplo, la
temperatura dentro de un rango [T
1
, T
2
] se caracteriza como una variable difusa,
y se contrasta en la g.1(b). Los estados de la variable difusa all indicados son
conjuntos difusos que representan cinco conceptos lingsticos: muy bajo, bajo,
medio, alto, muy alto. Todos ellos estan denidos por las funciones de pertenencia
que se pueden expresar de la siguente forma:
[T
1
, T
2
] > [0, 1].
Figura 1: Comparacin entre conjuntos difusos y clsicos.
La importancia de las variables difusas es que ellas facilitan las transiciones
graduales entre los estados y por consiguiente, poseen una capacidad natural
para expresar y tratar con observacin e incertidumbre en la medida. Una me-
dida suminstrada al sistema representado en la g.1(a) es clasicada en algn
estado segn la frontera que la cobije mayormente.La incertidumbre en cuanto
8
al estado alcanza el valor mximo en cada frontera donde trapecios adyacentes
se intersectan. En ese punto, una medida debe considerarse como evidencia para
cualquiera de los dos estados en la frontera. Al tratar con las variables clsicas,
g. 1(b), el caso es muy diferente, ya que la incertidumbre incluso se ignora
en este caso extremo; la medida se considera como evidencia exclusiva para
uno de los estados en la frontera, dependiendo de cual estado contiene al punto
fronterizo en la denicin matemtica.
Dado que las variables borrosas capturan las incertidumbres de la medida
como la parte de datos experimentales, ellos se armonizan ms a la realidad
que las variables clasicas. Es una paradoja interesante que las bases de datos
alimentadas con variables borrosas nos proporcionan, de hecho, evidencia ms
exacta y ms real de los fenmenos que la base de datos alimentadas con las
variables clsicas.
Aunque la matemtica basada en los conjuntos difusos tiene mejor capaci-
dad expresiva que la matemtica basada en los conjuntos clsicos, su utilidad
depende crticamente de la capacidad que se tenga para construir las funciones
de pertenencia apropiadas para diferentes conceptos den diferentes contextos.
Ejemplo 1.1 (Conjunto Difuso) Se considerarn [Gky95] ahora tres conjun-
tos difusos que representan los conceptos de persona joven, de mediana edad y
vieja.Se puede obtener una expresin razonable de estos conceptos si se utilizan
Edadx
Mediana Edad A
Figura 2: Funcin de pertenencia trapezoidal.(ejemplo tomado de [Gky95]).
funciones de pertenencia trapezoidales A
1
, A
2
, A
3
tal se muestra en Fig.2. Estas
funciones se pueden denir en el intervalo [0, 80] como sigue:
9
A
1
(x) =
_

_
1 cuando x 20
(35x)
15
cuando 20 < x < 35
0 cuando x 35
(4)
A
2
(x) =
_

_
0 cuando x < 20 o x > 60
(x20)
15
cuando 20 < x < 35
(60x)
15
cuando 45 < x < 60
1 cuando x 60
(5)
A
3
(x) =
_

_
0 cuando x 4520
(x45)
15
cuando 45 < x < 60
1 cuando x 60
(6)
Es necesario en algn momento realizar una de las posibles aproxima-
ciones discretas de los valores difusos. Las aproximaciones son importantes
porque, como se ver posteriormente, son necesarias en las representaciones y
en el clculo de conjuntos difusos. Por ejemplo, se puede tomar la funcin A
2
,
que se muestra en la ec. 5 y la g.2 y denir la aproximacin discreta como
sigue:
Es importante notar la simetra implcita en la denicin de la aproximacin
discreta.
2. Fundamentacin de la Matemtica Difusa
2.1. Conjuntos Difusos y Lgica Difusa
El alfabeto utilizado en la lgica difusa es en gran parte similar a la lgica
clsica. Por una parte, se requieren proposiciones, conectivos, y en general, de
un lenguaje mediante el cual se pueda expresar de manera clara. Por una parte,
se ver ms adelante que la lgica difusa se puede ver como una extensin de la
lgica tradicional en muchos aspectos. Como tal. toma parte de sus elementos
de ella.
La matemtica difusa se basa en una fundamentacin axiomtica similar a la
teora de probabilidades, con la cual comparte la mayora de los axiomas. Este
constructo requiere la denicin de una retcula que consiste de los siguientes
nodos:
1. X que es el universo del discurso.
2. T que es un elemento maximal.
3. F que es un elemento minimal.
10
x D
2
x
x 22, 24, . . . , 58 0. 00
x 22, 58 0. 13
x 24, 56 0. 27
x 26, 54 0. 40
x 28, 52 0. 53
x 30, 50 0. 67
x 32, 48 0. 80
x 34, 46 0. 93
x 36, 38, . . . , 44 1. 00
Figura 3: Aproximacin Discreta de la funcin de pertenencia A
2
mediante la
funcin D
2
de la forma: D
2
: 0, 2, 4, ..., 80 [0, 1] . [Gky95].
4. la conjuncin.
5. la disyuncin.
La retcula se puede denotar por L(X, T, F, , ) .Las letras x, y, z denotan
elementos de X dentro de la retcula.
Los axiomas presentan inicialmente, la denicin de la retcula:
Axioma 2.1 (Idempotencia) Para todo x L, se tiene que:
x x = x x = x (7)
Axioma 2.2 (Conmutatividad) Para todo x, y L, se tiene que:
x y = y x (8)
x y = y x (9)
Axioma 2.3 (Asociatividad) Para todo x, y, z L, se tiene que:
x (y z) = (x y) z (10)
Axioma 2.4 (Absorcin) Para todo x, y L, se tiene que:
x (x y) = x (11)
x (x y) = x (12)
11
Axioma 2.5 (Elemento Maximal y Minimal) Para todo x L se tiene
que:
x T = T y x T = x (13)
Axioma 2.6 (Relacin de rden) Para todo x, y L se tiene que:
x y si existe z L tal que y = x z (14)
A cada elemento de la retcula se le puede aplicar una funcin de val-
uacin, que indicar su valor de verdad en el intervalo [0, 1] . La funcin de
valuacin de denotar por
p : L [0, 1] (15)
y est sujeta a las siguientes condiciones:
Axioma 2.7 p(F) = 0 y p(T) = 1
Axioma 2.8 Para todo x, y L,
si x y entonces p(x) p(y) (16)
Axioma 2.9 (Aditividad) Para todo x, y L,
p(x y) +p(x y) = p(x) +p(y) (17)
donde p(x y) mn(p(x), p(y)) max(p(X), p(y)) p(x y)
Axioma 2.10 (Equivalencia o Congruencia) Para todo x, y L,
x y si p(x y) = p(x y) (18)
Los10 axiomas anteriores son comunes a prcticamente la totalidad de las
lgicas.
Axioma 2.11 (Distancia) Para todo x, y L,
d(x, y) = p(x y) p(x y) (19)
donde d(x, y) cumple que 0 = d(x, x) d(x, y) 1
Axioma 2.12 (Medida de Equivalencia) Para todo x, y L, se tiene:
p(x y) = 1 d(x, y) = 1 p(x y) +p(x y) (20)
Axioma 2.13 (Medida de la Fuerza de la Implicacin.) Para todo x, y
L, se tiene:
p(x y) = p(x x y) (21)
= 1 d(x, x y)
= 1 p(x) p(x y)
= 1 +p(y) p(x y)
= 1 d(x, x y)
12
Axioma 2.14 (Negacin) Para todo x L, se cumple
p( x) = p(x F) = 1 p(x) = 1 d(x, F) (22)
Axioma 2.15 (Distributividad) Para todo x, y, z L, se tiene que
x (y z) = (x y) (x z) (23)
Axioma 2.16 (Implicacin Estricta) Para todo x, y L, se tiene que
p(x y) = 1 p(y x) = 1 (24)
La versin debilitada del axioma es tomada usualmente por la lgica difusa:
p((x y) p(y x)) = 1 (25)
La funcin de valuacin (ec. 15) es equivalente a la ec. 3, cuyas propiedades
y caractersticas se explican en la seccin 2.2.
2.2. La Funcin de Pertenencia
La funcin de pertenencia describe toda la informacin contenida en un
conjunto difuso. Tal como se mencion en la seccin 1.1, se espera que esta
funcin sea contnua, cerrada y acotada, y que posea algunas propiedades que
la hagan interesante.
Denicin 2.1 (Propiedades de Funcin de Pertenencia) Dado un con-
junto difuso A, se espera que su funcin de pertenencia cumpla con las siguientes
propiedades:
1. Propiedad de Normalidad: debe existir x A tal que A(x) = 1. Si
se tiene que A(x) < 1 para todo x A, al conjunto difuso se le llama
subnormal.
2. Propiedad de Monotonicidad: si x
1
es ms prximo a x que el valor
x
2
, entonces A(x
1
) > A(x
2
)
3. Propiedad de Simetra: Si x
1
y x
2
son equidistantes de x, entonces
A(x
1
) = A(x
2
)
Algunas funciones de pertenencia de uso comn, que cumplen con las pro-
piedades mencionadas, se muestran en la g. 4.
Uno de los conceptos ms importantes de conjuntos difusos es el concepto
de corte y su variante el corte estricto, que se exponen en la siguiente
denicin.
13
1
.5
0
1 2 3
A (x)
0 4 x
1
1
.5
0
1 2 3
A (x)
0 4 x
1
1
.5
0
1 2 3
A (x)
0 4 x
1
1
.5
0
1 2 3
A (x)
0 4 x
1
1
.5
0
1 2 3
A (x)
0 4 x
1
Figura 4: Algunas funciones de transferencia comunes.
Denicin 2.2 (Corte Alfa) Dado un conjunto difuso A denido en X y
cualquier nmero [0, 1], el corte , denotado por

A, y el corte estricto,
+
A,
son los conjuntos tradicionales o clsicos de la forma:

A = x/A(x) (26)
+
A = x/A(x) > . (27)
Esto es, son los conjuntos clsicos

A y
+
A donde estn contenidos todos
los elementos x del conjunto referencial X cuyo grado de pertenencia es mayor
que o igual al valor especco de .
Una propiedad importante de corte y corte estricto que siguen inmedi-
atamente de sus deniciones, es que la clasicacin total de valores de en
el intervalo [0, 1] es inversa en la forma que conserva la inclusin de los cortes
correspondientes, y de manera anloga para los cortes estrictos. Es decir,
para cualquier conjunto difuso A y para
1
,
2
[0, 1] de distinto valor tal que

1
<
2
, se tiene:
1
A
2
Ay
1+
A
2+
A. (28)
Esta propiedad tambin puede expresarse por las ecuaciones
1
A
2
A =
2
A,
1
A
2
A =
1
A, (29)
14
y

1
+
A

2
+
A =

2
+
A,

1
+
A

2
+
A =

1
+
A (30)
Una consecuencia obvia de esta propiedad es que todos los cortes y todos
los cortes estrictos de cualquier conjunto difuso forman dos familias distintas
de conjuntos clsicos anidados. Por ejemplo, los intervalos que representan los
cortes y los cortes estrictos de los conjuntos difusos A
1
, A
2
, y A
3
en la g.
2 cortan con el creciente. Desde que los conjuntos de nivel A
1
, A
2
, y A
3
son
todos [0, 1], claramente, las familias de todos los cortes y todos los cortes
estrictos son en este caso innitos para cada uno de los conjuntos.
En este punto conviene conocer la forma general de una funcin de perte-
nencia, y conocer los nombres asignados a algunas de sus partes.
Denicin 2.3 (Ncleo - core) El centro (core) de una funcin de pertenen-
cia para un conjunto difuso A se dene como la regin del universo que se carac-
teriza por la completa y total pertenencia de sus elementos al conjunto A. Esto
es, es el conjunto clsico denido como:
centro de A = x [ A(x) = 1 (31)
Luego el centro de A se puede denir como el corte
1
A.
Denicin 2.4 (Soporte - support) El soporte (support) de una funcin de
pertenencia para un conjunto difuso A se dene como la regin del universo que
se caracteriza por tener un grado de pertenencia al conjunto A, que sea mayor
que 0 Esto es, es el conjunto clsico denido como:
soporte de A = x [ A(x) > 0 (32)
Luego el soporte de A se puede denir como el corte estricto
0+
A
Denicin 2.5 (Frontera - boundary) La frontera (boundary) de una fun-
cin de pertenencia para un conjunto difuso A se dene como la regin del
universo que se caracteriza por tener un grado de pertenencia al conjunto A,
que sea mayor que 0, pero menor que 1 Esto es, es el conjunto clsico denido
como:
frontera de A = x [ 0 < A(x) < 1 (33)
Luego la frontera de A se puede denir como
0+
A
1
A.
Denicin 2.6 (Altura) La altura h(A) de un conjunto difuso A es el mayor
grado de pertenencia obtenido por cualquier elemento en ese conjunto. Formalmente:
h(A) = sup
xX
A(x). (34)
donde si el conjunto difuso cumple la propiedad de normalidad,se tiene que
h(A) = 1.
15
Ejemplo 2.1 Con base en el ejemplo 1.1, se puede tener una caracterizacin
completa de todos cortes y los cortes estrictos para los Paconjuntos difusos
A
1
, A
2
, A
3
segn la g. 2. Para todo (0, 1]
0
A
1
=
0
A
2
=
0
A
3
= [0, 80] = X

A
1
= [0, (35 15)]

A
2
= [(15 + 20) , (60 15)]

A
3
= [(15 + 45) , 80]
+
A
1
= (0, (35 15))
+
A
2
= ((15 + 20) , (60 15))
+
A
3
= ((15 + 45) , 80)
1+
A
1
=
1+
A
2
=
1+
A
3
=
Denicin 2.7 (Conjunto Nivel) El conjunto de todos los valores [0, 1]
para un conjunto difuso dado A es llamado un conjunto nivel de A. Formal-
mente,
(A) = /A(x) = para algn x X
donde denota el nivel del conjunto difuso A denido en X.
Ejemplo 2.2 Para el ejemplo 1.1 se tienen los siguientes conjuntos nivel:
(A
1
) = (A
2
) = (A
3
) = [0, 1]
(D
2
) = 0, 0,13, 0,27, 0,4, 0,53, 0,61, 0,8, 0,93, 1
Teorema 2.1 (Conjunto difuso convexo) Un conjunto difuso A en + es
convexo si y solo si
A(x
1
+ (1 )x
2
) mn[A(x
1
), A(x
2
)]
para todo x
1
, x
2
+ y todo [0, 1], donde mn denota al operador mnimo.
Demostracin. Es similiar a la demostracin para conjuntos clsicos.
1. Se asume que A es convexo y sea = A(x
1
) < A(x
2
).Entonces, x
1
, x
2

A y x
1
+ (1 )x
2

A para algun [0, 1] por la convexidad de A.

Luego
A(x
1
+ (1 )x
2
) = A(x
1
) = min[A(x
1
), A(x
2
)] .
2. Se supone que A satisface A(x
1
+ (1 )x
2
) min[A(x
1
), A(x
2
)], se
necesita demostrar que para cualquier (0, 1],

A es convexo.
16
Se tiene que cualquier x
1
, x
2

A. (esto es, A(x

1
) , A(x
2
) ), para
cada [0, 1],
Por A(x
1
+ (1 )x
2
) min[A(x
1
), A(x
2
)]
A(x
1
+ (1 )x
2
) min[A(x
1
), A(x
2
)] mn(, ) = ;
es decir x
1
+ (1 )x
2

A,

A es convexo para cualquier (0, 1].
Luego A es convexo.
Las tres operaciones bsicas en conjuntos clsicos que son complemento,
interseccin y unin, pueden generalizarse a los conjuntos difusos en ms de
una manera. Sin embargo, una generalizacin particular que es de inters es
la que produce las llamadas operaciones difusas estndar, que sonlas que se
tendrn en cuenta de ahora en adelante, y se denen a continuacin.
Denicin 2.8 (Complemento) El complemento normal

A, de un conjunto
difuso A con respecto al conjunto universo X es denido para todo x X por
la ecuacin

A(x) = 1 A(x) (35)

Los elementos de X para los que

A(x) = A(x) se llaman puntos de equi-
librio de A.
Para el complemento normal, es claro que el grado de funcin de pertenencia
de los puntos de equilibrio es de 0,5. por ejemplo, el punto de equilibrio de A
2
en Fig.2 es de 27,5 y 52,5.
Denicin 2.9 (Unin) Dado dos conjuntos difusos, A y B, la unin normal,
A B, se dene para todo x X por las ecuaciones
(A B)(x) = max[A(x), B(x)] (36)
Denicin 2.10 (Interseccin) Dado dos conjuntos difusos, A y B su inter-
seccin normal, A B, se dene para todox X por las ecuaciones
(A B)(x) = min[A(x), B(x)] (37)
Donde el min y max denotan al operador mnimo y al operador mximo, re-
spectivamente. Debido al asociatividad de min y max, estas deniciones pueden
extenderse a cualquier numero nito de conjuntos difusos. Con base en el ejemplo
1.1, se tiene que la operaciones de unin (A
1
A
3
) se puede denir grcamente
como se observa en la g 5.
Mientras que un ejemplo de las operaciones de interseccin y el complemento
se observan en la g. 6
Cualquier conjunto potencia difuso, denotado por F(X) puede verse como
una retcula, en la cual la interseccin difusa normal y la unin difusa normal
17
1
A
2
A (x)
3
(x)
3
x
x
x
A )
Figura 5: Unin difusa: A
1
A
3
segn el ejemplo 1.1.
18
x
x
x
x
(x) (B C)
(x)
(x) B
1
1
1
(x) (B C)
C
Figura 6: Operaciones difusas.para el ejemplo [Gky95]
19
juegan los papeles de nmo y supremo respectivamente. Esto satisface todas
las propiedades de la retcula Booleana denidas en la sec. ??, exceptuando la
ley de contradiccin y la ley de medio excluido. Tal retcula es a menudo llamada
un Retcula de De Morgan o un lgebra de De Morgan.
La retcula de De Morgan tambin puede denirse como el par (F(X), ),
donde el denota la inclusin difusa, gracias a la cual los elementos de F(X) es-
tn parcialmente ordenados. Entonces, si se tienen dos conjuntos difusos A, B
F(X), A es un subconjunto de B, y se denota (A B) si,
A(x) _ B(x)
para todo x X. Se puede vericar que con las operaciones difusas estndar,
A B si A B = A y A B = B para cualquierA, B F(X).
Si bien muchas propiedades de la lgica clsica y la lgica difusa se comparten
entre ellas, es necesario tener precaucin porque no sucede con todas las leyes.
Este es el caso de la Ley de Contradiccin. Si esta ley se cumpliera en lgica
difusa, se debera tener siempre que min[A(x), 1 A(x)] = 0. Esto se puede
traducir armando que o bien un valor de verdad o bien su contrario debe ser
totalmente falso (valor 0). Sin embargo, es fcil vericar que esta igualdad no se
cumple para cualquier valor A(x) (0, 1) y slo se cumple para A(x) 0, 1,
que corresponde al caso particular de los conjuntos clsicos.
Denicin 2.11 (Cardinalidad Escalar) Para cualquier conjunto difuso A
denido en un conjunto universal nito X, se dene la cardinalidad escalar, [A[
mediante la expresin
[A[ =

xX
A(x) (38)
Es usual encontrar que a [A[ se le llama cuenta sigma de A.
Ejemplo 2.3 Segn esta dencin, la cardinalidad escalar del conjunto difuso
D
2
denido en el ejemplo 1.1 es
[D
2
[ = 2(0,13 + 0,27 + 0,4 + 0,53 + 0,67 + 0,8 + 0,93) + 5 = 12,46
Al igual que un elemento tiene un grado de pertenencia a un conjunto difu-
so, se puede realizar una consideracin anloga respecto de la inclusin de un
conjunto en otro conjunto difuso. Para este ltimo caso, se habla del grado de
inclusin como una medida anloga al grado de pertenencia.
Denicin 2.12 (Grado de Inclusin) Sean A, B un par cualquiera de sub-
conjuntos difusos denidos en un conjunto universal nito X. El grado de in-
clusin de A en B, denotado por S(A, B), se dene mediante la expresin
S (A, B) =
1
[A[
_
[A[

xX
max[0, A(x) B(x)]
_
(39)
20
la cual se puede expresar de manera ms resumid, mediante algunas trans-
formaciones, de la forma
S(A, B) =
[A B[
[A[
(40)
En esta denicin, la

describe la suma de los grados a que la desigual-
dad del subconjunto A(x) _ B(x) se viola. La diferencia describe la falta de
estas violaciones, y la cardinalidad [A[ en el denominador permite normalizar la
expresin en el rango 0 S(A, B) 1 como es de esperarse.
2.3. Nmeros Difusos
Entre los diversos tipos de conjuntos difusos, de importancia especial son
los conjuntos difusos que se denen en el conjunto R de nmeros reales. Como
dicho conjunto es innito, el conjunto difuso tendr innitos miembros. Adems,
como en todo conjunto difuso, a cada nmero real se corresponde un valor de
pertenencia que es asignado por una funcin de pertenencia. Las funciones de
pertenencia de estos conjuntos tienen la forma
A : R > [0,1] (41)
Esta funcin tiene claramente un signicado cuantitativo y bajo ciertas
condiciones, se puede ver a A como un nmero difuso o intervalo difu-
so. En general, un nmero difuso se puede denir de manera breve tal como se
expone a continuacin.
Denicin 2.13 (Nmero Difuso) Se dene un nmero difuso como un
conjunto normalizado y convexo A R, cuya funcin de pertenencia es al
menos, contnua a trazos y tiene el valor funcional A(x) = 1 justo para un
elemento.
Analizando la anterior denicin, se tiene que el conjunto difuso se puede
ver intuitivamente como el conjunto de nmeros cercanos a un valor r en A, tal
como muestra la g. 7. El conjunto A debe ser normal, y bajo esta concepcin
el grado de pertenencia de r en cualquier conjunto difuso debe ser 1, o en otras
palabras, A(r) = 1. El soporte de un nmero difuso y todos sus cortes , para
,= 0, debe ser un intervalo cerrado, para permitir la denicion del signi-
cado de operaciones aritmticas en nmeros difusos en cuanto a las operaciones
aritmticas ordinarias en los intervalos cerrados, que son bien establecidas en
trminos del anlisis clsico de intervalos [Gky95].
Denicin 2.14 (Intervalo Difuso) Se dene un intervalo difuso como un
conjunto indeterminado normalizado y convexo A R que posee un intervalo
intermedio cuya funcin de pertenencia es como mnimo, contnua a trazos y
tiene el valor funcional A(x) = 1 justo para todo x del intervalo intermedio.
21
Intuitivamente, los nmeros o intervalos difusos se pueden ver como nmeros
o intervalos aproximados, como "los nmeros cercanos a un nmero real " o "los
nmeros reales que estan alrededor de un intervalo de nmeros reales"[Gky95]
Ya que un corte de cualquier nmero difuso requiere estar dentro de un
intervalo cerrado para todo (0,1], cada nmero difuso es un conjunto difuso
convexo. Lo inverso, sin embargo, no necesariamente es verdad, ya que cortes
de algunos conjuntos difusos convexos, quiz sean abiertos o intervalos abiertos
por la mitad.
Ejemplo 2.4 (Nmeros e Intervalos Difusos) La g. 7 muestra los sigu-
ientes casos:
1. El nmero real ordinario 1,3
2. El intervalo ordinario [1,25, 1,35].
3. Un nmero difuso que expresa la proposicin "cerca de 1.3".
4. Un intrervalo difuso que expresa la proposicin "cerca del intervalo [1.28,1.32]".
1
0
0
Figura 7: Nmero e Intervalo Difuso.
22
Las formas de la funcin de pertenencia ms usuales para los nmeros difusos
son precisamente las mostradas en la g. 7, aunque el tipo de aplicacin y la
necesidad pueden determinar el uso de otras formas, incluso asimtricas, tal
como se observa en la g. 8.
La funcin de pertenencia asimtrica de la g.8(c) aumenta hasta llegar a
cierto valor, mientras que la funcin de pertenencia de la g. 8(d) disminuye
despus de cierto valor, lo que tambin satisface los requisitos de los nmeros
difusos en el sentido que captan nuestra concepcin de un nmero grande y
nmero pequeo respectivamente, en el contexto de una aplicacin particular.
An cuando estas funciones tampoco cumplen la condicin de simetra, su im-
portancia y utilidad es clara.
1
1
0
0
A
C
a (b)
B
D
1
1
0
0
(d) (c)
Figura 8: Funciones de Pertenencia Asimtricas.
Teorema 2.2 (Representacin de nmero difuso) Sea A F(R). Enton-
ces, A es un nmero difuso.si en A existe un intervalo cerrado [a, b] ,= de tal
manera que
A(x) =
_
_
_
1 para x [a, b]
l(x) para x (, a)
r(x) para x (b, ),
(42)
23
Donde la funcin l es una funcin montona creciente, contnua a la derecha
denida como:
l : (, a) [0,1] (43)
de tal manera que l(x) = 0 para x (, w
1
). La funcin r es una funcin
montona decreciente, contnua a la izquierda denida como:
r : (b, ) [0, 1] (44)
de tal manera que r(x) = 0 para x (w
2
, ).
La implicacin del teorema 2.2 es que cada nmero difuso puede ser repre-
sentado de forma fragmentada, tal como se expone en la grca 9.
0
A
a
b
D
1
Figura 9: Representacin fragmentada de un nmero difuso.
Ejemplo 2.5 Se denen los cuatro nmeros difusos en el g.7 asi:
1. w
1
= a = b = w
2
= 1,3, ,l(x) = 0 para todo x (, 1, 3), r(x) = 0 para
todo x (1,3, ).
2. w
1
= a = 1,25, b = w
2
= 1,35, ,l(x) = 0 para todo x (, 1,25),
r(x) = 0 para todo x (1,35, ).
24
3. a = b = 1,3, w
1
= 1,2, w
2
= 1,4,
l(x) =
_
0 para x (, 1,2)
10(x 1,3) + 1 para x (1,2, 1,3]
r(x) =
_
0 para x (1,4, )
10(1,3 x) + 1 para x (1,3, 1,4]
4. a = 1,28, b = 1,32, w
1
= 1,2, w
2
= 1,4,
l(x) =
_
0 para x (, 1,2)
12,5(x 1,28) + 1 para x [1,2, 1,28)
r(x) =
_
0 para x (1,4,)
12,5(1,32 x) + 1 para x (1,32, 1,4]
Usando los nmeros difusos, se puede denir el concepto de cardinalidad
difusa para conjuntos difusos que estn denidos en conjuntos universales nitos.
Denicin 2.15 (Cardinalidad Difusa) Sea A un conjunto difuso denido
en un conjunto universo nito X. La cardinalidad difusa de A, denotada por
[A[, es un nmero difuso denido en N mediante la frmula

([

A[) = para todo (A).

Ejemplo 2.6 El cardinal difuso para el conjunto D
2
denido en la g. 3 cuyo
corte esta en la g. 2, es

=
0,13
19
+
0,27
17
+
0,4
15
+
0,53
13
+
0,67
11
+
0,8
9
+
0,93
7
+
1
5
= 0,572 82
2.4. Variables Lingsticas
Las variables difusas cuantitativas se formulan con ayuda del concepto
de nmero difuso, que permite representar el estado de dicha variable. Pero los
nmeros difusos se utilizan para representar conceptos lingsticos (tales como
peqeo, mediano, grande, etc), que pueden ser interpretados en un contexto
particular, se generan estructuras llamadas variables lingsticas [Gky95].
Cada variable lingstica cuyo estado se expresa mediante terminos lings-
ticos interpretados como nmeros difusos especcos es denido en terminos de
una variable base, cuyos valores son nmeros reales dentro de un rango
especco. Una variable base es una variable en el sentido clsico (por ejemplo
la temperatura, la presin, la velocidad, el voltaje, la humedad, etc.) as co-
mo cualquier otra variable numrica, (por ejemplo, envejecer, actuacin, sueldo,
cantidad de sangre, probabilidad, abilidad, etc.). En una variable lingsti-
ca se representan valores aproximados de terminos linguisticos de una variable
base, pertinente a una aplicacin particular, capturados por los nmeros difusos
apropiados.
25
Denicin 2.16 (Variable Lingstica) Una variable lingstica se carac-
teriza totalmente por un quntuplo (v, T(x), X, g, m) en donde
v es el nombre de la variable lingstica,
X es el conjunto universo
T es el conjunto de terminos lingsticos de v que se reere a una variable
base.de quien el rango de valores es un conjunto X,
g es una regla sintctica (una gramtica) por lo general los trminos
lingsticos en T, y
m es una regla semntica que asigna a cada trmino lingstico t T su
signicado m(t) que es un conjunto difuso en X. Es decir m : T F(X).
Para hacer claridad en estos conceptos conviene introducir aqu un ejemplo,
tomado de [Gky95].
Ejemplo 2.7 Un ejemplo de una variable lingstica se muestra en la g.10. El
nombre de la variable lingstica es .
a
ctuacin"(performance). Esta variable ex-
presa la actuacin (variable base en este ejemplo) de la entidad meta-orientada
(una persona, la mquina, la organizacin, el mtodo, etc.) en un contexto dado
por cinco terminos lingsticos bsicos, que son: muy pequeo, pequeo, medi-
ano, grande, muy grande, vistos como condiciones lingsticas generadas por
una regla sintctica (no explcitamente mostrado en la g.10), como no muy
pequeo, grande o muy grande, muy muy pequeo, y asi sucesivamente.
A cada uno de los trminos lingsticos bsicos es asignado uno de los cinco
nmeros difusos segn una regla semntica, como mostrado en la gura [Gky95].
Los nmeros difusos cuyas funciones de pertenencia tienen la forma trapezoidal
usual, se han denido en el intervalo [0, 100].
2.5. Proposiciones y Conectivos
Las proposiciones difusas se diferencian de las proposiciones clsicas por el
rango de sus valores de verdad, ya que el grado de verdad de una proposicion
difusa se expresa por un numero en el intervalo de la unidad [0, 1] , mientras que
el grado de verdad de una proposicin clsica se encuentra nicamente en los
extremos de dicho intervalo, esto es 0, 1
Las proposiciones difusas que se puedan encontrar en los textos son expre-
sadas generalmente en cuatro tipos:
1. Las proposiciones incondicionales e inhabiles.
2. Las proposiciones incondicionales y calicadas.
3. El condicional y las proposiciones inhabiles.
4. El condicional y las proposiciones calicadas.
26
Variable
Linguistica
Valores
Linguisticos
PEQUEO
MEDIANO MUY ALTO Regla
Semantica
Restriccin
Difusa
Variable Base
Figura 10: Ejemplo de variable lingstica (tomado de [Gky95]).
Denicin 2.17 (Proposiciones Incondicionales No-Calicadas) Una pro-
posicin incondicional no-calicada es una expresin p de la forma
p : 1 es F (45)
donde 1 es una variable que toma valores v de algun conjunto universal de
valuaciones V , y F es un conjunto difuso en V que representa un predicado
difuso.
Si T(p) es el grado de verdad de la proposicin p, y v es un valor particular
de 1, entonces v F con grado de pertenencia F(v), y se cumple que
T(p) = F(v) (46)
La expresin se puede generalizar si 1 es asignada segn un determinado
conjunto ndice I, de tal manera que 1 : I V, donde si i I, y V es el
conjunto de valores que puede eventualmente tomar 1 (i) , la expresin de la ec.
toma la forma ms general
p : 1 (i) es F donde i I (47)
T(p) = F (1 (i)) (48)
El papel que cumple la ec.46 es de vital importancia, ya que provee un puente
de conexin entre la teora de conjuntos y las proposiciones difusas, tal como se
ver en el ejemplo 2.8.
27
Ejemplo 2.8 Sea 1 una variable que representa la temperatura. Sea "altan
predicado, donde "alta" F. Sea p una proposicin difusa que espresa:
p : La temperatura (1) es alta (F)
De acuerdo con la denicin, el grado de verdad T(p) depende tanto del
valor real de la temperatura como de la denicin de .
a
lta". Suponga ahora que
se tiene la funcin de pertenencia denida en la g. 11
Figura 11: Ejemplo de la Temperatura (tomado de [Gky95]).
Se sabe que 1 toma valores particulares de acuerdo v con la temperatura. Si
se tiene como caso particular que 1 = v = 85 grados, tal como se indica en la
grca, el grado de pertenencia que le corresponde es de F(v) = F(0,85) = 0,75.
Y de acuerdo con la ec 46, y tal como se observa en la g. 12, T(p) = F(v) =
0,75.
Ejemplo 2.9 Sea I un conjunto de personas, cada persona se caracteriza por
su edad, y dado un conjunto difuso expresado por el predicado "joven", la forma
general p : V (i) es F sera p : edad(i) es joven.
El grado de verdad de esta proposicion T(p) es determinado para cada per-
sona i, luego T(p) = Joven(edad(i)).
Denicin 2.18 (Proposiciones Condicionales No-Calicadas) Una pro-
posicin condicional no-calicada es una expresin p de la forma:
p : si 1 es F, entonces es G (49)
donde 1, son variables que toman valores respectivos v V, w W,
donde V, W son universos de valuaciones, y F, G son conjuntos difusos en
V, W que representa un predicado difuso.
28
Figura 12: Ejemplo de conexin entre Teora de Conjuntos Diusos y Proposi-
ciones Difusas.
Estas proposiciones tambin pueden verse como las proposiciones de la forma
1, es R, (50)
donde R es un conjunto difuso en el producto cartesiano 1 que es
determinado para cada v V y cada w Wde la forma
R(v, w) = j [1(v), (w)] (51)
donde j denota un operacion binaria en [0, 1], representando la implicacin
difusa conveniente de acuerdo con la necesidad.
2.6. Cuanticadores Difusos
Se puede extender el alcance de los predicados difusos mediante el uso de
cuanticadores difusos. Los cuanticadores difusos son nmeros difusos que
toman parte en las proposiciones difusas, con algunas especicaciones que se
introducen en esta seccin.
Los cuanticadores difusos pueden ser de de dos tipos: los absolutos, denidos
en R y los relativos, denidos en [0, 1].
29
2.6.1. Cuanticadores Difusos Absolutos
Los cuanticadores difusos absolutos estn denidos en R y se caracteri-
zan mediante determinados trminos lingsticos que lo evidencian: "casi 10",
"mucho ms de 1500", "aproximadamente 270", por ejemplo.
Las expresiones de este tipo se pueden representar formalmente de tres ma-
neras equivalentes:
p : Hay Q i

s en I tales que 1(i) es F (52)

p

: Hay Q E

s donde E(i) = F (1(i)) (53)

p

: X es Q (54)
donde p es la expresin ms analtica, p

es la expresin resumida, y p

es una
expresin equivalente an ms resumida y ms habitual en el lenguaje natural,
que pueden representar todas el mismo concepto como se ver en el ejemplo. Se
tiene en estas expresiones que Q es un nmero difuso en R, 1 es una variable
que asume el valor 1(i) para el individuo i I, y F es un conjunto difuso
constituido por todos los posibles valores de 1.
En la ec. 54 se tiene que X es una variable que toma valores en R que
representa la cardinalidad del escalar del conjunto difuso, esto es, W = [E[ ,
donde [E[ =

iI
E(i) =

iI
F(1(i)).Adems, se puede vericar que
T(p) = T(p

) = T (p

) = Q([E[) . (55)
Ejemplo 2.10 Se tiene que p ="Hay alrededor de 57 trabajadores que tienen
buen rendimiento en ventas en la empresa". Donde I es el conjunto de tra-
bajadores, Q es el nmero difuso real .
a
lrededor de 57", 1(i) es el grado de
rendimiento del vendedor i, y F es el conjunto difuso denido con los posibles
valores de 1 que representan al trmino lingstico "buen".
Se puede tener una expresin para p

="Hay alrededor de 57 trabajadores

buenos-vendedores en la empresa".
Ejemplo 2.11 Sea la proposicin
p : "Hay aproximadamente tres estudiantes del curso cuya facili-
dad en ingls es alta".
Sea I conformado por los integrantes del curso, es decir I = {Andres, Blanca,
Carlos, Diego, Viviana}
Sea 1 es una variable con los valores en el intervalo [0, 100] grados que expre-
san la facilidad para el ingls, 1(i) es la facilidad en ingls del integrante i. F es
el conjunto difuso conformado por todos los posibles valores de 1. Comparando
la proposicin p con
p : "Hay Q is en I tal ese V (i) es F ,se puede ver que Q, en este
caso,es el cuanticador difuso .
a
proximadamente 3, y F es un conjunto
difuso que toma valores en [0, 100], y captura numricamente el trmino lings-
tico facilidad-alta. Q y F se denen en la g. 13 Se asume que:
30
V (Andres) = 35,
V (Blanca) = 20,
V (Carlos) = 80,
V (Diego) = 95,
V (Esteban) = 70.
El valor de verdad de la proposicin es:
E =
0
Andres
+
0
Blanca
+
,75
Carlos
+
1
Diego
+
,5
Esteban
.
Luego, se calcula el cardinal de E:
[E[ =

iI
E(i) = 2,25.
Finalmente, se usa T(p) = T(p) = Q([E[) para obtener el valor de verdad
de nuestra proposicin:
T(p) = 2(2,25) = 0,625.
Asumiendo, por otro lado, que las cuentas de los estudiantes no son cono-
cidas, no se construye E. La proposicin proporciona, en este caso, con la in-
formacin sobre los grados de posibilidad de varios valores del cardinal de E.
por ejemplo, Q(3) = 1, la posibilidad de [E[ = 3 es 1; esto es imposible porque
[E[ = 5, y as sucesivamente.
3
1
0
0.625
1 2 4 5 6
2.25
Q (E)
(E)
Q: cerca de 3
0.75
0.5
F(a)
1
0 50 100
Fluidez F:
a
Brenda
Andres
Carlos David
Figura 13: Grca para el ejemplo 2.11 (tomado de [Gky95])
2.6.2. Cuanticadores Difusos Relativos
Los cuanticadores difusos del segundo tipo se denen en [0, 1] y se carac-
terizan por terminos lingsticos que lo evidencian: "casi todos", "la mayora",
"poco ms de la mitad", por ejemplo. Se puede observar la representacin grca
de un cuanticador de este tipo en la g 14.
31
0 0.63
0.4
1
Casi Todo
1
Aprox mitad Medio
Figura 14: Cuanticador difuso denido en [0, 1] .
Las proposiciones difusas con los cuanticadores del segundo tipo tienen la
forma general
p : Entre los i

s en I tales que V (i) es F

1
hay Qi

s en I tales que V
2
(i) es F
2
(56)
p

: Q E

1
s son E

2
s (57)
p

: X es Q (58)
donde Q es un nmero difuso en [0, 1], y el signicado de los smbolos
restantes es el mismo como previamente se denieron, y E
1
, E
2
son los con-
juntos difusos:
E
1
(i) = F
1
(V
1
(i)) (59)
E
2
(i) = F
2
(V
2
(i)), i I (60)
Ejemplo 2.12 Un ejemplo de una proposicin de este formulario es la proposi-
cin Entre los estudiantes en una clase dada que es joven, casi todos
tienen la facilidad en ingls y nivel alto
Se puede modicar como sigue: Casi todo joven los estudiantes en una clase
dada son estudiantes cuya la facilidad en ingls es alta.
32
Tambin se llaman cuanticadores del primer tipo los cuanticadores abso-
lutos, mientras los cuanticadores del segundo tipo se llama los cuanticadores
relativos. Esta terminologa tiene el sentido cuando se comparan las deniciones
de la variable W para los cuanticadores del primer tipo y segundo tipo, dado
por las ecuaciones correspondientes.
2.7. Modicadores Lingsticos (Linguistic Hedge)
Los modicadores lingsticos son trminos lingsticos especiales que modi-
can otros trminos lingsticos. Algunos de ellos son, por ejemplo, mismo, ms
o menos, justamente, ligeramente, algo o sumamente Los modicadores difusos
se pueden usar para modicar tanto los predicados difusos, como el valor de los
grados de verdad difusa y las probabilidades difusas.
Ejemplo 2.13 una expresin con uso de modicador (en negrilla) es "x es una
persona ligeramente gorda".
Otra proposicin, tal como .
es
joven" que se asume signica x es joven es
verdad, puede afectarse por los modicadores de las siguiente maneras: es
verdad que x es muy joven, es muy cierto que x es joven.
En general, dada una proposicin difusa p, se puede modicar sta mediante
un modicador lingstico H, quedando formalmente as:
p : x es F (61)
Hp : x es HF, (62)
donde HF denota el predicado difuso obtenido aplicando el modicador H a
los datos del predicado F. Las modicaciones adicionales pueden ser obtenidas
aplicando el cerco al valor de verdad difuso o a la probabilidad difusa empleada
en la proposicin dada.
Dado un predicado difusoF en X, y un modicador h denido como una
operacin unaria asociada un modicador lingstico H [Gky95], el predicado
difuso modicado HF es determinado para cada x X en la ecuacin
HF(x) = h(F(x)) (63)
Esto signica que las propiedades de los modicadores lingsticos pueden ser
estudiadas observando las propiedades de los modicadores asociados. Cualquier
modicador h es un biyeccion creciente. Si h(a) < a para todo a [0, 1], el
modicador se llama fuerte; si h(a) > a para todo a [0, 1], el modicador
se llama dbil. El modicador especial vacio para el que h(a) = a se llama un
modicador identidad.
Denicin 2.19 (Modicador Lingstico Fuerte y Dbil) Un modica-
dor fuerte fortalece un predicado difuso al que es aplicado, reduciendo el valor
de verdad de la proposicin asociada. Un modicador dbil debilita el predicado
y el valor de verdad aumenta en la proposicin.
33
Por ejemplo, considere tres proposiciones difusas:
p
1
: John es joven,
p
2
: John es muy joven,
p
3
: John es bastante joven,
Matemticamente se permite que los modicadores lingsticos h se repre-
sente por a
2
si es fuerte, y por

a si es dbil. Si se asume que John tiene 26
aos y, segn el conjunto difuso JOVEN representando el predicado difuso joven,
JOVEN(26) = 0,8. Entonces, MUY JOVEN(26) = 0,8
2
= 0,64 y BASTANTE
JOVEN(26) =
_
(0,8) = 0,89. De, T(P
1
) = 0,8, T(p
2
) = 0,64, y T(p
3
) = 0,89.
Estos valores estn de acuerdo con nuestra intuicin: entre ms fuerte la asercin
es menor su valor de verdad y viceversa.
Teorema 2.3 (Propiedades del Modicador Lingstico h) Es fcil de-
mostrar que cada modicador h satisface las siguientes condiciones:
1. h(0) = 0 and h(l) = 1;
2. h es una funcin continua;
3. si h es fuerte, entonces h
1
es dbil y viceversa;
4. dado algun modicador g, las composiciones de g con h y h con g tam-
bin son modicadores y, si h y g son fuertes (o dbiles), entonces son
compuestas.
3. Operaciones Difusas
En este captulo se introducen o amplan los operaciones difusas ya vistas,
tanto para los conjuntos como para los nmeros e intervalos difusos.
3.1. Operaciones entre Conjuntos Difusos
En esta seccin se redenen las funciones como complemento, interseccin,
y unin, desde la persepectiva de los conjuntos difusos.
Para el complemento:

A(x) = 1 A(x) (64)

Para la interseccin:
(A B)(x) = min[A(x), B(x)], (65)
Para la interseccin:
(A B)(x) = max[A(x), B(x)], (66)
para todo x X. Estos son las operaciones difusas normales.
Se puede ver fcilmente, que las operaciones difusas normales se realizan
como las operaciones correspondientes para los conjuntos clsicos o tradicionales
34
cuando el rango de la funcion de pertenencia se restringe al conjunto 0, 1. Es
decir, las operaciones difusas normales son generalizaciones de las operaciones
de conjuntos clsicos. Se entiende ahora bien, sin embargo, que ellos no son
las nicas posibles generalizaciones. Para las tres operaciones, existe una clase
amplia de funciones cuyos miembros tambin calican como las generalizaciones
difusas de las operaciones clsicas. Estas tres clases de funciones se examinan en
las secciones siguientes, donde cada una se caracteriza por los axiomas descritos.
Funciones que calican como las intersecciones difusas y las uniones difusas
normalmente se divulgan en la literatura como las t-normas y t-conormas,
respectivamente.
Desde que el complemento, la interseccin y la unin difusa no son las nicas
operaciones, contrariamente a sus anlogos para la lgica clsica, diferentes fun-
ciones pueden ser denidas y funcionar apropiadamente para representar estas
operaciones en diferentes contextos.
Entre la gran variedad de complementos, intersecciones y uniones difusas
la propiedad de las operaciones difusas poseen ciertas propiedades que les dan
una importancia especial. Por ejemplo, la interseccin difusa normal (operador
min) produce el conjunto mas grande entre aqullos producidos por todas las
posibles intersecciones difusas (t-normas). La unin difusa normal (operador
max) produce, al contrario, el conjunto difuso ms pequeo entre los conjuntos
difusos producidos por todas las posibles uniones difusas (t-conormas).
Un rasgo deseable de los operaciones difusos normales es su prevencin in-
herente del componente de errores de los operadores. Si cualquier error es
asociado con la funcion de grados de pertenencia A(x) y B(x), entonces el error
mximo asociado con la funcion de pertenencia x en

A, A B, y A B sigue
siendo . La mayora de las operaciones de los conjunto difusos alternativos
carecen esta caracterstica.
Las intersecciones difusas (t-normas) y las uniones difusas (t-conorms) no
cubren todos los operaciones porque pueden agregarse los conjuntos difusos,
pero cubren todos agregando operaciones que sean asociativas [Gky95].
3.1.1. Complementos Difusos
Sea A un conjunto difuso en X. por la denicin, A(x) se interpreta como
el grado en el que x pertenece a A. donde cA denota un complemento difuso
de A de tipo c. Entonces, cA(x) puede ser no slo interpretado como el grado
a que x pertenece a cA, sino tambin como el grado a que x no pertenece a
A. Similarmente, A(x) tambin puede interpretarse como el grado a que x no
pertenece a cA.
Como una convencin de notacion, el complemento cA se dene por la fun-
cin
c : [0, 1] [0, 1] (67)
que asigna un valor c(A(x)) a cada grado de pertenencia A(x) para cualquier
conjunto difuso A. El valor c(A(x)) se interpreta como el valor de cA(x). Es
decir,
35
c(A(x)) = cA(x) (68)
para todo x X por denicin. Dado un conjunto difuso A, se obtiene cA
aplicando la funcin c a los valores A(x) para todo x X.
Se debe tener en cuenta que esta funcin c es totalmente independiente de los
elementos x que valoran al A(x) asignado; slo depende de los propios valores.
En la investigacin siguiente de su las propiedades formales, se puede ignorar x y
se asume que el argumento de c es un nmero arbitrario a [0, 1]. Sin embargo,
para usar la funcin pora determinar un complemento de un conjunto difuso A,
se tiene que guardar huella de elementos x para hacer la conexin entre A(x) y
cA(x) expresado por la ec. 68.
La funcin c debe ser tambin vlida intuitivamente, como los complementos
signicativos de conjuntos difusos. Para caracterizar la funcion c que produce
los complementos difusos signicativos, se pueden declarar intuitivamente las
propiedades justicables por lo que se reere a los requisitos axiomticos. Luego
se puede determinar la clase de funciones que satisfacen estos requisitos.
Para producir los complementos difusos signicantes, la funcin c debe sat-
isfacer por lo menos los axiomas denidos a continuacin.
Axioma 3.1 (Lmite Condicional para Complementos) Si c representa al
complemento difuso, entonces
c(0) = 1 (69)
c(1) = 0
Axioma 3.2 (Monotona para Complementos) Sea c el complemento di-
fuso. Para todo a, b [0, 1], se cumple que
a b c(a) (b). (70)
Axioma 3.3 (Continuidad del Complemento) Si c el complemento difuso,
c es una funcin contnua.
Axioma 3.4 (Propiedad Involutiva del Complemento) Si c el complemen-
to difuso, c es involutivo esto es, que para cada a [0, 1]
c(c(a)) = a
Segn el Axioma 3.1, la funcin c debe producir los complementos correctos
para los conjuntos clsicos. Segn el Axioma 3.2, se exige ser monotonamente
decreciente: cuando su grado de pertenencia en A aumenta (cambiando x), la
36
calidad del nmero de miembros correspondiente en cA no debe aumentar: puede
disminuir o, por lo menos, permanecer igual.
Hay muchas funciones que satisfacen los Axiomas 1 y 2. Para cualquier
conjunto difuso A, conjuntos difusos diferentes cA constituyen su complemento,
cada uno se produce por una funcin distinta c. toda funcion que satisface
los axiomas forman la clase ms general de complementos difusos. Es bastante
obvio que la exclusin o debilidad de estos axiomas agregaran algunas funciones
totalmente inaceptable como los complementos.
Una violacin del Axioma 3.1 incluira funciones que no conforman al com-
plemento normal para los conjuntos clasicos. El axioma 3.2 es esencial, se espera
intuitivamente que un aumento en el grado de pertenencia en un conjunto di-
fuso deba producir una disminucin o en el caso extremo, ningn cambio en el
grado de pertenencia de su complemento. Los Axiomas 3.2 y 3.2 son llamados
el esqueleto axiomtico para los complementos difusos.
En la mayora de los casos de importancia prctica, es deseable considerar
adicionar varios requisitos para los complementos difusos. Cada uno de ellos
reduce la clase general de los complementos difusos a un subclase especial. Dos
de los requisitos ms deseables que normalmente se listan en la literatura entre
los axiomas de complementos difusos estn especicados en los axiomas 3.3 y
3.4.
3.1.2. Intersecciones Difusas (T-normas)
La interseccin de dos conjuntos difusos A y B se especica en general por
una operacion binaria en el intervalo unitario; es decir, una funcin de la forma
i : [0, 1] [0, 1] [0, 1]. (71)
Para cada elemento x del conjunto universal, esta funcin toma como su
argumento el par que consiste en grado de pertenencia en los conjuntos A y B, y
retorna el grado de pertenencia de sus elementos que constituyen la interseccin
de A y B, asi,
(A B)(x) = i[A(x), B(x)] (72)
para todo x X.
Un orden para cualquier funcin i de esta forma para calicar una intersec-
cin difusa, debe tener propiedades apropiadas que aseguren que conjuntos difu-
sos producidos por i son intuitivamente aceptables como las intersecciones
difusas de cualquier par de conjuntos difusos. Esta funcion es conocida como
t-norma. De hecho, las t-normas son generalmente aceptadas como el equiva-
lente a la clase de intersecciones difusas. Se puede usar el termino t-normas o
intersecciones difusas.
37
Dada una t-norma y los conjuntos difusos A y B, se tiene que aplicar la ec.
72 para cada x X para determinar la interseccin de A y B basada en i. Sin
embargo, la funcin i es totalmente independiente de x; slo depende de los
valores A(x) y B(x). Se puede ignorar x y asumir que los argumentos de i son
los nmeros arbitrarios a, b [0, 1] en las propiedades formales de t-normas que
se examinan a continuacin.
Una interseccion difusa o t-norma i es una operacion binaria en el intervalo
unitario que satisface al menos los siguientes axiomas para todo a, b, d [0, 1]:
Axioma 3.5 (Lmite Condicional) i(a, 1) = a
Axioma 3.6 (Monotona para Interseccin) b d implica i(a, b) i(a, d)
Axioma 3.7 (Conmutatividad para Interseccin) i(a, b) = i(b, a)
Axioma 3.8 (Asociatividad para Interseccin) i(a, i(b, d)) = i(i(a, b), d)
Estos axiomas conforman el esqueleto axiomtico para las intersecciones o
t-normas difusas. Es fcil ver que los primeros tres axiomas aseguran que la
interseccin difusa denida por la ec 72 se vuelve la interseccin clsica cuando A
y B son clasicos: el i(0, 1) = 0 y i(1, 1) = 1 se sigue directamente del axioma del
lmite condicional; i(1, 0) = 0 se deriva entonces del axioma de commutatividad,
mientras que i(0, 0) = 0 del axioma monotonia. Cuando un argumento de i
es 1 la condicin del lmite y commutatividad tambin aseguran,como nuestra
concepcin intuitiva de los requerimientos interseccin difusa, que la calidad
del nmero de miembros en la interseccin es igual al otro argumento en la
expresin.
Monotonicidad y commutatividad expresan el requisito natural que una dis-
minucin en el el grado de nmero de miembros en conjuntos A o B no puede
producir un aumento en el grado de pertenencia en la interseccin. Commuta-
tividad asegura que la interseccin difusa simtrica, que es indiferente al orden
en que se consideran los conjuntos a ser combinados. El ltimo axioma, la aso-
ciatividad, asegura que se puede tomar la interseccin de cualquier nmero de
conjuntos en cualquier orden con parejas arbitrarias; este axioma permite ex-
tender el funcionamiento de interseccin difusa a ms de dos conjuntos.
En muchas ocasiones es deseable restringir la clase de intersecciones difusas
(t-normas) considerando varios requisitos adicionales. Tres de las restricciones
ms importantes se expresan por los axiomas siguientes, dadas las especica-
ciones para i, a, b dadas anteriormente:
Axioma 3.9 (Continuidad para Interseccin) i es una funcin continua
Axioma 3.10 (Subidempotencia para Interseccin) i(a, a) < a
Axioma 3.11 (Monotona Estricta para Interseccin) a
1
< a
2
y b
1
< b
2
implica i(a
1
, b
1
) < i(a
2
, b
2
)
38
El axioma de continuidad previene una situacin en que un pequeo cambio
en el grado de pertenencia de cualquier conjunto difuso A o B produzca una
discontinuidad en el grado de pertenencia A B.
El axioma de subidempotencia trata un caso especial, en que el grado de
pertenencia en A y B (para algn x) tiene el mismo de valor de a. El axioma
expresa el requisito que el grado de la funcion de pertenencia AB en este caso
especial no debe exceder a. Este requisito es ms dbil que el de idempotencia,
el requisito i(a, a) = a, es llamado el subidempotencia. Finalmente, el axioma
de monotona estricta expresa una forma ms fuerte que el de monotonicidad.
3.1.3. Uniones Difusas (T-conormas)
La discusin de uniones difusas es estrechamente paralela de intersecciones
difusas. Como la interseccin difusaa, la unin difusa general de dos conjuntos
difusos A y B se especica por una funcin
u : [0, 1] [0, 1] [0, 1]. (73)
El argumento a esta funcin es el par que consiste en el grado de pertenencia
de algunos elementos x en el conjunto difuso A y el grado de pertenencia de
ese mismo elemento en el conjunto difuso B. La funcin devuelve el grado de
pertenencia para los elemento en el conjunto difuso A B. De aqui,
(A B)(x) = u[A(x), B(x)] (74)
para todo el x X.
Las propiedades que una funcin u debe satisfacer para ser intuitivamente
aceptable como una unin difusa est exactamente igual que las propiedades de
funciones como que son conocido en la literatura como t-conormas. Se puede
usar los trminos t-conormas o uniones difusas indistintamente.
Un union difusa o t-conorma u es una operacion binaria en el intervalo
unitario que satisface por lo menos los axiomas que se enuncian a continuacin.
Para todo a, b, d [0, 1]:
Axioma 3.12 (Lmite Condicional para Unin) u(a, 0) = a
Axioma 3.13 (Monotonicidad para Unin) b d implica u(a, b) u(a, d)
Axioma 3.14 (Conmutativida para Unin) u(a, b) = u(b, a)
Axioma 3.15 (Asociatividad para Unin) u(a, u(b, d)) = u(u(a, b), d)
39
Estos axiomas son el esqueleto axiomtioco esencial para las uniones difusas
o t-conormas. Se puede hacer un anlisis anlogo al caso del complemento e
interseccin y vericar que las propiedades se cumplen para los conjuntos clsicos
y que son sucientemente vlidas de manera intuitiva.
Anlogamente al caso de la interseccin, se pueden establecer restricciones
axiomticas para lograr algunos resultados esperados.
Axioma 3.16 (Continuidad para Unin) u es una funcin contnua
Axioma 3.17 (Superidempotencia para Unicn) u(a, a) > a
Axioma 3.18 (Monotona Estricta para Unin) a
1
< a
2
y b
1
< b
2
impli-
ca u(a
1
, b
1
) < u(a
2
, b
2
)
3.2. Operaciones Aritmticas en Intervalos Difusos
La aritmtica difusa esta basado en dos propiedades de nmeros difusos
[Gky95]:
1. Cada conjunto difuso, y cada nmero difuso, puede representarse total-
mente y singularmente por cortes
2. Los cortes de cada nmero difuso son intervalos cerrados de nmeros
reales para todo (0, 1].
Estas propiedades permiten denir las operaciones aritmticas en los nmeros
difusos en terminos de operaciones aritmticas en sus cortes , es decir, opera-
ciones aritmticas en intervalos cerrados. Estas operaciones son un asunto de
anlisis de intervalos, una rea bien fundamentada de la matemtica clsica.
Notese que un nmero real r R tambin puede considerarse como un intervalo
especial degenerado [r, r].
Si denota cualquiera de las cuatro operaciones aritmticas ms comunes en
los intervalos cerrados: +., , (suma, resta, multiplicacin, divisin). Entonces,
[a, b][d, e] = fg [ a f b, d g e) (75)
es una propiedad general de todos las operaciones aritmticas en los inter-
valos cerrados, teniendo en cuenta la excepcin del caso
[a,b]
[d,e]
, que no se dene
cuando 0 [d, e]. Es decir, el resultado de una operacion aritmtica en un
intervalo cerrado es de nuevo un intervalo cerrado.
Denicin 3.1 (Operaciones Aritmticas Bsicas) Las cuatro operaciones
aritmticas bsicas denidas en intervalos cerrados se denen como sigue:
[a, b] + [d, e] = [a +d, b +e] (76)
[a, b] [d, e] = [a d, b d] (77)
[a, b] [d, e] = [mn(ad, ae, bd, be), max(ad, ae, bd, be)] (78)
[a, b]
[d, e]
= [mn(
a
d
,
a
e
,
b
d
,
b
e
), max(
a
d
,
a
e
,
b
d
,
b
e
)] siempre que 0 / [d, e] (79)
40
Cuando uno de los intervalos descritos en las ecuaciones de la denicin 3.1
es el intervalo degenerado, se obtienen las operaciones especiales; cuando dos de
los intervalos se degeneran, se obtiene la aritmtica normal de nmeros reales,
como sera de esperarse.
Ejemplo 3.1 Se deben vericar cuidadosamente las siguientes expresiones, con-
statando con la denicin 3.1:
[2, 5] + [1, 3] = [3, 8]
[0, 1] + [6, 5] = [6, 6]
[2, 5] [1, 3] = [1, 4]
[0, 1] [6, 5] = [5, 7]
[1, 1] [2, 0,5] = [2, 2]
[3, 4] [2, 2] = [6, 8]
[1,1]
[2,0,5]
= [2, 2]
[4,10]
[1,2]
= [2, 10].
Las operaciones aritmticas en los intervalos cerrados satisfacen algunas pro-
piedades tiles, que se describen a continuacin.
Teorema 3.1 (Propiedades de las Operaciones Aritmticas) Sean A =
[a
1
, a
2
], B = [b
1
, b
2
], C = [c
1
, c
2
], 0 = [0, 0], 1 = [1, 1]. Las propiedades de las
operaciones aritmticas difusas se denen como sigue:
1. Conmutatividad:
A+B = B +A,
A B = B A
2. Asociatividad:
(A+B) +C = A+ (B +C)
(A B) C = A (B C)
3. Identidad:
A = 0 +A = A+ 0
A = 1 A = A 1
41
4. Subdistributiva:
A (B +C) A B +A C
5. Distributiva:
si b c 0 para cadab B y c .C, entonces A (B+C) = A B+A C .
Si A = [a, a], entonces a (B +C) = a B +a C
6. 0 AA y 1
A
A
.
7. si A E y B F, entonces:
A+B E +F (80)
AB E F (81)
A B E F (82)
A
B

E
F
(83)
Demostracin. La mayora de estas propiedades sigue directamente de
ecuaciones descritas en la def. 3.1 Se demuestran las propiedades menos ob-
vias de subdistributividadty y distributividad
1. Primero, se tiene que:
A (B +C) = a (b +c) [ a A, b B, c C] (84)
= a b +a c [ a A, b B, c C) (85)
a b +a/ c [ a/ A, b B, c C) (86)
= A B +A C. (87)
Luego A (B +C) A B +A C.
2. Se asume ahora, sin prdida de generalidad, que b
1
0 y c
1
0. Entonces,
se tienen que considerar los siguientes tres casos:
si a
1
0, entonces,
si a
1
< 0ya
2
0, entonces a
2
0, (A) = [a
2
, a
1
], y
si a
1
< 0 y a
2
> 0, entonces
A (B +C) = [a
1
(b
2
+c
2
), a
2
(b
2
+c
2
)] (88)
= [a
1
b
2
, a
2
b
2
] + [a
1
c
2
, a
2
c
2
] (89)
= A B +A C. (90)
Esta distributividad no es general. Para vericarlo, sea A = [0, 1], B =
[1, 2], C = [2, 1], entonces, AB = [0, 2], AC = [2, 0], B+C = [1, 1],
y A (B +C) = [1, 1] [2, 2] = A B +A C.
42
3.3. Operaciones Aritmeticas en Nmeros Difusos
A continuacin se presentan dos mtodos para desarrollar la aritmtica di-
fusa. Un mtodo es basado en la aritmtica de intervalos. El otro mtodo es
el principio de extensin por medio del cual se extienden operaciones en los
nmeros reales a las operaciones en los nmeros difusos. Para ello se asumir
que los nmeros difusos son representados por funciones de pertenencia con-
tinuas.
Denicin 3.2 Sean A y B nmeros difusos y sea que denota cualquiera
de las cuatro operaciones aritmticas bsicas. Entonces, se dene un conjunto
difuso en R, A B, por denicion en corte ,

(AB), como

(AB) =

B (91)
para algun (0, 1]. (Cuando = /, claramente, se requiere que 0 /

B
para todos (0, 1].)
Se puede demostrar [Gky95] que AB puede expresarse como
AB =
[0,1]

(AB) (92)
donde

(AB) es un intervalo cerrado para cada (0, 1] y A, B son
nmeros difusos, AB es tambin un nmero difuso.
Ejemplo 3.2 Considere dos numeros difusos de forma triangular A, B denidos:
A(x) =
_

_
o para x 1yx > 3
x+1
2
para 1 < x 1
3x
2
para 1 < x 3
B(x) =
_

_
o para x 1y x > 5
x1
2
para 1 < x 3
5x
2
para 3 < x 5
Sus cortes son:

A = [2 1, 3 2]

B = [2 + 1, 5 2].
Con base en la denicin de operacin difusa en intervalos, se tiene

(A+B) [4a, 8 4a] para (0, 1],

(AB) = [4a 6, 2 4a] para (0, 1],

43

(A, B) =
_
_
_
[4a
2
+ 12 5, 4
2
16 + 15] para (0, ,5]
[4a
2
1, 4a
2
16 + 15] para (,5, 1]
A
B
=
_

_
_
21
2+1
,
32
2+1
_
para (0, ,5]
_
21
52
,
32
2+1
_
para (,5, 1]
los numeros difusos resultantes son entonces:
(A+B)(x) =
_

_
0 para x 0 y x > 8
x
4
para 0 < x 4
8x
4
para 4 < x 8
(AB)(x) =
_

_
0 para x 6 y x > 2
x+6
4
para 6 < x 2
2x
4
para 2 < x 2
(A B)(x) =
_

_
0 para x < 5 y x 15
3
2

4x
2
para 5 x < 0
2

1+x
2
para 0 x < 3
4
2

1+x
2
para 3 x < 15
(
A
B
)(x) =
_

_
0 para x < 1 y x 3
x+1
22x
para 1 x < 0
5x+1
2x+2
para 0 x <
1
3
3x
2x+2
para
1
3
x < 3
Esto se representa grcamente segn muestra la g. 15.
El segundo mtodo esta basado en el principio de extensin. Empleando este
principio, se extienden operaciones aritmticas normales en los nmeros reales
a los nmeros difusos.
Sea cualquiera de las cuatro operaciones aritmticas bsicas y sean A, B
numeros difusos. Entonces, se dene un conjunto difuso en R, AB, por la
ecuacin,
(AB)(z) = sup
z=xy
mn[A(x), B(y)], (93)
para todo z R.
Especicando para todo z R, se dene:
44
Figura 15: Operaciones aritmticas con nmeros difusos.
45
(A+B)(z) = sup
z=x+y
mn[A(x), B(y)], (94)
(AB)(z) = sup
z=xy
mn[A(x), B(y)], (95)
(A B)(z) = sup
z=xy
mn[A(x), B(y)], (96)
_
A
B
_
(z) = sup
z=
x
y
mn[A(x), B(y)], (97)
Aunque A B denido por Ec 93 es un conjunto difuso en R, se tiene que
mostrar que es un numero difuso para cada +, , , /.
Teorema 3.2 (Operacin difusa contnua) Sea +, , , /, y sean A, B
nmeros difusos contnuos. Entonces, el conjunto difuso AB denido por (ec.
93):
(AB)(z) = sup
z=xy
mn[A(x), B(y)], (98)
es un nmero difuso contnuo.
Demostracin. Primero, hay que demostrar Ec.?? mostrando que

(AB)
es un intervalo cerrado para (0, 1]. Para cualquier z

B, existe algn
x
0

A y y
0

B tal que z = x
0
y
0
.
As,
(AB)(z) = sup
z=xy
mn[A(x), B(y)] (99)
mn[A(x
0
), B(y
0
)] (100)
. (101)
De aqui, z

(AB) y, por consiguiente,

(AB).
Para cualquier z

(AB), se tiene (AB)(z) = sup

z=xy
mn[A(x), B(y)]
.
ms, para cualquier n > [
1
a
] +1, donde [
1
a
] denota el entero ms grande que
es igual a
1
a
, exista x
n
y y
n
tal que z = x
n
y
n
y
min[A(x
n
), B(y
n
)] > a
1
n
.
Es decir, x
n

a1
n
A, y
n

a1
n
B y se pueden considerar dos sucesiones, x
n

46
y y
n
, siempre que
a
1
n
a
1
n + 1
,
y se tiene
a1
n+1
A
a1
n
A,
a1
n+1
B
a1
n
B.
De aqui, x
n
y y
n
entre en algunos
a1
n
A y
a1
n
B, respectivamente. Desde
el ltimo son intervalos cerrados, x
n
y y
n
se limita las sucesiones. As, existe
una sucesion convergente x
n,i
tal que x
n,i
x
0
. Para la correspondiente
secuencia y
n,i,
, tambin existe una subsequencia convergente y
n,i,j
) tal que
y
n,i,j
y
0
. Si se toma la correspondiente subsecuencia, x
n,i,j
desde x
n,j
,
entoncesx
n,i,j
x
0
. As, se tienen dos sucesiones, x
n,i,j
yy
n,i,j
, tal que
x
n,i,j
x
0
y y
n,i,j
y
0
y x
n,i,j
y
n,i,j
= z.
Ahora, desde que es contnuo,
z = lim
j
x
n,i,j
y
n,i,j
=
_
lim
j
x
n,i,j
_

_
lim
j
y
n,i,j
_
= x
0
y
0
.
Tambin, desde A(x
n,i,j
) > a
1
ni,j
y B(y
n,i,j
) > a
1
ni,j
,
A(x
0
) = A
_
lim
j
x
n,i,j
_
= lim
j
A(x
n,i,j
) lim
j
(a
1
n
i,j
) = a
B(x
0
) = B
_
lim
j
y
n,i,j
_
= lim
j
B(y
n,i,j
) lim
j
(a
1
n
i,j
) = a
Por consiguiente, existe x
0

a
A, y
0

a
B tal que z = x
0
y
0
. Es decir, z
a
A
a
B . As,
a
(AB)
a
A
a
B,
luego,
a
(AB) =
a
A
a
B.
Ahora se demuestra que AB debe ser continuo. Se puede demostrar que la
funcin de pertenencia de AB debe ser de la forma general. Se asume AB
no es contnua en z
0
; es decir,
lim
zz
0

(AB)(z) < (AB)(z

0
) = sup
z0=xy
min[A(x), B(y)].
Entonces, debe existir x
0
y y
0
tal que z
0
= x
0
y
0
y
lim
zz
0

(AB)(z) < min[A(x

0
), B(y
0
)]. (102)
47
Dado que la operacion (+, , , / es montona con respecto al primero
y segundo argumentos respectivamente, siempre se pueden encontrar dos suce-
siones x
n
y y
n
tal que x
n
x
0
, y
n
y
0
, ya que n , y x
n
y
n
< z
0
para cualquier n. Sea z
n
= x
n
y
n
; entonces z
n
z
0
ya.que n .
As.
lim
zz
0

(AB)(z) = lim
n
(AB)(z
n
)
= lim
n
sup
z0=xy
min[A(x), B(y)]
lim
n
min[A(x
0
), B(y
0
)]
= min[A( lim
n
x
n
), B( lim
n
y
n
)]
= min[A(x
0
), B(y
0
)]. (103)
Esto contradice la ec. 102 y, por consiguiente, AB debe ser un nmero
difuso continuo.
3.4. Reticula de Nmeros Difusos
Como es bien conocido, el conjunto R de nmeros reales es ordenado lin-
ealmente. Para cada par de numeros reales, x y y, se tiene x y o y x. El
par (R,) es una retcula que puede ser expresada por lo que se reere a dos
operaciones:
min(x, y) =
_
x si x y
y si y x
(104)
max(x, y) =
_
y si x y
x si y x
(105)
para cada par x, y R. El orden lineal de los nmeros reales no se extiende
a los numeros difusos. Para introducir un orden signicante de nmeros difusos,
primero se extendiende la operacion de la retcula min y max en los numeros
reales, como se dene por Ec.104 y 105, para denir las operaciones correspon-
dientes en los nmeros difusos que se denotarn por MIN y MAX.
Denicin 3.3 (Orden en nmeros difusos) Para cualquier dos nmeros
difusos A y B, esto se dene como:
MIN(A, B)(z) = sup
z=mn(x,y)
mn[A(x).B(y)] (106)
MAX(A, B)(z) = sup
z=mn(x,y)
mn[A(x), B(y)] (107)
para todo z R.
48
A
B
1
-2 -1 0 1 2 3 4
B
A
1
min
B
A
1
-2 -1 0 1 2 3 4
-2 -1 0 1 2 3 4
-2 -1 0 1 2 3 4
Figura 16: Comparacin de las operaciones MIN, min, MAX, max.
49
Observe que los smbolos MIN y MAX que denotan las operaciones intro-
ducidas en nmeros difusos, debe distinguirse para los smbolos min y max, que
denotan la operacion usual de mnimo y mximo en los nmeros reales, respec-
tivamente. Tanto min y max son operaciones continuas, de Ec.106, ??, y del
Teorema 4.2 tanto MIN (A, B) y MAX (A, B) son nmeros difusos.
Es importante comprender que las operaciones MIN y MAX son totalmente
diferentes de
la interseccin y la union difusa normal, min y max. Esta diferencia se ilustra
en la g ??, donde
A(x) =
_
_
_
0 para x < 2 y x > 4
x+2
3
para -2 x 1
4x
3
para 1 x 4
B(x) =
_
_
_
0 parax < 1 y x > 3
x 1 para 1 x 2
3 x para 2 x 3
MIN(A, B)(x) =
_

_
0 para x < 2 y x > 3
x+2
3
para 2 x 1
4x
3
para 1 x 2,5
3 x para 2,5 < x < 3
MAX(A, B)(x) =
_

_
0 para x < 1 y x > 4
x 1 para 1 x 2
3 x para 2 x 2,5
4x
3
para 2,5 < x 4
Si se tiene que R que denota el conjunto de nmeros difusos. Entonces,
operaciones MIN y MAX son claramente funciones de la forma R R R.
El teorema siguiente que establece las propiedades bsicas de estas operaciones,
asegura que la tripleta (+, MIN, MAX) es una retcula distributiva en donde
MIN y MAX representan la reunin y unin, respectivamente.
Teorema 3.3 Sea MIN y MAX las operaciones binarias en R denidas en la
ec. 106 y ??. Entonces:
MIN(A, B)(z) = sup
z=mn(x,y)
mn[A(x).B(y)] (108)
MAX(A, B)(z) = sup
z=mn(x,y)
mn[A(x), B(y)] (109)
Y adems, para cualquier A, B, C R, se cumplen las siguientes propieda-
des:
1. Propiedad conmutativa:
MIN(A, B) = MIN(B, A),
MAX(A, B) = MAX(B, A).
50
2. Propiedad asociativa:
MIN[MIN(A, B), C] = MIN[A, MIN(B, C)],
MAX[MAX(A, B), C] = MAX[A, MAX(B, C)].
3. Propiedad de idempotencia:
MIN(A, A) = A, MAX(A, A) = A.
4. Propiedad de absorcin:
MIN[A, MAX(A, B)] = A,
MAX[A, MIN(A, B)] = A.
5. Propiedad distributiva:
MIN[A, MAX(B, C)] = MAX[MIN(A, B), MIN(A, C)],
MAX[A, MIN(B, C)] = MIN[MAX(A, B), M

AXIMO(A, C)].
Demostracin. Se desarrollar la demostracin de las propiedades asocia-
tiva, de absorcin y distributiva, ya que las propiedades conmutativa y de idem-
potencia son triviales. Por ejemplo, para demostrar la propiedad asociativa se
tiene que, para todo z R,
MIN[A, MIN(B, C)](z) = sup
z=mn(x,y)
min[A(x), MIN(B, C)(y)]
= sup
z=mn(x,y)
min[A(x), sup
y=mn(u,v)
min[B(u), C(v)]]
= sup
z=mn(x,y)
sup
y=mn(u,v)
min[A(x), B(u), C(v)]
= sup
z=mn(x,u,v)
min[A(x), Bu), C(v)]
= sup
z=mn(s,v)
sup
s=mn(x,u)
min[A(x), B(u), C(v)]
= sup
z=mn(x,v)
min[ sup
s=mn(x,u)
min[A(x), B(u)] , C(v)]
= sup
z=mn(s,v)
min[MIN(A, B)(s), C(v)]
= MIN[MIN(A, B), C](z).
La prueba de la asociatividad de MAX se realiza de manera anloga. Para
probar la propiedad de absorcin se tiene que para todo z R,
MIN[A, MAX(A, B)](z) = sup
z=mn(x,y)
min[A(x), MAX(A, B)(y)]
= sup
z=mn(x,y)
min[A(x), sup
z=max(x,y)
min[A(u), B(v)]]
= sup
z=mn(x,max(u,v))
min[A(x), A(u), B(v)].
51
Se utilizar M para denotar el lado derecho de la ltima ecuacin. Des-
de que B sea un nmero difuso, existe v
0
+, tal que B(v
0
) = 1. Por z =
min[z, max(z, v
0
)], se tiene
M min[A(z), A(z), B(v
0
)] = A(z).
Por otro lado, desde que z = min[x, max(u, v)], se tiene
min(x, u) z x max(x, u).
Por la convexidad de nmeros difusos [Gky95].
A(z) min[A[min(x, u)], A[max(x, u)]] (110)
= min[A(x), A(u)]
min[A(x), A(u), B(v)]
As, M = A(z) y, por consiguiente, MIN[A, MAX(B, C)] = A. La prueba
de la propiedad de absorcin es similar.
Para demostrar la propiedad distributiva se toma z R, y se ve claramente
que:
MIN[A, MAX(B, C)](z) = sup
z=mn[x,max(u,v)]
min[A(x), B(u), C(v)], (111)
MAX[MIN(A, B), MIN(A, C)](Z) = sup
z
min[A(m), B(n), A(s), C(t)] (112)
donde x = max
_
mn(m, n),
mn(s, t)
_
Para demostrar que Ec.111 y 112 son iguales, se muestra primero que E F
donde
E = min[A(x), B(u), C(v)]/min[x, max(u, v)] = z
F = min[A(m), B(n), A(s), C(t)]/max[min(m, n), min(s, t)] = z
Para cada a = min[A(x), B(u), C(v)] tal que min[x, max(u, v) = z (es decir,
a E), donde existe m = s = x, n = u, y t = v tal que,
max[min(m, n), min(s, t)] = max[min(x, u), min(x, v)]
= min[x, max(u, v)] = z
donde a = min[A(x), B(u), A(x), C(v)] = min[A(m), B(n), A(s), C(t)]. Es
decir, a F y, por consiguiente, E F. Esto signica que la ec.112 es mayor
que o igual a la ec.111. Ahora, se muestra que estas dos funciones son iguales
mostrando que para cualquier nmero b en F, existe un nmero a en E tal que
b a.
52
Para cualquier b F, existe m, n, s, y t tales que max[min(m, n), min(s, t)] =
z, b = min[A(m), B(n), A(s), C(t)] de donde,
z = min[max(s, m), max(s, n), max(t, m), max(t, n)].
Sea x = min[max(s, m), max(s, n), max(t, m)], u = n, y v = t. Enton-
ces, z = min[x, max(u, v)]. Por otro lado, es fcil ver que min(s, m) x
max(s, m).
Por la convexidad de A,
A(x) min[A(min(s, m)), A(max(s, m))]
= min[A(s), A(m)]
De all, existe a = min[A(x), B(u), C(v)] con min[x, max(u, v)] = z (es
decir, a F), y
a = min[A(x), B(u), C(ti)] min[A(s), A(m), B(n), C(t)] = b
Es decir, para cualquier b F, existe a F, tal que b a. Esto implica que
supF supE.
Esta desigualdad, junto con el resultado anterior, asegura que (111) y (112)
son iguales. Esto concluye la prueba de la primera ley distributiva. La prueba
de la segunda ley distributiva se realiza de manera anloga.
La reticula (R, MIN, MAX) tambin puede expresarse como el par (R, ),
donde es una clasicacin parcial denida como:
A B si MIN(A, B) = A
A B si MAX(A, B) = B
para cualquier A, B R. Tambin se puede denir la clasicacin parcial
por lo que se reere a los cortes pertinentes:
A B si min(

A,
a
B) =
a
A
A B si max(
a
A,
a
B) =
a
B
para cualquier A, B R y a (0, 1], donde
a
A y
a
B son los intervalos
cerrados
a
A = [a
1
, a
2
],
a
B = [b
1
, b
2
]. Entonces,
min(
a
A,
a
B) = [min(a
1
, b
1
), min(a
2
, b
2
)]
max(
a
A,
a
B) = [max(a
1
, b
1
), max(a
2
, b
2
)]
53
Si se dene la clasicacin parcial de intervalos cerrados de la manera usual,
eso es, [a
1
, a
2
] [b
1
, b
2
] si a
1
b
1
y a
2
b
2
, entonces para cualquier A, B R,
se tiene
A _ B si
a
A
a
B
para todo (0, 1]. Esto signica por ejemplo, que los dos nmeros difusos
A y B en la g. ??, no son comparables. Sin embargo, los valores de las vari-
ables lingsticas en la mayora de las aplicaciones son denidos por nmeros
difusos que son comparables. Por ejemplo, los valores de la variable lingsti-
ca la .
a
ctuacin" denido anteriormente forma una cadena de la forma: "muy
pequeo_pequeo_mediano_grande_muy grande".
Aunque el conjunto R no es de orden lineal, hay algunos subconjuntos que
se comportan como tal, y son subconjuntos muy importnates en las aplicaciones
comunes de la teora difusa.
54
4. Inferencia Difusa
Las reglas de la inferencia dentro del armazn de lgica difusa son usadas
para facilitar el razonamiento aproximado. Ellas pueden describir generaliza-
ciones de tres inferencias clsicas, que son: las reglas modus ponens, modus
tolens, y el silogismo hipottico. Estas generalizaciones se basan en la regla
composicional que se llama inferencia.
4.1. Inferencia para Proposiciones Difusas Condicionales
Considerense las variables y que toman valores de los conjuntos X y Y ,
respectivamente, y asumase que para todo x X y todo y Y las variables
estan relacionadas por una funcin y = f(x). Entonces, dado X = x, se puede
inferir que y = f(x). Igualmente, sabiendo que el valor de X est en un conjunto
dado A, se inere que el valor de V est en el conjunto B = y Y/y = f(x), x
A.
Se asume ahora que las variables estn relacionadas por una relacin arbi-
traria en X Y , no necesariamente una funcin. Entonces, dado X = u y una
relacin R, se inere que y B donde B = y Y/(x, y) R, como se ilustra
en la g.17(a). Igualmente, se sabe que X A, se puede inferir que B,
donde B = y Y [ (x, y) R, x A, como se ilustra en la g.17(b).
Observese que esta inferencia puede expresarse igualmente bien por lo que
se reere a las funciones caractersticas
A
,
B
,
R
de conjuntos A, B, R respec-
tivamente, por la ecuacin

B
(y) = sup
xX
n[
A
(x),
R
(x, y)] (113)
para todo y Y.
Se asume que R es una relacin difusa en X Y , y A/, B/ son conjuntos
difusos en X y Y , respectivamente. Entonces, si R y A/ son dados, se puede
obtener B/ por la ecuacin
B/(y) = sup
xX
min[A/(x), R(x, y)] (114)
para todo y Y . Lo anterior es una generalizacin de la ec 113 obtenida
reemplazando la funcin caracterstica en ec. 113 con las funciones de pertenen-
cia correspondientes. Esta ecuacin tambin puede escribirse en forma matricial
como:
B/ = A/ R
y es llamada la Regla de Inferencia Composicional. Esta regla se ilustra en
Fig.18
55
Y
B
R
X u
(a)
B
Y
X A
(b)
R
Figura 17: Regla de Inferencia Composicional [Gky95].
56
B
1
0

Y
Relacin Difusa R
0
1
A
X
Figura 18: Regla de inferencia composicional
La relacin difusa que se emple en la ec. 114 normalmente no es usada di-
rectamente, pero si es usada de otras formas, se considera el caso de proposicin
difusa condicional.
4.1.1. Modus Ponens Generalizado
Como se explico anteriormente, la relacin R que se usado en una proposicin
difusa condicional p de la forma
p : Si es A, entonces es B
es determinado para todo x X y todo y Y mediante la expresin
R(x, y) = j[A(x), B(y)], (115)
donde j denota una implicacin difusa .Usando la relacin R obtenida de la
proposicin dada p en Ec.115, y dado otra proposicin q de la forma
q : es A/
57
se puede concluir que es B/ por la regla de inferencia composicional de la ec.
114. Este procedimiento se llama un modus ponens generalizado.
La proposicin p es una regla y la proposicin q como un hecho, el modus
ponens generalizado se expresa por el esquema siguiente:
Regla si X es A, entoncesY es B
Factor .......................... X es A
___________________________
Conclusion ...... Y es B
(116)
En este esquema B es calculado por la ec. 114, y R en esta determinado por
la ec. 115.
Se observa que ec.116 se vuelve el modus ponens clsico cuando los conjuntos
son los clsicos y A/ = A, B/ = B.
Ejemplo 4.1 Los conjuntos de valores de variables X y Y son X = x
1
, x
2
, x
3

y Y = y
1
, y
2
), respectivamente. Se asume una proposicin si X es A, entonces
Y es B, donde A =
,5
x1
+
1
x2
+
,6
x3
y B =
1
y1
+
,4
y2
. Entonces, dado un hecho
expresado por la proposicin x es A/ donde A/ =
,6
x
1
+
,9
x
2
+
,7
x
3
, usar el modus
ponens generalizado, ec. ?? para derivar una conclusin de la forma "y es B/
". Por ejemplo, usando la implicacin de Lukasiewicz [Gky95]se obtiene
R =
1
x
1
, y
1
+
,9
x
2
, y
2
+
1
x
2
, y
1
+
,4
x
2
, y
2
+
1
x
3
, y
1
+
,8
x
3
, y
2
por ec. 115. Entonces,
por la regla de inferencia composicional ec. 114, se tiene
B/(y
1
) = sup
xX
min[A/(x), R(x, y
1
)]
= max[min(,6, 1), min(,9, 1), min(,7, 1)] = ,9
B/(y
2
) = sup
xX
min[A/(x), R(x, y
2
)]
= max[min(,6, ,9), min(,9, ,4), min(,7, ,8)] = ,7
Ejemplo 4.2 se concluye que Y es B/, donde B =
,9
y1
+
,7
y2
.
4.1.2. Modus Tollens Generalizado
Otra regla de inferencia en lgica difusa es el modus tollens generalizado
y se expresa:
Regla: Si es A, entonces es B
Hecho: es B/
____________________________________
Conclusin: es A/
En este caso, la regla de inferencia composicional tiene la forma
A/(x) = sup
yY
min[.B/(y), R(x, y)], (117)
58
y R en esta ecuacin es determinado mediante la ec. 115.
Ejemplo 4.3 Sean X, Y, j, A, B y R denidas en las lneas aneriores. Asuma
ahora que se da un hecho que se expres por la proposicin que y es B ,donde
B/ =
,9
y1
+
,7
y2
. Entonces, por ec. 117,
A/(x
1
) = sup
yY
min[B/(y), R(x
1
, y)]
= max[min(,9, 1), min(,7, ,9)] = ,9,
A/(x
2
) = sup
yY
min[B/(y), R(x
2
, y)]
= max[min(,9, 1), min(,7, ,4)] = ,9,
A/(x
3
) = sup
yY
min[B/(y), R(x
3
, y)].
= max[min(,9, 1), min(,7, ,8)] = ,9.
se concluye que X es A/ donde A/ =
,9
x
1
+
,9
x
2
+
,9
x
3
.
4.1.3. Silogismo Hipottico Generalizado
Finalmente, una generalizacin de silogismo hipottico que es basado en
dos proposiciones difusas condicionales. El silogismo hipottico generalizado se
expresa por el esquema siguiente:
Regla1 : Si esA, entonces es B (118)
Regla2 : Si es B, entonces z es C (119)
Conclusi on : Si es A, entonces z es C (120)
En este caso, , , z son variables que toman los valores en los conjuntos
X, Y, Z, respectivamente, y A, B, C son los conjuntos difusos en los conjuntos
X, Y, Z, respectivamente.
Para cada proposicin difusa condicional en ec. 118, hay una relacin difusa
determinada por ec. 115, estas relaciones son determinadas para cada x X,y
Y , y z Z por las ecuaciones:
R
1
(x, y) = j[A(x), B(y)] (121)
R
2
(y, z) = j[B(y), C(z)]
R
3
(y, z) = j[A(y), C(z)]
Una vez obtenidas R
1
, R
2
, R
3
,mdiante estas ecuaciones, se tiene la regla de
silogismo hipotetico generalizado asi:
59
R
3
(x, z) = sup
yY
mn[R
1
(x, y), R
2
(y, z)] , (122)
que de nuevo expresa la regla de inferencia composicional. Esta ecuacin
tambin puede escribirse en forma matricial como:
R
3
= R
1
R
2
. (123)
Ejemplo 4.4 Sea X, Y como se han denido en las lneas anteriores , y sea
Z = z
1
, z
2
. Adems, sea A =
,5
x1
+
l
x2
+
,6
x3
, B =
l
y1
+
,4
y2
, C =
,2
z1
+
1
z2
, y
j(a.b) = 1 si a b, b si a > b
Entonces se puede vericar fcilmente que
R
1
=
_
_
1 0,4
1 0,4
1 0,4
_
_
R
2
=
_
0,2 1
0,2 1
_
R
3
=
_
_
0,2 1
0,2 1
0,2 1
_
_
Y por tanto el silogismo hipottico generalizado se ha vericado en esete
caso, ya que R
1
R
2
= R
3
.
4.2. Inferencia para Proposiciones Difusas Condicionales
Calicadas
La regla de inferencia permite involucrar las proposiciones difusas condi-
cionales con los calicadores de verdad difusos. Dado un condicional y la pro-
posicin difusa calicada p de la forma
p : Si X es A, entonces Y es B es S, (124)
donde S es un calicador de verdad difuso, y a partir de un hecho de la
forma X es A, se quiere hacer una inferencia de la forma Y es B.
Un mtodo desarrollado para este propsito, se llama mtodo de restricciones
de valores de verdad, mtodo que se basa en la manipulacin de valores de verdad
lingsticos. El mtodo involucra cuatro pasos, que se describen a continuacin.
60
Paso 1 Calcule el valor de verdad difuso relativo de A/ con respecto a A, de-
notado por RT(A//A), que es un conjunto difuso en el intervalo unitario
denido por:
RT(A//A)(a) = sup
x:A(x)=a
A/(x), (125)
para todo a [0, 1]. El valor de verdad de la relacion difusa RT(A//A)
expresa el grado en que la proposicin difusa ec. 124 es verdad dado el
hecho X es A/ .
Paso 2 Seleccione una implicacin j difusa conveniente para la proposicin
difusa de la ec. 124. Esto es similar a la seleccin de implicacin difusa
cuyo propsito es para expresar un condicional.
Paso 3 Calcule el valor de verdad difuso relativo RT(B//B) mediante la ex-
presin
RT(B//B)(b) = sup
a[0,1]
mn[RT(A//A)(a), S(j(a, b))] (126)
para todo a [0, 1], donde S es el calicador difuso de la ec. 124. Clara-
mente, el papel del calicador S es modicar el valor de verdad de j(a, b).
Se nota que cuando S es verdadero (es decir, S(a) = a) para todo a [0, 1],
entonces S(j(a, b)) = j(a, b). El valor de verdad difuso relativo RT(B//B)
expresa el grado en que la conclusin de la proposicin difusa ec.124 es
verdadera.
Paso 4 Calcule el conjunto B/ relacionado en la inferencia es B mediante
la ecuacin
B/(y) = RT(B//B)(B(y))
para todo y Y .
Ejemplo 4.5 Se supone un condicional difuso y la proposicin calicada,
p : "Si X es A, entonces Y es B es muy cierto"
donde A =
1
x1
+
,5
x2
+
,7
x3
, B =
,6
y1
+
1
y2
, y S es muy cierto; sea S(a) = a
2
para todo a [0, 1]. Dado un hecho X es A, donde A/ =
,9
x1
+
,6
x2
+
,7
x3
, se
concluye que Y es B, donde B es calculado por los pasos siguientes.
Paso 1. Se calcula RT(A//A) por ec. 125:
RT(A//A)(1) = A/(x
1
) = ,9,
RT(A//A)(,5) = A/(x2) = ,6,
RT(A//A)(,7) = A/(x
3
) = ,7,
RT(A//A)(a) = 0 para todo a [0, 1] - ,5, ,7, 1).
Paso 2. Se selecciona la implicacin difusa j.
Paso 3. Se calcula RT(B//B):
61
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0.9
1
0.1 0 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0.375 0.537 0.737
0.375 0.849
2
( 0.3 +x )
2
2
Figura 19: Funcion RT(B//B)
RT(B//B)(b) = maxmin[,9, S(j(,9, b))], min[,6, S(j(,6, b))], min[,7, S(j(,7, b))]
=
_

_
(0,4 +B)
2
para b [0, 0,375)
,6 para b [0,375, 0,475)
(0,3 +b)
2
para b [0,475, 0,537)
0,7 para b [0,537, 0,737)
(0,1 +b)
2
para b [0,737, 0. 849)
0,9 para b [0,849, 1]
Un grco de esta funcin RT(B//B) se muestra en Fig.??.
Paso 4. Se calcula B por Ec ??:
B/(y
1
) = RT(B//B)(B(y
1
)) = RT(B//B)(,6) = ,7,
B/(y
2
) = RT(B//B)(B(y
2
)) = RT(B//B)(1) = ,9
Donde, se inere es B

, B/ =
,7
y1
+
,9
y2
.
62
Cuando S en la ec. 124 es la funcin de identidad, el mtodo de las restric-
ciones del verdad-valor es equivalente al modus pones generalizado bajo una
condicion particular, expuesta en el teorema siguiente.
Teorema 4.1 Sea S una proposicin difusa de la forma descrita en la ec. 124,
donde S es la funcin identidad (es decir, S posiciones para verdadero), y supn-
gase que se tiene un hecho de la forma X es A, donde
sup A/(x) = A/(x
0
)
para todo a [0, 1] y algn x
0
tal que A(x
0
) = a. Entonces, la inferencia V
es B obtenido por el mtodo de restricciones del valor de verdad es igual al
obtenido por el modus generalizado.
Para la demostracin se pueden consultar varios textos, en particular [Gky95].
4.3. Inferencia de Proposiciones Cuanticadas
Todos los cuanticadores pueden expresar las proposiciones difusas de la
forma p : W es Q, donde W es una variable cuyos valores son [E[, cuando Q es
un cuanticador absoluto, o es Pro(
E2
E2
) =
|E1E2|
|E1|
cuando Q es un cuanticador
relativo.
En general, el problema de inferencia de las proposiciones difusas cuanti-
cadas puede declararse como se describe a continuacin.
Si se tienen n proposiciones difusas cuanticadas de la forma
p
i
: W
i
es Q
i
(i N
n
), (127)
donde Q
i
es un cuanticador absoluto o un cuanticador relativo, y W
i
es una
variable compatible con el cuanticador Qi para cada i N
n
, se puede inferir
de estas proposiciones un posible principio que es conocido en la literatura como
el principio de extensin de cuanticador. Para discutir este principio, se asume
que la probable inferencia se expresa por lo que se reere a una proposicin
difusa cuanticada de la forma
p : W es Q. (128)
El principio declara que si existe una funcin
f : R
n
R (129)
y tal que
W = f(W
1
, W
2
, ...., W
n
) (130)
Q = f(Q
1
, Q
2
, ....Q
n
) (131)
63
donde el signicado de f(Q
1
, Q
2
, ....Q
n
) se dene mediante el principio de la
extensin. Entonces se puede concluir p de la forma p
1
, p
2
, ..., p
n
.
Una alternativa ms general para formular el principio se puede establecer,
armando que si existen dos funciones
f : R
n
R (132)
g : R
n
R (133)
tales que
f(W
1
, W
2
, ...., W
n
) W g(W
1
, W
2
, ...., W
n
) (134)
entonces se puede concluir que p es de la forma p
1
, p
2
, ..., p
n
, donde Q en la
proposicin p es un cuanticador especial denotado por
Q = [ f(Q
1
, Q
2
, ....Q
n
)] [ g(Q
1
, Q
2
, ....Q
n
)] (135)
que quiere decir por lo menos f(Q
1
, Q
2
, ....Q
n
) y a lo sumo g(Q
1
, Q
2
, ....Q
n
).
Los conjuntos difusos f(Q
1
, Q
2
, ....Q
n
) y g(Q
1
, Q
2
, ....Q
n
) se obtienen de nuevo
por el principio de la extensin.
Ejemplo 4.6 Suponga que se tienen las siguientes proposiciones cuanticadas
difusas [Gky95]:
p
1
: Hay aproximadamente 10 personas en el cuarto.
p
2
: La mitad de las personas en el cuarto son mujeres.
Si se quiere hacer una inferencia a la proposicin
p : Hay Q mujeres en el cuarto,
Sean Q
1
, Q
2
los cuanticadores aproximadamente 10 y sobre la mitad
respectivamente.
Sean E, F el conjunto de personas y el conjunto de mujeres en el cuarto.
Usando estos smbolos, se pueden dar las proposiciones de la forma
p
1
: W
1
es Q
1
p
2
: W2 es Q
2
p : W es Q,
donde W, W
1
, W
2
son las variables con los valores [E[,
|EF|
|E|
, [F[, respecti-
vamente.
Existe una funcin f : R
2
> R tal que f(W
1
, W
2
) = W para las variables
deniddas. Es la funcin del producto, f(a, b) = ab :
f(W
1
, W
2
) = W
1
W
2
= [E[
[E F[
[E[
= [E F[ = [F[ = W
Por el principio de extensin de cuanticador, si Q = Q
1
Q
2
es el cuanticador
en la proposicin p, donde Q
1
Q
2
es el producto aritmtico de numeros difusos
Q
1
y Q
2
empleados en las proposiciones dadas. Entonces p es una inferencia
correcta de la forma p
1
y p
2
.
64
El principio de extensin de cuanticador puede usarse para derivar varias
reglas de inferencia para las proposiciones borrosas cuanticadas. Dos de las
reglas derivadas son:
Denicin 4.1 (Inferencia del Silogismo Interseccin - Producto) Esta
regla se expresa mediante el esquema
p
1
: Q
1
E/s son F/s (136)
p
2
: Q
2
(E F)/s son G/s,
p : (Q
1
Q
2
) E/s son (F G)/s
donde E, F, G son los conjuntos difusos del conjunto universal X, Q
1
y Q
2
son
los cuanticadores relativos (nmeros difusos en [0, 1]), y Q
1
Q
2
es el producto
aritmtico de los cuanticadores. Como se explic previamente, proposiciones
p
1
, p
2
y p pueden expresarse de la forma:
p
1
: W
1
es Q
1
,
p
2
: W2 es Q
2
,
p : W es Q,
y donde W
1
= Pro(
F
E
), W
2
= Pro(
G
EF
), y W = Pro(
FG
E
).
para probar que el esquema de la inferencia indicada en la ec.136 es vlido,
se tiene que demostrar (segn el cuanticador del principio de la extensin) que
W = W
1
W
2
. Esta demostracin es como sigue:
W
1
W
2
= Pr op(
F
E
) Pro(
G
E F
)
=
[E F[
[E[

[E F G[
[E F[
=
[E F G[
[E[
= Prop(
F G
E
)
= W.
Luego el esquema de inferencia de la ec. 136 es vlido.
Ejemplo 4.7 Considerense las proposiciones borrosas cuanticadas siguientes:
p
1
: La mayora de los estudiantes es joven.
p
2
: la mitad de estudiantes jvenes son hombres.
Mediante silogismo del interseccion producto en 136, se inere la proposicin
p : Q de estudiantes son jvenes y hombres,
donde Q es un cuanticador obtenido tomando el producto aritmtico de
nmeros difusos que representa los cuanticadores la mayora y sobre la mitad.
Denicin 4.2 (Silogismo de la Conjuncin Consecuente) Es una regla
de infernecia que se expresa mediante el esquema
65
p
1
: Q
1
Es son Fs
p
2
: Q
2
Es son Gs
p : QEs son (F y G)s
donde E, F, G son los conjuntos difusos en algn conjunto universal X,
Q
1
, Q
2
son los cuanticadores relativos, y Q es un cuanticador relativo da-
do por
Q = [ MAX(0, Q
1
+Q
2
1)] [ MIN(Q
1
, Q
2
)]
es decir, Q es por lo menos MAX(0, Q
1
+Q
2
1) y a lo sumo MIN(Q
1
, Q
2
).
Se tiene que MIN y MAX son extensiones de las operaciones min y max de
los nmeros reales a los nmeros difusos.
66
5. Conclusiones
Los desarrollos matemticos, en particular del anlisis han permitido ofre-
cer una slida fundamentacin matemtica a los sistemas difusos, aunque su
concepcin losca ha sido criticada por algunos, armando, como W. Kahn,
que armaron que .
El
peligro de la lgica borrosa es que da alas a esa suerte de
pensamiento impreciso que nos ha trado tantos problemas".
Sin embargo, uno de los aspectos ms importantes que se perciben en el
trabajo con matemtica difusa, es la importancia de replantear los conceptos
clsicos de verdad y falsedad, y pertenencia y no-pertenencia, para involucrar
en nuestras concepciones, de una manera formal, el concepto de borrosidad o
vaguedad [Kos94], en la cual los conceptos clsicos de la lgica bi-valuada son
tan solo un caso extremo. y particular. Incluso principios tal universalmente
aceptados como el principio del tercio excluido y el de no contradiccin pierden
granparte de su validez, y pasan igualmente a ser comportamientos en casos
particulares.
La matemtica difusa nos permite entender y manipular matemticamente
conceptos que son a la vez parcialmente verdaderos y parcialmente falsos en
la mayora de las veces, o conceptos de no estn denidos de manera precisa
en el lenguaje y trabajo habitual (tales como alto, pesado, etc). Permite, (de
manera til adems), asignar valores de verdad a las proposiciones, en el inter-
valo unitario, y operar matemticamente con ellos. Permite luego introducir
"borrosidades.
en
las propias proposiciones (las variables y los modicadores
lingsticos). Estos aspectos, simples en apariencia, abren nuevas perspectivas
sobre conceptos aparentemente "trillados"basados en la lgica y teora de con-
juntos clsicos. Las reglas de inferencia toman gracias a esto una nueva dimen-
sin, ms cercana al razonamiento humano.
En este trabajo se introdujeron temas relativos a las operaciones con con-
juntos, nmeros e intervalos difusos. Se examinaron algunas reglas de inferencia
difusas, que aunque no abarcan la totalidad de las reglas que se pueden encon-
trar, son las ms importantes desde un punto de vista terico: modus ponens,
modus tollens y el silogismo hipottico generalizados.
Dentro de las muchas lneas posibles en las que conviene reforzar los temas
presentados, y que no se incluyeron por limitaciones de tiempo y espacio, se
encuentran:
Las relaciones difusas,
Los procedimientos de diseo de funciones de pertenencia adecuadas. El
buen diseo de una funcin de pertenencia es vital para el correcto mod-
elamiento de un sistema difuso, y adaptarlo a las necesidades.
Las funciones de pertenencia se pueden disear mediante asignacin direc-
ta, mediante una funcin propuesta por el diseador del sistema, o bien
mediante procesos probabilsticos y estadsticos que sueren un modelo
determinado.
67
Los sistemas de inferencia utilizados en la prctica. Son los mecanismos
que permiten la toma de decisiones por parte del sistema. Un proceso
prctico de inferencia difusa involucra la funcinde pertenencia, los oper-
adores lgicos difusos y un conjunto de reglas si-entonces. Los sistemas
de inferencia difusa tienen asociados una cantidad de nombres, debido a
que sonutilizaods de manera interdisciplinaria: sistemas expertos difusos,
sistemas expertos basados en reglas difusas, modelamiento difuso, contro-
ladores lgicos difusos, entre otros.
Dentro de estos sistemas de inferencia sobresalen dos, que son prctica-
mente los ms utilizados: el Sistema de Inferencia Difusa de Mamdani y el
Sistema de Inferencia Difusa de Sugeno. El primero de ellos, tal vez el ms
comn, fue desarrollado en 1975 por E. Mamdani basado en los trabajos
de L. Zadeh.
El trabajo con sistemas difusos aplicados tales como Mamdani o Sugeno
requieren de la aplicacin precisa de gran parte de los conceptos aqu tratados.
Este tema se puede profundizar y llevar a la prctica de manera bastante gil
utilizando el Toolbox de Lgica Difusa de Matlab.
68
Referencias
[Ros04] T. Ross, Fuzzy Logic with Engineering Applications. NJ, USA: John
Wilwy and Sons (2004)
[Gky95] G. Klir, B. Yuan, Fuzzy Sets and Fuzzy Logic. NJ, USA: Prentice Hall
(1995)
[Got01] S. Gottwald, A Treatise on Many Valued Logics. England: Research
Studies Press (2001)
[Bbs02] B. Martin, A, Sans, Redes Neuronales y Sistemas Difusos. Mxico: Al-
faomega (2002)
[Kos94] B. Kosko, Pensamiento Borroso. Barcelona: Ed. grijalbo (1992)
[Kos92] B. Kosko, Neural Networks and Fuzzy Logic. NewJersey: Prentice-Hall
(1992)
69