UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA ELCTRICA
COMIT ACADMICO DE POSTGRADO (CAPEL)

ASIGNATURA

INTRODUCCIN AL
CONTROL DIFUSO
Prof. Panayotis S. Tremante M.
Sem 03/2003
Clase 4

Variable Lingstica
Se define como variable lingstica X, la
variable cuyos valores pueden ser palabras o
frases en un lenguaje natural o artificial. La
variable lingstica puede tomar como valor
palabras que se utilizan cotidianamente.

Variable Lingstica
Una variable lingstica es caracterizada por
(X, T, U, M) donde:
X es el nombre de la variable lingstica; Ej.: X
es la velocidad.
T es la serie de valores lingsticos que X
puede tomar; Ej.: T={lento, medio, rpido}.
U es el Universo de discurso (dominio).
M es una regla semntica que se refiere a cada
valor lingstico en T con un conjunto difuso en
U; Ej.: M se refiere a bajo, medio y rpido
con una funcin de pertenencia.

Variable Lingstica
T(X)
T(velocidad)={lenta, moderada, ms o menos
rpida, rpida,
muy rpida}
Las variables lingsticas tendr definida una
serie de trminos lingsticos que son un
subconjunto del universo considerado.
Los trminos lingsticos incluyen trminos
primarios y en ocasiones modificadores

Modificador Lingstico
Los modificadores comnmente utilizados son
muy y mas o menos, la definicin es:
Dado A un conjunto difuso en U, entonces,
muy de A est definido como un conjunto
difuso en U con funcin de pertenencia igual a:

muy A ( x) A ( x)

Modificador Lingstico
Modificador mas o menos, la definicin es:
Dado A un conjunto difuso en U, entonces, mas
o menos de A est definido como un conjunto
difuso en U con funcin de pertenencia igual a:

mas o menos A ( x) A ( x)

1/ 2

Modificador Lingstico
Los modificadores lingsticos se pueden
determinar su significado por la aplicacin de las
funciones elsticas.
Las funciones elsticas son funciones reales
donde su dominio est en el intervalo [0, 1];
estas funciones son del tipo contraccin elstica
y expansin elstica.

Modificador Lingstico

Modificador Lingstico

Modificador Lingstico

Existen otros modificadores como: ms,

ligeramente, tambin se pueden definir otros
modificadores a partir de algunos operadores
para conjuntos difusos, Ej.: No muy.

Posibilidad - Probabilidad
Una medida difusa es una medida de la

posibilidad.
La Posibilidad es la aptitud, potencia u ocasin
de existir las cosas. Se puede decir para que un
evento se realice y calcular su probabilidad, ste
debe ser posible. Lo posible es anterior a lo
probable.
La posibilidad no implica probabilidad.

Posibilidad - Probabilidad
Lofti Zadeh, introdujo las distribuciones de
posibilidad que se expresan mediante funciones
equivalentes a funciones de pertenencia. Y
advierte que:
Al disminuir la posibilidad en una distribucin
posibilstica disminuye tambin la probabilidad
en la correspondiente distribucin probabilstica.
Lo imposible es a la vez improbable.
Al aumentar la posibilidad no aumenta
necesariamente la probabilidad.

Posibilidad - Probabilidad
La teora de la posibilidad permite tratar la
incertidumbre, esto surge durante el desarrollo
de la tcnicas de control difuso. Esto trae, una
nueva visin no probabilstica en el tratamiento
de la incertidumbre, la incertidumbre comienza
a emerger con la nocin de conjunto difuso.

Posibilidad - Probabilidad
Consideremos dos equipos electrnicos A y B; A
tiene una probabilidad de 0.9 libre de error y a
B se le asigna el grado de pertenencia de 0.9 del
conjunto libre de error. El primero significa que
de cada 100 en funcionamiento, en promedio, el
aparato fallar 10 veces, es decir funciona libre
de error el 90 por ciento de la puestas en
funcionamiento. Mientras que el valor de
pertenencia 0.9 significa que el equipo es
razonablemente similar a un equipo libre de
error, es decir, de buena calidad.

Posibilidad - Probabilidad
Supongamos ahora que ambos tienen asignado
un valor de 0.5 de probabilidad y de pertenencia,
respectivamente. El primero nos dice que
funcionar 50 por ciento de las veces, mientras
que la segunda nos indica que el equipo es de
media calidad o mala calidad.

