CAPTULO 1

EL PARADIGMA DIFUSO
En este captulo describiremos brevemente los fundamentos matemticos
de la teora de conjuntos difusos, as como la aplicacin de estos conceptos a
los mecanismos de inferencia, lo que se ha dado en llamar Lgica Difusa. Asimismo estudiaremos las caractersticas generales de los sistemas basados en lgica difusa.
1.1 CONJUNTOS DIFUSOS
La teora de conjuntos difusos fue introducida por Lofti A. Zadeh como un
mecanismo de representacin de la vaguedad e imprecisin de los conceptos
empleados en el lenguaje natural [Zadeh,1965]. Expresiones del tipo ese hombre es alto, hoy hace calor o voy a tardar un rato son habituales en nuestro lenguaje. Sin embargo no es fcil precisar qu entendemos por alto,
calor o un rato. Difcilmente nos pondremos de acuerdo en precisar a partir de qu altura puede considerarse alta a una persona, o a partir de qu temperatura se dice que hace calor, o cunto tiempo supone esperar un rato. Sin
embargo los seres humanos no encontramos dificultades en razonar con estos
conceptos imprecisos.
Los conjuntos difusos fueron definidos como una extensin de los conjuntos clsicos que permitiera modelar la imprecisin de los conceptos humanos.
En la teora clsica de conjuntos, formulada por Georg Cantor a finales del siglo XIX, un cierto elemento puede pertenecer o no a un determinado conjunto,
es decir, la relacin de pertenencia puede tomar nicamente los valores verdadero o falso. La modificacin fundamental propuesta por Zadeh consiste en introducir un grado de pertenencia, esto es, expresar la pertenencia de un
elemento a un conjunto como un nmero real en el intervalo [0,1]. Un grado de
pertenencia 0 indica que un elemento no pertenece a un determinado conjunto, mientras que un grado de pertenencia 1 indica que el elemento pertenece
totalmente al conjunto. Valores intermedios indican una pertenencia parcial de
un elemento al conjunto (Figura 1.1).
La definicin de un conjunto difuso A requiere la especificacin del valor
del grado de pertenencia de cada elemento del universo de discurso U sobre el
que se define el conjunto, esto es, la especificacin de una funcin de pertenencia A(u). La funcin de pertenencia de un conjunto clsico slo puede tomar
los valores 0 y 1, mientras que en un conjunto difuso puede tomar cualquier
valor en el intervalo [0,1].

Un entorno de desarrollo para sistemas de inferencia complejos ...

grado de pertenencia

Temperatura
baja

grado de pertenencia

32

34

Temperatura
alta

36

Temperatura
baja

32

34

38

Temperatura
alta

36

38

(a)

40 Temperatura (C)

(b)

40 Temperatura (C)

Figura 1.1: Representacin grfica de dos conjuntos: (a) Clsico; (b) Difuso.

A(u) : U [0,1]

(1.1)

Aunque las funciones de pertenencia pueden tener cualquier forma, generalmente y por razones prcticas se suelen definir analticamente, de manera
que slo sea necesario especificar el valor de algunos parmetros para determinar la funcin [Ross, 1995]. Algunas de las formas ms utilizadas son funciones triangulares, trapezoidales, campaniformes o sigmoidales, como muestra la
Figura 1.2.
A partir de la definicin de conjunto difuso se suelen introducir una serie
de trminos bsicos, como soporte, altura o corte- de un conjunto difuso, que
se utilizan frecuentemente en la literatura [Cox, 1999]. La Figura 1.3 muestra
grficamente el significado de estos trminos.
Se define soporte de un conjunto difuso como el conjunto (clsico) de elementos cuyo grado de pertenencia es no nulo. Se dice que un conjunto difuso
es una singularidad difusa (fuzzy singleton) si su soporte est formado por un
nico elemento.
soporte ( A ) = { u U A ( u ) > 0}

(1.2)

Se define altura de un conjunto difuso como el valor mximo de su funcin de pertenencia. Se dice que un conjunto difuso es normal si su altura es la
unidad.

El paradigma difuso

b
a

(a)

(b)

(c)

b
a

(d)

(e)

(f)

Figura 1.2: Funciones utilizadas habitualmente como funciones de pertenencia y sus parmetros:
(a) triangular; (b) trapezoidal; (c) campaniforme; (d) sigmoidal; (e) rectangular; (f) delta.

altura ( A ) = max A ( u )

(1.3)

Se define corte- de un conjunto difuso al conjunto (clsico) formado por

todos los elementos cuyo grado de pertenencia es mayor o igual a . Se define
corte- fuerte de un conjunto difuso al conjunto formado por todos los elementos cuyo grado de pertenencia es estrictamente mayor que .
corte ( A ) = { u U

A(u) }

corte fuerte ( A ) = { u U

A(u) > }

altura

corte-
soporte

Figura 1.3: Terminologa para conjuntos difusos.

(1.4)

Un entorno de desarrollo para sistemas de inferencia complejos ...

1.2 OPERACIONES SOBRE CONJUNTOS DIFUSOS

Una vez definidos formalmente los conjuntos difusos, vamos a estudiar de
qu forma pueden extenderse las operaciones entre conjuntos clsicos para ser
aplicadas sobre conjuntos difusos. Una caracterstica a destacar es que no existe una definicin unvoca de algunas de las operaciones clsicas como la unin
o la interseccin de conjuntos, sino que existen mltiples formas de desarrollar
estas operaciones. Esto implica que a la hora de utilizar conjuntos difusos se
debe definir no slo las funciones de pertenencia que caracterizan cada conjunto, sino tambin el operador concreto a utilizar para desarrollar cada operacin
[Ruspini, 1998]. Otra caracterstica de los conjuntos difusos es que, dada su capacidad de modelar la imprecisin de los conceptos lingsticos, permiten definir una serie de operaciones asociadas a expresiones lingsticas como es
mayor que o es aproximadamente o es casi, conocidas comnmente
como modificadores lingsticos.
1.2.1 COMPARACIONES
Igualdad: Dados dos conjuntos difusos A y B, definidos sobre el mismo
universo de discurso U, se dice que los conjuntos son iguales si tienen la
misma funcin de pertenencia.
A = B A ( u ) = B ( u ), u U

(1.5)

Inclusin: Dados dos conjuntos difusos A y B, definidos sobre el mismo

universo de discurso U, se dice que A est incluido en B si, para cada elemento
del universo de discurso, el grado de pertenencia a A es menor o igual que el
grado de pertenencia a B.
A B A ( u ) B ( u ), u U

(1.6)

1.2.2 OPERACIONES BSICAS

Interseccin: Dados dos conjuntos difusos A y B, definidos sobre el mismo
universo de discurso U, se define la interseccin de ambos conjuntos como un
conjunto difuso A B cuya funcin de pertenencia viene dada por la expresin:
A B(u) = T ( A, B ), u U

(1.7)

donde la funcin T(x,y) es una norma triangular o T-norma [Weber, 1983], es