Posibilidad - Probabilidad
Otro Ejemplo:
La posibilidad de que ocurra un accidente
automovilstico en una autopista, se puede
considerar igual para cualquier automovilista.
Sin embargo, la probabilidad de que ocurra
aumentar en gran medida si por ejemplo, los
cauchos del vehculo estn desgastados y ms
an si el pavimento de la autopista est hmedo.

Posibilidad - Probabilidad
Otro Ejemplo:
La posibilidad de que un estudiante apruebe un
examen existe. Pero, la probabilidad de que
apruebe con una buena calificacin se ver
favorecida si el estudiante asiste a todas las
clases, presta atencin a las mismas, estudia y
practica antes de la evaluacin.

Posibilidad - Probabilidad
Otro Ejemplo:
Consideremos la siguiente proposicin: Javier
coma X huevos para desayunar, donde X es
cualquier valor del universo de discurso, X={1,
2,..., 8}.
X
come(x)
P(x)

1
2
3
4
5
6
7
8
1.0 1.0 1.0 1.0 0.8 0.6 0.4 0.2
0.1 0.8 0.1 0.0 0.0 0.0 0.0 0.0

Operador Complemento
Dado c: [0,1][0,1] que es un mapeo que
transforma la funcin de pertenencia de un
conjunto difuso A en la funcin de pertenencia
del complemento de A, esto es,
c[A(x)]=(x)
En el caso del complemento de Zadeh:
c[A(x)]=1-A(x)

Operador Complemento
La funcin c debe satisfacer las siguientes
propiedades:
1) c(0) = 1 y c(1) = 0
2) Para todo a, b [0, 1], si a<b, entonces,
c(a)c(b), donde a y b son funciones de
pertenencia, a=[A(x)] y b=[B(x)].
La primera propiedad muestra que un elemento
pertenece a un conjunto difuso con grado cero
(uno), entonces este debe pertenecer al
complemento de este conjunto difuso con grado
uno (cero).

Operador Complemento
2) Para todo a, b [0, 1], si a<b, entonces,
c(a)c(b), donde a y b son funciones de
pertenencia, a=[A(x)] y b=[B(x)].
La segunda propiedad indica que un incremento
en el valor de pertenencia debe resultar igual o
decrementar el valor de pertenencia para el
complemento.
Una funcin c: [0,1][0,1] que satisface las dos
propiedades anteriores se le llama Complemento
Difuso

Operador Complemento
Complemento Difuso Sugeno:

1 a
c (a )
1 a

donde (-1, )

Operador Complemento
Complemento Difuso Yager:

cw (a ) (1 a )

w 1/ w

donde w (0,
)

Operador Complemento
Equilibrio de un Complemento Difuso:
El equilibrio de un Complemento Difuso c est
definido como un a [0, 1] tal que c(a)=a

Operador S-norma
La unin de dos conjuntos difusos A y B est
especificada por una funcin S:
AB(x) = S(A(x), B(x)) = A(x) B(x)
donde es un operador binario para la funcin
S. Estos operadores de la unin difusa a menudo
se llaman T-conorm (o S-norma), operadores que
rene los requisitos bsicos siguientes:

Operador S-norma
Un operador T-conorm (o S-norm) es:
S:
[0,1]X[0,1][0,1], es decir, es una funcin de
dos dimensiones S(.,.) definida sobre el cuadrado
unitario cerrado [0,1]X[0,1] a valores [0,1] que
satisface las siguientes propiedades:
Lmite: S(1,1) = 1, S(a,0) = S(0,a) = a
Monotona: S(a,b) S(c,d) si ac y bd
Conmutativa: S(a,b) = S(b,a)
Asociativa: S(a, S(b,c)) = S(S(a,b),c)

Operador S-norma
Lmite: S(1,1) = 1, S(a,0) = S(0,a) = a
Monotona: S(a,b) S(c,d) si ac y bd
Conmutativa: S(a,b) = S(b,a)
Asociativa: S(a, S(b,c)) = S(S(a,b),c)
La primera condicin impone la generalizacin correcta
para conjuntos ntidos. La segunda propiedad implica que una
disminucin en el valor del nmero de pertenencia de A o B no
puede producir un aumento en el valor del nmero de
pertenencia en A unin B. La tercera propiedad indica que la
operacin es indiferente en el orden que los conjuntos difusos
son combinados. Finalmente, la cuarta propiedad nos permite
tomar la unin de cualquier nmero de conjuntos en cualquier
orden par de agrupaciones.

Operador S-norma
Operador Clsico: S(a, b) = max (a,b)
Suma Difusa Dombi:

S ( a, b)

1
1
1 1
a

donde (0, )

1
1
b

1 /

Operador S-norma
Suma Difusa Dubais-Prade:

a b ab min(a, b,1 )
S (a, b)
max(1 a,1 b, )
donde [0, 1]

Operador S-norma
Suma Difusa Yager:

S w (a, b) min(1, (a b )
w

donde w (0, )

w 1/ w

Operador S-norma
Suma Drstica:

Suma Einstein:

a si b 0

S(a, b) = b si a 0

1 en otro caso

ab
S ( a, b)
1 ab

Suma Algebraica: S(a, b) = a + b ab

Operador S-norma
max(a,b) S(a, b) Sdrstica(a, b)
para todo a, b [0, 1]
Suma Difusa Yager:

Suma Algebraica:

Operador S-norma
Dada la Suma Difusa Dombi, S(a,b), se cumple
que:

lim S (a, b) max(a, b)

lim S (a, b) S drstica (a, b)

0

Operador T-norma
La interseccin de dos conjuntos difusos A y B
est especificada por una funcin T:
AB(x) = T(A(x), B(x)) = A(x) B(x)
donde es un operador binario para la funcin
T. Estos operadores de la interseccin difusa
normalmente son llamados operadores T-norma
(norma Triangular), que rene los requisitos
bsicos siguientes:

Operador T-norma
Un operador T-norma es: T:[0,1]X[0,1][0,1],
es decir, es una funcin de dos dimensiones
T(.,.) definida sobre el cuadrado unitario cerrado
[0,1]X[0,1] a valores en [0,1] que satisface las
siguientes propiedades:
Lmite: T(0,0) = 0, T(a,1) = T(1,a) = a
Monotona: T(a,b) T(c,d) si ac y bd
Conmutativa: T(a,b) = T(b,a)
Asociativa: T(a, T(b,c)) = T(T(a,b),c)

Operador T-norma
Lmite: T(0,0) = 0, T(a,1) = T(1,a) = a
Monotona: T(a,b) T(c,d) si ac y bd
Conmutativa: T(a,b) = T(b,a)
Asociativa: T(a, T(b,c)) = T(T(a,b),c)
La primera condicin impone la generalizacin correcta
para conjuntos ntidos. La segunda propiedad implica que una
disminucin en el valor del nmero de pertenencia de A o B no
puede producir un aumento en el valor del nmero de
pertenencia en A interseccin B. La tercera propiedad indica
que la operacin es indiferente en el orden que los conjuntos
difusos son combinados. Finalmente, la cuarta propiedad nos
permite tomar la interseccin de cualquier nmero de
conjuntos en cualquier orden par de agrupaciones.

Operador T-norma
Operador Clsico: T(a, b) = main (a,b)
Producto Difuso Dombi:

T (a, b)

1
1
1 1
a

donde (0, )

1
1
b

1/

Operador T-norma
Producto Difuso Dubais-Prade:

ab
T (a, b)
max(a, b, )
donde [0, 1]

Operador T-norma
Producto Difuso Yager:

Tw (a, b) 1 min(1, ((1 a ) (1 b) )

w

donde w (0, )

w 1/ w

Operador T-norma
a si b 1

Producto Drstico: T(a, b) = b si a 1

0 en otro caso

ab
Producto Einstein: T ( a, b)
2 (a b ab)
Producto Algebraico:

T(a, b) = ab

Operador T-norma
Tdrstica(a, b) T(a, b) min(a,b)
para todo a, b [0, 1]
Producto Difuso Yager:

Producto Algebraico:

Operador T-norma
Dado el Producto Difuso Dombi, T(a,b), se
cumple que:

lim T (a, b) min(a, b)

lim T (a, b) Tdrstica (a, b)

0