decir, es una funcin que cumple las siguientes propiedades:
Conmutatividad: T ( x, y ) = T ( y, x ), x, y [ 0, 1 ]
Asociatividad:

T ( x, T ( y, z ) ) = T ( T ( x, y ), z ), x, y, z [ 0, 1 ]

El paradigma difuso

si ( x y ) y ( w z ) T ( x, w ) T ( y, z )

Monotona:

x, y, w, z [ 0, 1 ]
Elemento absorbente: T ( x, 0 ) = 0, x [ 0, 1 ]
Elemento neutro: T ( x, 1 ) = x, x [ 0, 1 ]
Existen muchas funciones que cumplen estas propiedades y que, por tanto,
pueden ser utilizadas para representar la interseccin entre conjuntos difusos
[Wang, 1997]. La Tabla 1.1 presenta algunas de las funciones asociadas frecuentemente a la operacin de interseccin.
Tabla 1.1: T-normas.
Nombre

Definicin

Mnimo

T ( x, y ) = min ( x, y )

Producto

T ( x, y ) = x y

Producto acotado

T ( x, y ) = max ( 0, x + y 1 )

Producto drstico

T ( x, y ) = y

Representacin

si y = 1
si x = 1
eoc

Unin: Dados dos conjuntos difusos A y B, definidos sobre el mismo universo de discurso U, se define la unin de ambos conjuntos como un conjunto
difuso A B cuya funcin de pertenencia viene dada por la expresin:
A B(u) = S ( A, B ), u U

(1.8)

donde la funcin S(x,y) es una conorma triangular o S-norma, es decir, es una

funcin que cumple las siguientes propiedades:
Conmutatividad: S ( x, y ) = S ( y, x ), x, y [ 0, 1 ]

Un entorno de desarrollo para sistemas de inferencia complejos ...

Asociatividad:

S ( x, S ( y, z ) ) = S ( S ( x, y ), z ), x, y, z [ 0, 1 ]

Monotona:

si ( x y ) y ( w z ) S ( x, w ) S ( y, z )
x, y, w, z [ 0, 1 ]

Elemento neutro: S ( x, 0 ) = x, x [ 0, 1 ]
Elemento absorbente: S ( x, 1 ) = 1, x [ 0, 1 ]
Como en el caso de la interseccin, existen muchas funciones que cumplen
estas propiedades y que, por tanto, pueden ser utilizadas para representar la
unin entre conjuntos difusos [Pedrycz, 1998]. La Tabla 1.2 presenta algunas
de las funciones asociadas frecuentemente a la operacin de unin.
Tabla 1.2: S-normas.
Nombre

Definicin

Mximo

S ( x, y ) = max ( x, y )

Suma algebraica

S ( x, y ) = x + y x y

Suma acotada

S ( x, y ) = min ( 1, x + y )

Suma drstica

S ( x, y ) = y

Representacin

si y = 0
si x = 0
eoc

Complemento: Dado un conjunto difuso A, se define el complemento de

dicho conjunto como un conjunto difuso A cuya funcin de pertenencia viene
dada por la expresin:
A(u) = C ( A ), u U

(1.9)

donde la funcin C(x) es una C-norma, es decir, es una funcin que cumple las

El paradigma difuso

siguientes propiedades:
Condiciones de contorno: C ( 0 ) = 1,

C(1) = 0

Condicin de no incremento: si ( x < y ) C ( x ) > C ( y )

x, y [ 0, 1 ]
Como en los casos anteriores, existen muchas funciones que cumplen estas
propiedades y que, por tanto, pueden ser utilizadas para representar el complemento de un conjunto difuso. La Tabla 1.3 presenta algunas de las funciones
asociadas frecuentemente a la operacin de complemento.
Tabla 1.3: C-normas.
Nombre

Definicin

Negacin

C( x) = 1 x

Sugeno

1x
C ( x ) = -------------------1+x

Yager

C( x) = (1 x )

w 1w

Parmetro

( 0, )
w ( 0, )

1.2.3 PROPIEDADES DE LAS OPERACIONES DIFUSAS

De las propiedades generales de las T-normas y S-normas es fcil deducir
que estas funciones estn acotadas por las funciones mnimo y mximo:
T ( x, y ) min(x, y) x, y [ 0, 1 ]

(1.10)

S ( x, y ) max(x, y) x, y [ 0, 1 ]

(1.11)

Determinadas elecciones de los operadores de unin, interseccin y complemento pueden verificar las leyes de De Morgan generalizadas [Yager,
1994].
C ( T ( x, y ) ) = S ( C ( x ), C ( y ) )
C ( S ( x, y ) ) = T ( C ( x ), C ( y ) )

(1.12)

En general, dada una funcin de complemento, se puede asociar una Tnorma a cada S-norma (y viceversa). Por ejemplo, utilizando la negacin como
complemento, las parejas mnimo-mximo y producto-suma (algebraica, acotada y drstica) verifican las leyes de De Morgan generalizadas.
Los operadores mnimo y mximo tambin verifican la propiedad distributiva:

Un entorno de desarrollo para sistemas de inferencia complejos ...

T ( x, S ( y, z ) ) = S ( T ( x, y ), T ( x, z ) )
S ( x, T ( y, z ) ) = T ( S ( x, y ), S ( x, z ) )

(1.13)

Existen dos leyes fundamentales de la teora clsica de conjuntos que no

se cumplen en la teora de conjuntos difusos. Se trata de la ley del tercio excluso (que establece que un conjunto y su complementario deben comprender el
universo de discurso: AA = U) y la ley de la contradiccin (segn la cual un
elemento no puede pertenecer simultneamente a un conjunto y a su complementado: AA = ). Puesto que los lmites de un conjunto difuso son imprecisos, un elemento puede pertenecer en un cierto grado a un conjunto y a su
complemento. As pues, en general
AAU
AA

(1.14)

1.2.4 MODIFICADORES LINGSTICOS

Se denominan modificadores lingsticos a aquellas operaciones que, aplicadas sobre un conjunto difuso, generan un conjunto difuso diferente, es decir,
transforman la funcin de pertenencia del conjunto. Estas transformaciones se
utilizan para modelar conceptos lingsticos que aparecen en el lenguaje natural como clusulas adverbiales. Vamos a definir algunos de ellos (Figura 1.4).
mayor o igual que: Este modificador se aplica sobre conjuntos definidos en
universos de discurso numricos de una dimensin. La funcin de pertenencia
final se obtiene mediante la expresin:

A( x)

= ymax
x( A( y))

(1.15)

menor o igual que: Como el anterior, este modificador se aplica sobre conjuntos definidos en universos de discurso numricos de una dimensin. La
funcin de pertenencia final se obtiene mediante la expresin:

A( x)

= ymax
x( A( y))

(1.16)

distinto de: La complementacin de un conjunto difuso puede entenderse

como un modificador lingstico, que transforma un conjunto difuso A en otro
conjunto difuso A que representa el conjunto no A o distinto de A.
aproximadamente: Aumenta el grado de pertenencia de los elementos del
conjunto difuso, de manera que el conjunto final es ms difuso.
fuertemente: Disminuye el grado de pertenencia, de manera que el conjunto final es menos difuso.
casi: Este modificador hace que se valore nicamente la pertenencia de un
elemento a la frontera del conjunto.

El paradigma difuso

(a)

(b)

(c)

(d)

(e)

(f)

Figura 1.4: Modificadores lingsticos: (a) mayor o igual; (b) menor o igual; (c) distinto;
(d) aproximadamente; (e) fuertemente; (f) casi.

1.3 RELACIONES DIFUSAS

El concepto de relacin difusa es una generalizacin del concepto de relacin en la teora clsica de conjuntos [Mendel, 1995]. Una relacin clsica entre dos universos de discurso U y V se define como un subconjunto del
producto cartesiano UV. Dos elementos, u y v, se dice que estn relacionados
si el par (u,v) pertenece a la relacin.
Se define una relacin difusa R entre los universos U y V como un subconjunto difuso del producto cartesiano UV. La funcin de pertenencia R(u,v)
representa el grado de relacin entre los elementos u y v (Figura 1.5). En prximos apartados veremos que el concepto de relacin difusa es fundamental para
desarrollar mecanismos de razonamiento aproximado.

R(u,v)
1

Figura 1.5: Ejemplo de relacin difusa: u menor o igual a v.

10

Un entorno de desarrollo para sistemas de inferencia complejos ...

1.3.1 COMPOSICIN DE RELACIONES DIFUSAS

La composicin entre relaciones difusas es una generalizacin de la composicin entre relaciones clsicas. Dadas dos relaciones clsicas P y R, definidas sobre UV y VW respectivamente, la composicin de ambas relaciones es
una nueva relacin Q = P R , definida sobre UW, tal que
( u, w ) Q v V , ( u, v ) P, ( v, w ) R

(1.17)

es decir, que dos elementos, u y w, estn relacionados si existe un camino u-vw que los une.
Para generalizar esta definicin utilizando relaciones difusas hay que tener
en cuenta que las relaciones P y R expresan ahora el grado de relacin entre u
y v, y entre v y w, respectivamente. El grado de relacin entre u y w por medio
de v (es decir, el grado de relacin del camino u-v-w), se obtiene a partir de los
grados de relacin entre u y v (P(u,v)), y entre v y w (R(v,w)), aplicando una
T-norma. El grado de relacin entre u y w es el mximo obtenido de entre todos
los caminos posibles (Figura 1.6). La funcin de pertenencia de la composicin
entre relaciones difusas se puede expresar, por tanto, de la siguiente forma:
PoR(u,w) = sup{ P(u,v) * R(v,w) }

(1.18)

Esta expresin se conoce como composicin supremo-estrella (sup-star),

donde la operacin * se refiere a una T-norma [Patyra, 1996]. Las T-normas
ms utilizadas en la composicin son el mnimo, lo que da lugar a la composicin sup-min, y el producto, lo que se conoce como composicin sup-prod.
1.3.2 PROYECCIN CILNDRICA
En ocasiones es necesario realizar operaciones sobre conjuntos difusos definidos sobre universos diferentes. Como veremos ms adelante esto es habi-

v1

.
u

v2

.
v3

.
P(u,v)

R(v,w)

Q(u,w)

Figura 1.6: Composicin entre relaciones difusas.

El paradigma difuso

11

x
(a)

(b)

Figura 1.7: (a) Conjunto difuso definido sobre el universo X. (b) Proyeccin cilndrica sobre el
universo Y.

tual en la conjuncin y disyuncin de proposiciones difusas. Puesto que las

operaciones binarias que hemos presentado (unin e interseccin) slo pueden
aplicarse entre conjuntos definidos sobre el mismo universo, es necesario definir una transformacin que permita interpretar estos conjuntos sobre un universo comn.
Dado un conjunto difuso A, definido sobre el universo U, se define la proyeccin cilndrica de A sobre el universo V como un conjunto difuso A , defi
nido sobre UV, cuya funcin de pertenencia es la siguiente:
A ( u, v ) = A ( u ), v V

(1.19)

es decir, la funcin de pertenencia de la proyeccin es independiente de la variable v (Figura 1.7). Puesto que la proyeccin cilndrica es un conjunto difuso
definido sobre un producto cartesiano de (al menos) dos universos, se suele
considerar como una relacin difusa.
Para realizar una operacin binaria entre dos conjuntos A y B, definidos sobre U y V respectivamente, se consideran las proyecciones cilndricas de ambos conjuntos sobre el universo de discurso del contrario. La operacin binaria
se debe realizar, por tanto, sobre A y B , donde ambos se encuentran definidos
UV.

sobre el mismo universo de discurso

El resultado de la operacin es un
conjunto difuso definido sobre el producto cartesiano UV, por lo que estas
operaciones suelen considerarse relaciones difusas.
1.4 ARITMTICA DIFUSA
Los conjuntos difusos permiten expresar la incertidumbre en el valor de un
cierto nmero o de una cierta variable. Se denomina nmero difuso a una cantidad imprecisa expresada por medio de un conjunto difuso. Estos nmeros difusos pueden aparecer en expresiones aritmticas, es decir, es posible realizar
operaciones con ellos [Dubois, 1987]. El resultado de una operacin aritmtica

12

Un entorno de desarrollo para sistemas de inferencia complejos ...

KL

10

12

Figura 1.8: Suma de dos nmeros difusos.

sobre dos nmeros difusos da lugar a un resultado impreciso, es decir, a un nuevo nmero difuso, que estar descrito mediante un conjunto difuso diferente
que debemos calcular.
Consideremos una operacin aritmtica entre dos nmeros reales. Se define la extensin de a conjuntos difusos ( K L ) como
K L(u) = sup s, t { K ( s ) * L ( t ) }
u = st

(1.20)

donde * es una T-norma, que habitualmente se toma como el mnimo. La expresin anterior puede simplificarse enormemente cuando se consideran funciones de pertenencia de una forma determinada (Figura 1.8). Por ejemplo,
para funciones de pertenencia triangulares, definidas mediante tres parmetros
(a,b,c), la suma es de nuevo una funcin de pertenencia triangular que viene
dada por la expresin
( a 1, b 1, c 1 ) ( a 2, b 2, c 2 ) = ( a 1 + a 2, b 1 + b 2, c 1 + c 2 )

(1.21)

La aritmtica difusa permite incorporar la imprecisin como una parte fundamental de los valores de las variables. Esto es de gran utilidad para el desarrollo de tcnicas de razonamiento cualitativo o semicuantitativo [Dubois,
1989].
1.5 LGICA DIFUSA
Se denomina lgica difusa a los mecanismos de inferencia basados en reglas que emplean trminos lingsticos representados por conjuntos difusos.
Dado un conjunto de reglas que relacionan una serie de variables y dado un
conjunto de valores iniciales (en general expresados como conjuntos difusos)
de algunas de estas variables, el objetivo de estos mecanismos de inferencia es
deducir el valor (expresado en forma de un conjunto difuso) del resto de variables.

El paradigma difuso

13

1.5.1 VARIABLES LINGSTICAS

Se denomina variable lingstica a una variable cuyos valores pueden expresarse en trminos del lenguaje natural. Cada uno de estos trminos se conoce como etiqueta lingstica y se representa por medio de un conjunto difuso
definido sobre el universo de discurso de la variable. Por ejemplo, la temperatura del cuerpo humano puede ser catalogada como baja, normal, alta o
muy alta. Cada uno de estos trminos es una etiqueta lingstica que puede
describirse como un conjunto difuso (Figura 1.9).
1.5.2 PROPOSICIONES DIFUSAS
Se denomina proposicin difusa a una expresin lingstica que relaciona
diferentes variables. Una proposicin difusa se representa por un conjunto difuso definido sobre el producto cartesiano de los universos de discurso de sus
variables lingsticas.
Una proposicin difusa simple es una expresin que relaciona una variable
lingstica con una de sus etiquetas, por ejemplo, la temperatura es normal.
El conjunto difuso que representa esta proposicin es el correspondiente a la
etiqueta lingstica utilizada. Como vimos en el apartado 1.2.4, es posible
transformar un conjunto difuso por medio de un modificador lingstico. Esto
permite definir proposiciones que utilizan modificadores lingsticos, por
ejemplo, la temperatura es aproximadamente normal o la temperatura es
mayor o igual que alta.
Las conectivas lgicas AND (conjuncin) y OR (disyuncin) permiten formar proposiciones difusas compuestas. El conjunto difuso correspondiente a la
conjuncin de dos proposiciones es la interseccin de los conjuntos difusos
parciales.
A B ( x , y ) = T ( A ( x ), B ( y ) )

(1.22)

grado de pertenencia
Baja

Normal Alta

Muy alta

0
32

34

36

38

40

42

Temperatura (C)

Figura 1.9: Definicin de la variable lingstica Temperatura.

14

Un entorno de desarrollo para sistemas de inferencia complejos ...

(a)

(b)

Figura 1.10: (a) Conjuncin de proposiciones difusas: (x es A) (y es B). (b) Disyuncin de

proposiciones difusas: (x es A) (y es B).

Anlogamente, el conjunto difuso correspondiente a la disyuncin de proposiciones difusas se obtiene mediante la unin de ambos conjuntos.
A B ( x, y ) = S ( A ( x ), B ( y ) )

(1.23)

Cuando estas conectivas se aplican a expresiones de variables diferentes,

como se ilustra en la Figura 1.10, se utilizan las proyecciones cilndricas que
se explicaron en el apartado 1.3.2).
1.5.3 REGLAS DIFUSAS
Una regla difusa es una expresin del tipo
SI proposicin difusa ENTONCES proposicin difusa

(1.24)

donde la proposicin de la izquierda se denomina antecedente o premisa y la

de la derecha se conoce como consecuente o conclusin. Una regla difusa representa una relacin difusa entre el antecedente y el consecuente, cuya funcin de pertenencia viene dada por la expresin:
A B ( x, y ) = ( A ( x ), B ( y ) )

(1.25)

donde se denomina operador de implicacin y puede, como en los casos de

la conjuncin, disyuncin y negacin, ser representado por diferentes funciones. Estas funciones de implicacin se definen como generalizacin de la implicacin clsica. La implicacin en la lgica clsica se define como:
p q (p) q ( p q) (p)

(1.26)

Sustituyendo los operadores de conjuncin, disyuncin y negacin clsicos por sus correspondientes operadores difusos de interseccin, unin y complemento, se obtienen expresiones que permiten definir funciones de
implicacin [Lee, 1990]:

El paradigma difuso

15

A B ( x , y ) = S ( C ( A ( x ) ), B ( y ) )

(1.27)

A B ( x, y ) = S ( T ( A ( x ), B ( y ) ), C ( A ( x ) ) )

(1.28)

La Tabla 1.4 muestra diferentes funciones de implicacin propuestas por

varios autores [Driankov, 1993] [Mizumoto, 1982]. Las cuatro primeras han
sido obtenidas de las expresiones anteriores utilizando las T-normas y S-normas definidas en el apartado 1.2. Las cuatro siguientes provienen de la lgica
multivaluada.
Tabla 1.4: Funciones de implicacin.
Nombre

Definicin

Dienes-Resher
o Booleana

A B ( x, y ) = max ( 1 A ( x ), B ( y ) )

Mizumoto

A B ( x, y ) = 1 A ( x ) + A ( x ) B ( y )

Lukasiewicz

A B ( x, y ) = min ( 1, 1 A ( x ) + B ( y ) )

Zadeh
o Max-min

A B ( x, y ) = max ( min ( A ( x ), B ( y ) ), 1 A ( x ) )

Dubois-Prade

1 A ( x ) si B ( y ) = 0

A B ( x, y ) = ( y ) si ( x ) = 0
B
A

1
eoc

Goguen

1
si A ( x ) B ( y )

A B ( x, y ) =
eoc
B ( y ) A ( x )

Gdel

1 si A ( x ) B ( y )
A B ( x, y ) =
eoc
B ( y )

Sharp o
secuencia
estndar

1 si A ( x ) B ( y )
A B ( x, y ) =
0
eoc

16

Un entorno de desarrollo para sistemas de inferencia complejos ...

Figura 1.11: Regla difusa SI (x es A) ENTONCES (y es B), aplicando la funcin de implicacin

de Zadeh.

La Figura 1.11 ilustra un ejemplo de regla difusa en la que se emplea la

funcin de Zadeh como funcin de implicacin.
1.5.4 REGLA DE INFERENCIA COMPOSICIONAL
Las tcnicas de razonamiento lgico permiten deducir conclusiones a partir de un conjunto de reglas lgicas y un conjunto de observaciones. Los mtodos de inferencia ms importantes en la lgica proposicional clsica se conocen
como modus ponens y modus tollens. El mtodo de inferencia modus ponens
establece que dada una regla si x es A entonces y es B y una observacin x
es A se puede obtener la conclusin y es B, es decir, que la proposicin y
es B es necesariamente cierta. Por su parte, el mtodo modus tollens establece
que, dada una regla si x es A entonces y es B y una observacin y es no B,
se puede obtener la conclusin x es no A, es decir, que la proposicin x es
A es necesariamente falsa. La utilizacin de modus ponens para obtener conclusiones se conoce como inferencia hacia adelante (forward inference) mientras que el uso de modus tollens se denomina inferencia hacia atrs (backward
inference).
La lgica difusa requiere generalizar estos procesos de inferencia para
aplicarlos a proposiciones difusas. El mtodo modus ponens generalizado establece que, dada la regla difusa si x es A entonces y es B y la observacin x
es A se puede obtener la conclusin y es B, donde el conjunto difuso B es
ms prximo a B cuanto ms prximo sea A al conjunto A. Por su parte, el mtodo modus tollens generalizado establece que, dada la regla difusa si x es A
entonces y es B y la observacin y es B se puede obtener la conclusin x
es A, donde el conjunto difuso A es ms diferente a A cuanto ms diferente
sea B al conjunto B.
Centrndonos en los mtodos de inferencia hacia adelante, Zadeh propuso
obtener la conclusin del modus ponens generalizado mediante la siguiente expresin, conocida como regla de inferencia composicional [Zadeh, 1973],

El paradigma difuso

17

B = A R

(1.29)

donde R representa la relacin difusa asociada a la regla difusa.

Sustituyendo la definicin de la composicin supremo-estrella (ec. 1.18),
la funcin de pertenencia de la conclusin es:
B ( y ) = sup { A ( x ) * A B ( x, y ) }
x

(1.30)

Sustituyendo la definicin de la funcin de pertenencia de una regla difusa,

B ( y ) = sup { A ( x ) * ( A ( x ), B ( y ) ) }
x

(1.31)

Un caso de particular inters es aquel en el que la observacin x es A es

una singularidad difusa, es decir, cuando en lugar de un conjunto difuso tenemos un valor concreto x es x0. En este caso, la expresin anterior se reduce a
B ( y ) = ( A ( x 0 ), B ( y ) )

(1.32)

Otro caso importante se produce cuando la T-norma * y el operador de implicacin cumplen la propiedad distributiva. En este caso, la conclusin de
la inferencia se calcula mediante la expresin

B ( y ) = sup { A ( x )* A ( x ) }, B ( y ) = ( , B ( y ) )
x

(1.33)

= sup { A ( x )* A ( x ) }
x

(1.34)

donde , que se conoce como grado de similaridad, representa la proximidad

entre los conjuntos difusos A y A.
En general el mecanismo de inferencia de una regla difusa depende de la
eleccin de los operadores * y . Respecto a la T-norma, las elecciones ms
habituales son el mnimo (composicin sup-min) y el producto (composicin
sup-prod). Por su parte, y como acabamos de ver, la eleccin de un operador
de implicacin que verifique la propiedad distributiva respecto a la composicin puede simplificar el clculo significativamente.
1.5.5 INFERENCIA EN BASES DE REGLAS DIFUSAS
La regla de inferencia composicional presentada en el apartado anterior
describe un mecanismo de inferencia que permite obtener la conclusin de una
regla difusa. En general, un sistema experto est compuesto por un conjunto de

18

Un entorno de desarrollo para sistemas de inferencia complejos ...

reglas, definidas sobre un conjunto de variables de entrada y salida. La generalizacin de la regla de inferencia composicional para su aplicacin en sistemas
expertos plantea nuevos problemas. El primero de ellos es cmo representar el
conjunto difuso de una observacin en un problema de mltiples entradas. Un
segundo problema es cmo realizar el proceso de inferencia simultneamente
en todas las reglas.
Respecto a la primera cuestin, dadas N observaciones sobre variables lingsticas, x1 es A1 ... xN es AN, el conjunto difuso que define la observacin global que incluye a todas las variables es la conjuncin de todas las
observaciones, es decir, (x1 es A1) (x2 es A2) ... (xN es AN), cuya funcin de pertenencia es:
A ( x 1, x 2, , x N ) = T [ A ( x 1 ), A ( x 2 ), , A ( x N ) ]
1

(1.35)

Para calcular el grado de activacin de cada regla habra de calcularse el

grado de similaridad entre este conjunto difuso y el antecedente de la regla (ec.
1.34). La aplicacin literal de esta ecuacin implica realizar recorridos exhaustivos sobre espacios de N dimensiones, lo que a efectos prcticos resulta muy
ineficiente. Este clculo puede simplificarse significativamente si el operador
* verifica las propiedades asociativa y distributiva respecto a las conectivas y
modificadores lingsticos que aparecen en el antecedente. Supongamos que el
antecedente est formado por la conjuncin de dos proposiciones simples, (x1
es A1) (x2 es A2). Dadas las observaciones x1 es A1 y x2 es A2, el grado
de activacin sera:
=

sup { T ( ( x ), ( x ) ) * T ( ( x ), ( x ) ) }
A 1' 1
A 2' 2
A1 1
A2 2
x 1, x 2
sup { T ( ( x ) * ( x ), ( x ) * ( x ) ) }
A 1' 1
A1 1
A 2' 2
A2 2
x 1, x 2

(1.36)

= T sup { A ' ( x 1 ) * A ( x 2 ) }, sup { A ' ( x 2 ) * A ( x 2 ) }

1
2
2
2
x
x
1

2
= T (A

1'

A 1,

2'

A2 )

Es decir, bajo las condiciones exigidas, el clculo del grado de activacin de

cada regla puede realizarse a partir de los grados de similaridad entre las observaciones y las etiquetas aplicadas a cada variable.
El segundo problema que hemos planteado es cmo realizar la agregacin
del conjunto de reglas que conforman el sistema experto. En este punto aparecen dos opciones [Driankov,1993]. La primera se denomina inferencia basada
en composicin, y consiste en componer todas las reglas del sistema experto,
formando una nica relacin difusa RG. La conclusin de la inferencia se ob-

El paradigma difuso

19

tiene aplicando la regla de inferencia composicional a esta relacin difusa global:

B = A R G

RG = R1 R2 R N

(1.37)

La segunda opcin, llamada inferencia basada en reglas, consiste en calcular en primer lugar las conclusiones parciales de cada regla, aplicando la regla de inferencia composicional a cada regla. La conclusin global se obtiene
mediante la agregacin de las conclusiones parciales:
B = B 1 B 2 B N

B i = A R i

(1.38)

La eleccin entre estas dos interpretaciones de la agregacin de reglas depende tanto del significado intuitivo de una base de reglas (que se inclina por
la primera interpretacin) como de la simplicidad del mecanismo (que se inclina por la segunda). Para determinadas elecciones de los distintos operadores
puede demostrarse que ambas interpretaciones son equivalentes [Lee,1990].
En general, los sistemas expertos basados en lgica difusa suelen utilizar el segundo mecanismo.
Un ltimo problema es definir el operador de agregacin. Teniendo en
cuenta la definicin del operador de implicacin (ec. 1.27)(ec. 1.28), cuando la
premisa no se cumple (es decir, el grado de similaridad es cero), la conclusin es un conjunto difuso que cubre todo el universo ( B ( y ) = 1, y ). La
conclusin de una regla que no se cumple no debera influir en el resultado global de la inferencia, es decir, la agregacin de este conjunto a la conclusin global no debe tener ninguna influencia. Dicho de otro modo, para el operador de
agregacin el valor 1 debe ser un elemento neutro. Por tanto, las funciones adecuadas para representar la agregacin son T-normas [Wang, 1997].
La formulacin de la lgica difusa que hemos desarrollado hasta ahora es
la forma natural de generalizar la lgica proposicional clsica. Como acabamos
de ver, las conclusiones de la inferencia obtenidas con esta formulacin tienden
a ocupar todo el universo de discurso (las conclusiones suelen tener un grado
de pertenencia no nulo en todo el universo). Sin embargo, en muchas ocasiones
es recomendable, o incluso necesario, que estas conclusiones se encuentren
ms limitadas en el universo. Para esto es necesario modificar la formulacin
en el sentido de que las conclusiones tengan valores no nulos slo para aquellas
reglas que estn activas. Esta modificacin consiste en utilizar T-normas como
funciones de implicacin, con lo que la conclusin de una regla no activa sera
siempre nula. Es habitual, por tanto, utilizar T-normas como funciones de implicacin, especialmente el mnimo (implicacin de Mamdani) y el producto
(implicacin de Larsen). Una ventaja adicional del uso de T-normas como funciones de implicacin es que se garantiza la distributividad entre la implicacin
y la composicin lo que, como hemos visto, simplifica el proceso de inferencia
(ec. 1.33). Cuando se utiliza una T-norma como implicacin, la conclusin global no debe modificarse al agregar un conjunto vaco. Esto implica que para el

20

Un entorno de desarrollo para sistemas de inferencia complejos ...

operador de agregacin el valor 0 debe ser un elemento neutro. Por tanto, en

este caso, las funciones adecuadas para representar el operador de agregacin
son S-normas [Mizumoto, 1991].
1.6 MTODOS DE CONCRECIN
Las conclusiones extradas mediante los mecanismos de inferencia descritos en el apartado anterior se representan mediante conjuntos difusos. En muchas aplicaciones es necesario utilizar valores discretos para representar las
variables, es decir, no es posible utilizar una representacin difusa como resultado de la inferencia, lo que obliga a sustituir estas conclusiones difusas por un
valor discreto significativo.
Se denomina proceso de concrecin (defuzzification) al mecanismo que
permite obtener el valor significativo que representa de manera discreta a un
conjunto difuso. En la literatura se han propuesto numerosos mtodos de concrecin [Baturone, 2000]. A continuacin vamos a presentar los ms utilizados.
Centro de rea: Tambin conocido como Centro de Gravedad o Centroide,
utiliza el centro de rea del conjunto difuso B como valor representativo, y .
Su versin discreta, que puede interpretarse como una suma de Riemann, es la
siguiente [Jager, 1992]

yi B ( yi )

i
y = ----------------------------- B ( yi )

(1.39)

Entre las propiedades positivas de este mtodo hay que destacar que es
continuo (un pequeo cambio en las entradas no implica un cambio brusco en
las salidas) y no es ambiguo (obtiene un valor nico como resultado del proceso). Sin embargo el mtodo presenta algunos inconvenientes. En primer lugar,
no es plausible (ya que la salida puede corresponder a un punto del soporte del
conjunto con bajo grado de activacin). Otra caracterstica, a veces indeseable,
es que no se trata de un mtodo lineal. Por otra parte, la principal limitacin de
este mtodo es la necesidad de recorrer todo el universo de discurso para evaluar el centroide. Esto hace que el clculo del valor representativo sea muy costoso en nmero de operaciones.
Centro del rea Mayor: Este mtodo pretende resolver el problema de
falta de plausibilidad del mtodo anterior. Consiste en dividir el conjunto
difuso en zonas convexas y calcular el centro de rea de la zona de rea mayor.
Presenta el inconveniente de la ambigedad en el caso de que haya dos zonas
con el mismo rea.
Mximo: Consiste en generar como valor representativo el punto del uni-

El paradigma difuso

21

verso de discurso cuyo grado de pertenencia sea mximo. Este mtodo asegura la plausibilidad, pero resulta ambiguo cuando existen muchos puntos con
este grado de pertenencia, de manera que normalmente se utilizan los mtodos
de Primer Mximo, ltimo Mximo o Media de los Mximos. En cualquier
caso, estos mtodos son discontinuos (ya que una pequea variacin en el
grado de activacin de las reglas puede modificar significativamente la posicin del mximo) y pueden reducir el carcter difuso de la inferencia, ya que
los valores que pueden generar corresponden a los mximos de los consecuentes de las reglas.
Estos mtodos bsicos, tambin conocidos como mtodos convencionales,
pueden ser empleados sobre cualquier conjunto difuso. Los conjuntos difusos
que deseamos representar por valores discretos provienen de un proceso de inferencia. Esto quiere decir que su funcin de pertenencia se obtiene a partir de
los consecuentes de las reglas por medio de los operadores de implicacin y
agregacin. Muchos mtodos de concrecin utilizan esta propiedad para calcular el valor representativo en funcin de las caractersticas de los consecuentes,
cuyas funciones de pertenencia se conocen de antemano. Esto permite evitar
los recorridos sobre el universo de discurso que suponen el mayor obstculo en
la utilizacin de los mtodos convencionales. Los mtodos de concrecin que
utilizan parmetros precalculados de los consecuentes y no necesitan recorridos sobre el universo de discurso se denominan mtodos simplificados.
Entre los mtodos simplificados cabe destacar los siguientes:
Centro de Sumas: Este mtodo emplea la suma como operador de agregacin y el producto como operador de implicacin.
B ( yi ) =

r r ( yi )

(1.40)

donde r es la funcin de pertenencia del consecuente de la regla r y r es el

grado de activacin de dicha regla (ec. 1.33). En este caso la frmula del centro
de rea puede simplificarse:

yi r r ( yi )
i

r yi r ( yi )

r Sr cr

r
y = ----------------------------------------------- = ----------------------------------------------- = -----------------------------

(
y
)

(
y
)
r r i
r r i
r Sr
i

(1.41)

donde Sr es el rea del consecuente de la regla r y cr su centro. Estos parmetros

pueden calcularse previamente.
Media Difusa: Tambin conocido como mtodo de la Altura, se obtiene a
partir del centro de sumas considerando que todos los consecuentes tengan
funciones de pertenencia con el mismo rea. El valor representativo que
genera es una media de los centros de las funciones de pertenencia de los con-

22

Un entorno de desarrollo para sistemas de inferencia complejos ...

secuentes, ponderados por su grado de activacin.

r cr

r
y = -------------------- r

(1.42)

Media difusa ponderada: Se obtiene a partir del centro de sumas considerando que el rea de los consecuentes es proporcional a su base. El valor
representativo que genera es una media de los centros de las funciones de pertenencia de los consecuentes, ponderados por su grado de activacin y su
base.

r d r cr

r
y = ------------------------------ r d r

(1.43)

Mtodo de la Calidad: Algunos autores consideran que para ponderar los

centros de los consecuentes no es adecuado utilizar su base, sino la inversa de
la base, ya que consideran que el proceso de concrecin debe primar a los consecuentes ms precisos [Hellendoorn, 1993a]. Tambin es habitual utilizar el
valor de la base elevado a una determinada potencia (mtodo de -Calidad)
[Hellendoorn, 1993b], que es equivalente al mtodo de la calidad cuando el
exponente es la unidad.

r cr d r

r
y = -----------------------------

d
r r

(1.44)

Mtodo del Nivel Gradual (Level Grading): Siguiendo en la lnea anterior, el nivel de precisin de una conclusin debe ser mayor cuanto ms activa
sea la regla, de manera que en lugar de utilizar la base total del consecuente,
algunos autores proponen utilizar la base del corte- [Jung, 1994]. Cuando los
consecuentes son funciones triangulares esta base es ( ) = d ( 1 ) . Si
todos los tringulos tienen la misma base, el valor obtenido es

r cr ( 1 r )

r
y = -------------------------------------------- r ( 1 r )

(1.45)

Centro de Sumas con Mnimo: Cuando el operador de implicacin utili-

El paradigma difuso

23

zado es el mnimo y los consecuentes son funciones de pertenencia triangulares con la misma base, el valor del centro de sumas viene dado por la siguiente
expresin [Pammu, 1995]:

r cr ( 2 )

r
y = ------------------------------------------ r ( 2 )

(1.46)

Mtodo de Yager: La propuesta de Yager [Yager, 1991] es utilizar el

mtodo de la media difusa sustituyendo el centro de la funcin de pertenencia
por el centro de su corte-. Cuando las funciones de pertenencia son tringulos, el centro del corte- es una funcin lineal. El valor representativo se calcula entonces mediante la expresin:

r ( pr + pr r )
1

r
-;
y = ------------------------------------------------- r

ar + cr
1
p r = ---------------- ;
2

pr = br pr ;

(1.47)

donde ar, br y cr son los puntos inicial, medio y final que describen la funcin
de pertenencia triangular de la regla r.
1.7 ESTRUCTURA BSICA DE UN SISTEMA DE INFERENCIA
BASADO EN LGICA DIFUSA
A lo largo de este captulo hemos presentado los fundamentos de la teora
de conjuntos difusos y de los mecanismos de inferencia basados en ellos. Hemos visto que es posible utilizar estos conjuntos como representacin de la ambigedad de valores numricos y en qu medida es necesario modificar la
aritmtica para incluir conjuntos difusos. Hemos visto asimismo cmo representar reglas lgicas con la metodologa difusa y cmo desarrollar los procesos
de inferencia con estas reglas.
En general, un sistema experto basado en lgica difusa no impone diferencias entre las distintas variables lingsticas. Las conclusiones se obtienen para
cualquier variable a partir de observaciones y procesos de inferencia basados
tanto en modus ponens como en modus tollens. Sin embargo, queda lejos de
los objetivos de este trabajo el desarrollar herramientas que utilicen esta metodologa en toda su amplitud.
A lo largo de este trabajo nos vamos a centrar en sistemas que utilizan una
inferencia hacia adelante. Esto significa que se van a distinguir entre dos tipos
de variables: las variables de entrada, sobre las que se realizan las observaciones que permiten la inferencia, y las variables de salida, sobre las que se obtienen las conclusiones. El mecanismo de inferencia que vamos a utilizar es la
inferencia basada en reglas, es decir, que se obtendrn en primer lugar las con-

24

Un entorno de desarrollo para sistemas de inferencia complejos ...

clusiones parciales de cada regla y posteriormente se agregarn estas conclusiones parciales para formar la conclusin final. Se conocen como sistemas de
inferencia de tipo Mamdani los sistemas de este tipo que describen las conclusiones parciales de las reglas por medio de funciones de pertenencia. En ellos
se pueden distinguir tres fases: difuminado, inferencia y concrecin [Mamdani, 1975].
La fase de difuminado consiste en calcular el grado de similaridad entre los
valores de las variables de entrada y las etiquetas lingsticas de los antecedentes de las reglas. Cuando los valores de las entradas son valores concretos, estos
grados de similaridad se corresponden con los grados de pertenencia asociados
a los valores de entrada y para calcularlos basta con evaluar las funciones de
pertenencia de las etiquetas lingsticas. En general los valores de las entradas
pueden ser datos ms ambiguos y ser representados por conjuntos difusos. En
este caso el grado de similaridad se calcula mediante la composicin sup-min
entre el valor difuso y el conjunto difuso que representa cada etiqueta.
La etapa de inferencia consiste en calcular el grado de activacin de las reglas a partir de los grados de activacin (similaridad) de las etiquetas lingsticas y de la interpretacin de las diferentes conectivas y modificadores
lingsticos que aparecen en el antecedente. A partir de este grado de activacin se obtiene la conclusin parcial de la regla por medio del operador de implicacin. El resultado final de la etapa de inferencia es la conclusin global
asociada a cada variable de salida, que se obtiene a partir de las conclusiones
parciales por medio del operador de agregacin.
La etapa de concrecin se utiliza en aquellos sistemas que necesitan generar unos valores de salida concretos, para los que el resultado de la etapa de inferencia resulta inadecuado. Para obtener estos valores concretos se utilizan los
mtodos de concrecin que presentamos en el apartado anterior. Cuando el mtodo utilizado es un mtodo simplificado, los procesos de implicacin, agregacin y concrecin se combinan en una expresin simple cuyo clculo resulta
muy eficiente.
La estructura descrita permite definir sistemas con entradas y salidas difusas, que pueden encadenarse formando estructuras jerrquicas. Estas estructuras permiten describir bases de conocimiento capaces de expresar relaciones
muy complejas entre las variables de entrada y salida.
Adems de la arquitectura de Mamdani se han realizado otras propuestas
de sistemas difusos basados en inferencia hacia adelante, como los sistemas difusos de tipo Tsukamoto o los de tipo Takagi-Sugeno.
Los sistemas de tipo Tsukamoto utilizan funciones de pertenencia montonas tanto en el antecedente como en el consecuente [Tsukamoto, 1979]. El
valor de las variables de salida se obtiene mediante el mtodo de la media difusa, utilizando como valor representativo de la conclusin de cada regla el
punto en el que el grado de pertenencia es igual al grado de activacin de la regla.

El paradigma difuso

25

r cr

r ( cr ) = r

r
;
y = -------------------- r

(1.48)

Por su parte los sistemas de tipo Takagi-Sugeno utilizan como consecuentes funciones de las variables de entrada y calculan el valor de las salidas como
media difusa de estas funciones [Takagi, 1983].

r F r ( x1, x2, , x N )

r
y = ----------------------------------------------------------- r
r

(1.49)

F r ( x 1, x 2, , x N ) = a 0 + a k x k
r

1.8 OTROS SISTEMAS BASADOS EN LA METODOLOGA DIFUSA

Para concluir este captulo de presentacin de la teora de conjuntos difusos vamos a comentar brevemente algunos tipos de sistemas basados en la metodologa difusa que difieren de la estructura propuesta en el apartado anterior.
Un primer ejemplo de tales sistemas son los que emplean tcnicas de razonamiento cualitativo y semicuantitativo basadas en aritmtica difusa [Dubois,
1989]. Estas tcnicas utilizan informacin difusa en forma de nmeros difusos
(p.e. x es aproximadamente 5), intervalos difusos (p.e. y es positivo) y relaciones difusas entre variables (p.e. x es aproximadamente igual a y o a es
despreciable frente a b) junto a informacin cuantitativa como ecuaciones (v
= dx/dt). Las tcnicas de razonamiento cualitativo permiten extraer conclusiones respecto a los posibles valores de una variable, o a la relacin entre variables, o la dinmica de un sistema, detectando posibles estados de inestabilidad
en su evolucin o realizando predicciones sobre su trayectoria.
Un segundo ejemplo son los sistemas expertos basados en lgica difusa
que utilizan tanto el modus ponens como el modus tollens [Kandel, 1991]. En
estos sistemas no existe una distincin entre variables de entrada y salida, las
reglas pueden establecer relaciones entre cualquier variable, y tanto los antecedentes como los consecuentes pueden ser proposiciones complejas, formadas
con conectivas y modificadores lingsticos. Del mismo modo, las observaciones y conclusiones pueden referirse a cualquier variable o a relaciones entre variables. Como ya hemos comentado, estos dos tipos de sistemas no van a ser
objeto de estudio en este trabajo.
Las tcnicas difusas que hemos presentado permiten describir en trminos
lingsticos el comportamiento de los sistemas de una forma mucho ms cercana al lenguaje natural que otras representaciones matemticas. La capacidad
de modelar sistemas complejos de una forma intuitiva convierte a las tcnicas

26

Un entorno de desarrollo para sistemas de inferencia complejos ...

difusas en instrumentos muy tiles en campos de aplicacin muy diversos, tanto desde el punto de vista de la ingeniera como de las ciencias sociales
[Schwartz, 1994][Terano, 1994]. En el prximo captulo veremos un lenguaje
de especificacin formal, desarrollado en el marco de esta Tesis, que permite
describir sistemas difusos complejos basados en la estructura de razonamiento
que hemos presentado aqu.
REFERENCIAS
1.
2.
3.
4.
5.
6.
7.
8.

9.
10.
11.

12.
13.
14.
15.
16.
17.
18.
19.

Baturone, I., Barriga, A., Snchez Solano, S., Jimnez Fernndez, C.J., Lpez, D.., Microelectronic design of fuzzy logic-based systems, CRC Press, 2000.
Cox, E., The Fuzzy Systems Handbook, 2nd edition, AP Professional, 1999.
Driankov, D., Hellendoorn, H., Reinfrank, M., An Introduction to Fuzzy Control, Springer-Verlag, 1993.
Dubois, D., Prade, H., Fuzzy numbers: an overview, in Analysis of Fuzzy Information Vol1: Mathematics and Logic, CRC Press, 1987.
Dubois, D., Prade, H., Order-of-magnitude reasoning with fuzzy relations, Revue dintelligence artificielle, Vol. 3, n. 4, pp. 69-94, 1989.
Hellendoorn, H., Thomas, C., Defuzzification in fuzzy controllers, Journal of Intelligent
and Fuzzy Systems, Vol. 1, pp. 109-123, 1993a.
Hellendoorn, H., Thomas, C., The -quality defuzzification method, in Proc. 5th IFSA
World Congress, pp. 1159-1162, Seoul, 1993b.
Jager, R., Verbruggen, H. B., Bruhx, P. M., The role of defuzzification methods in the application of fuzzy logic, in Proc. Symposium on Intelligent Components and Instruments for
Control Applications, pp. 111-116, Mlaga, 1992.
Jung, S. H., Cho, K. H., Kim, T. G., Park, K. H., Defuzzification method for multishaped
output fuzzy sets, Electronics Letters, Vol. 30, pp. 740-742, 1994.
Kandel, A., Fuzzy Expert Systems, CRC Press Inc., 1991.
Kiszka, J. B., Kochanska, M. E., Sliwinska, D. S., The influence of some fuzzy implication
operators on the accuracy of a fuzzy model, Parts I & II, Fuzzy Sets and Systems, Vol. 15,
pp. 111-128, 223-240, 1985.
Lee, C. C., Fuzzy logic in control systems: fuzzy logic controller, Parts I & II, IEEE Transactions on Systems, Man, and Cybernetics, Vol. 20, N. 2, pp. 404-432, 1990.
Mamdani, E. H., Assilan, S., An experiment in linguistic synthesis with a fuzzy logic controller, Int. Journal of Man-Machine Studies, Vol. 7, N. 1, pp. 1-13, 1975.
Mendel, J. M., Fuzzy logic systems for engineering: a tutorial, Proceedings of the IEEE,
Vol. 83, N. 3, pp. 345-377, 1995.
Mizumoto, M., Zimmermann, H., Comparison of fuzzy reasoning methods, Fuzzy Sets and
Systems, Vol. 8, pp. 253-283, 1982.
Mizumoto, M., Min-max-gravity method versus product-sum-gravity method for fuzzy
controls, in Proc. 4th IFSA World Congress, pp. 127-130, Brussels, 1991.
Pammu, S., Quigley, S. F., Novel analogue CMOS defuzzification circuit, IEE Proc. Circuits Devices and Systems, Vol. 142, N. 3, pp. 495-498, 1995.
Patyra, M. J., Mlynek, D. M., Eds., Fuzzy Logic. Implementation and Application, Wiley
& Teubner, 1996.
Pedrycz, W., Gomide, F., An Introduction to Fuzzy Sets. Analysis and Design, MIT Press,
1998.

El paradigma difuso
20.
21.
22.
23.

24.
25.
26.
27.
28.
29.
30.
31.

27

Ross, T. J., Fuzzy Logic with Engineering Applications, McGraw-Hill Inc., 1995.
Ruspini, E. H., Bonissone, P. P., Pedrycz, W., Eds., Handbook of Fuzzy Computation, Institute of Physics Pub., 1998.
Schwartz, D. G., Klir, G. J., Lewis, H. W., Ezawa, Y., Applications of fuzzy sets and approximate reasoning, Proceedings of the IEEE, Vol. 82, N. 4, pp. 482-498, 1994.
Takagi, T., Sugeno, M., Derivation of fuzzy control rules for human operators control actions, in Proc. IFAC Symposium on Fuzzy Information, Knowledge Representation and Decision Analysis, pp. 55-60, Marseille, 1983.
Terano, T., Asai, K., Sugeno, M., Eds., Applied Fuzzy Systems, Academic Press, 1994.
Tsukamoto, Y., An approach to fuzzy reasoning method, in Advances in Fuzzy Set Theory
and Applications, North-Holland, 1979.
Wang, L. X., A Course in Fuzzy Systems and Control, Prentice-Hall Int., 1997.
Weber, S., A general concept of fuzzy connectives, negations and implications based on tnorms, Fuzzy Sets and Systems, Vol. 11, pp. 115-134, 1983.
Yager, R. R., An alternative procedure for the calculation of fuzzy logic controller values,
Journal of Japanese Society of Fuzzy Technology, Vol. 3, N. 4, pp. 736-746, 1991.
Yager, R. R., Filev, D. P., Essentials of Fuzzy Modelling and Control, John Wiley & Sons,
1994.
Zadeh, L. A., Fuzzy sets, Information and Control, Vol. 8, pp. 338-358, 1965.
Zadeh, L. A., Outline of a new approach to the analysis of complex systems and decision
processes, IEEE Transactions on Systems, Man, and Cybernetics, Vol. 3, N. 1, pp. 28-44,
1973.

28

Un entorno de desarrollo para sistemas de inferencia complejos ...