UNIDAD 2

CONCEPTOS Y FUNDAMENTOS
DE LGICA DIFUSA.
 Conceptos y
Fundamentos de Lgica
Difusa.
2.2 Conjuntos Difusos, Operadores
y Propiedades de Conjuntos
Difusos
 2.2 Conjuntos Difusos,
Operadores y Propiedades
de Conjuntos Difusos
2.2.1 Conjunto Clsicos.
2.2.2 Conjuntos Difusos.
2.2.3 Operaciones de conjuntos difusos.
2.2.4 Propiedades de conjuntos difusos.
 2.2.1 Conjunto Clsicos.
Un conjunto se puede definir de dos formas distintas:
(1) al enumerar sus elementos, o (2) al describir las
propiedades comunes de sus elementos.
La segunda es mas utilizada que la primera por tres
razones: (a) Es ms consistente que la primera; (b)
Expresa explcitamente el significado de un conjunto;
(c) Puede ser utilizada para reconocer nuevos elementos
de un conjunto cuando las propiedades de los
elementos cambian o cuando las propiedades que los
definen cambian.
 Operaciones en conjuntos Clsicos
Las tres operaciones bsicas en conjuntos
clsicos son: unin, interseccin, y complemento

UNION A B x x A o x B
INTERSECCIN A B x x A y x B
COMPLEMENTO A x x A, x X
DIFERENCIA A B x x A y x B
 Propiedades de las operaciones bsicas en
clsicos
Las propiedades ms apropiadas para
definir a los conjuntos clsicos y al
mismo tiempo mostrar sus similitudes
con los conjuntos difusos son las
siguientes:
Ley Conmutativa
A B B A
A B B A
 Propiedades de los conjuntos clsicos

Ley Asociativa
A B C A B C
A B C A B C
Ley Distributiva
A B C A B A C
A B C A B A C
 Propiedades de los conjuntos clsicos

Idempotencia
A A A
(Ley de tautologa)
A A A
Identidad
A = A
A X = A
A =
A X = X
 Propiedades de los conjuntos clsicos

Transitividad, si

A B C , Entonces AC
Involucin ley de doble
complementacin:

A A
Propiedades especiales en la operacin de
conjuntos

Las leyes de De-Morgan: A B A B

A B A B
Las leyes del medio excluido.
Existen dos leyes del medio excluido estas son:
La ley del tercero excluido
(La ley del medio excluido)
A A X
La ley de contradiccin A A
 TODAS LAS PROPIEDADES DE LOS
CONJUNTOS CLSICOS LAS
CUMPLEN LOS CONJUNTOS
DIFUSOS, SALVO LAS LEYES DE
CONTRADICCIN Y DEL TERCERO
EXCLUIDO.

Un conjunto clsico se convertir en

difuso, justamente cuando se comiencen
a violar dichas leyes.
 2.2.2 Conjuntos Difusos
2.2.2.1 Tipos de funciones de membresa

Existen varios tipos de funciones de membresa,

las ms utilizadas en la practica son: triangular,
trapezoidal, forma de campana, Gaussiana y
funcin sigmoidal.
 Funcin de Membresa Triangular

Se especifica mediante tres

parmetros {a,b,c}:
0 xa
x a
a xb

triangular x : a, b, c
b a
c x bxc
c b
0 xc
Funcin de Membresa Trapezoidal

Se especifica mediante cuatro

parmetros {a,b,c,d}:

0 xa
x a
a xb
b a
triangular x : a, b, c, d 1 bxc
c x
cxd
c b

0 xd
 Funcin de Membresa Gaussiana

Se especifica mediante dos parmetros

{m,}, denotan el centro y el ancho de la
funcin, respectivamente:
x m2
gussiana x : m, exp

2

 Funcin de Membresa Forma de
Campana
Se especifica
mediante tres
parmetros {a,b,c}:

Campanax : a, b, c
1
xc
2b

1
a
Cuatro tipos de funciones
Funcin de Membresa Sigmoidal
Esta funcin aproxima una funcin
escaln (positivo infinito).

Sigmx : a , c
1
a x c

1 e
1

0.5 a
a

c
 Funcin de Membresa S
Esta funcin es una funcin de membresa suave con dos
parmetros: a y b . El valor de membresa ser 0 para los
puntos por debajo de a, 1 para puntos arriba de b, y 0.5
para los puntos intermedios entre a y b.
0 xa

ab
2
2 x a
ax

b a 2
1
S x : a, b
x b ab
2

1 2 b a 2
xb
0.5
1 xb

(a+b)/2c
a b
 Funcin de Membresa 1 y 2
La primera funcin se define con dos parmetros: a y
b. La funcin tiene un valor de membresa de 1 en el
punto a, un valor de membresa de 0.5 en a-b y a+b,
respectivamente. A diferencia de una funcin S, la
funcin decrece hacia cero asinttica mente si se
mueven sus valores desde el punto a.

1 x : a, b
1
xa
2

1
b
 La otra funcin 2 , tiene cuatro parmetros y esta
dada por:

lw
lp lw x x lp

2 x : lw, lp , rp, rw 1 lp x rp
rw
x rp
x rp rw
Funcin de Membresa 1 y 2

lw rw

a-b a a+b lp-lw lp rp rp+rw

 Hedges
Un hedge es un modificador de un conjunto difuso . Al
modificar el significado del conjunto original se crea un
conjunto difuso compuesto. Los modificadores ms
comnmente utilizados son: Muy y Mas o menos
(Very; More or Less):

very A ( x) A ( x)2

MoreOrLess A ( x) A ( x)

very A ( x) A ( x) MoreOrLess A ( x)
2.2.3 Operaciones de conjuntos difusos

Vacuidad: Un conjunto difuso esta vaco si

todos los candidatos tienen MEMBRESA 0
(VACO), por ejemplo: El conjunto de
ocanos que comienzan con X
Complemento: El complemento de un conjunto
difuso es la cantidad que la membresa necesita
para alcanzar 1.
 Operaciones Bsicas Difusas

Contenimiento: en conjuntos difusos cada

elemento debe pertenecer ms al
subconjunto que al conjunto ms grande.

Sea U un conjunto no difuso y M = [0,1], su

conjunto asociado de membresa.
 Se dice que un conjunto difuso AU, est incluido
en otro conjunto difuso BU, s:

A u B u u U

A u B u

U
u

U
u
 Operaciones Bsicas Difusas
Igualdad difusa: Sea U un conjunto no difuso y
M = [0,1], su conjunto asociado de membresa.
Se dice que dos conjuntos difusos AU y
BU, son iguales s y solamente s:

A u B u, u U
 Operaciones Especiales Realizadas a Los
Conjuntos Difusos.
Escalamiento difuso.- Si es un
nmero real no negativo y A representa
un conjunto difuso, entonces se define el
escalamiento difuso como:

A = A
u u 0,1
U
 Estaoperacin, sirve para poder escalar
un conjunto difuso, y se utiliza en
algunos mtodos de inferencia
(producto-suma algebraica) para realizar
los truncamientos de los conjuntos
difusos de salida a partir de un nivel
y en algunos mtodos de defusificacin
para sustituir a las operaciones de
multiplicacin.
 Interseccin y Unin en Conjuntos
Difusos
Se sabe que existen varias maneras de realizar las
operaciones de conjuncin y disyuncin difusas.

Adems de utilizar la conjuncin difusas min, la

disyuncin difusa max, se puede utilizar otra
pareja de operadores para la conjuncin y
disyuncin difusas: el producto y la suma
algebraicos, respectivamente. Y existe un
nmero infinito de otras opciones.
 El conjunto de candidatos de operadores de
conjuncin difusa, conocido como norma
triangular o norma-t se define por una serie de
axiomas. Asimismo, el conjunto de operadores
de disyuncin difusas, llamados conormas
triangulares, conormas-t, o normas-s esta definido
por un conjunto de axiomas dual. Se definirn
las normas-t y conormas-t utilizando los
axiomas siguientes:
 Operadores Tipo Normas-t
Las normas-t se utilizan para calcular los
valores de membresa de la interseccin de dos
o ms conjuntos difusos.

Los operadores que son clasificados dentro

de las normas-t deben satisfacer ciertas
condiciones, y no necesariamente cumplir
todas las propiedades mencionadas para las
operaciones bsicas de los conjuntos difusos,
 las cuales fueron establecidas
considerando a los operadores min,
max y complemento difuso, como
operadores representativos de la
conjuncin, disyuncin y negacin
difusa, respectivamente.
Toda norma-t debe satisfacer las
siguientes condiciones:
 Las normas-t, definen una clase general de
operadores para los conjuntos difusos.
1. t 0,0 0; t A u,1 t 1, A u A u, u U

2. t A u, B u t C u, D u; si A u C u y B u D u

3. t A u, B u t B u, A u;

4.
t A u, t B u, C u t t A u, B u, C u .
 Definicin 1
Un operador norma-t, denotado como t(x,y) es
una funcin proyectada desde [0,1]x[0,1] a [0,1]
que satisface las siguientes condiciones para
cualquier w, x, y, z, [0,1]:
1. (0,0)=0, t(x,1)= x
2. t(x,y) t(z,w) if xz and yw (monotonicity)
3. t(x,y)= t(y,x) (commutativity)
4. t(x, t(y,z))= t(t(x,y),z) (associativity)
 Los operadores pertenecientes a esta clase
de normas son, en particular, asociativos y
por lo tanto es posible calcular los valores
de membresa para la interseccin de ms de
dos conjuntos difusos mediante la
aplicacin recursiva de algn operador de
norma-t.
 Operadores Tipo Conormas-t
Los operadores que corresponden a esta
clase de normas, representan una clase
de operadores generales para realizar la
unin difusa de dos o ms conjuntos,
como el operador max.
Las conormas-t o normas-s, al igual
que las normas-t, son funciones
asociativas, conmutativas y montonas.
 Las propiedades que estas satisfacen
estn formuladas bajo las siguientes
condiciones:
1. s 11
, 1; s A u,0 s 0, A u A u, u U

2. s A u, B u s C u, D u; si A u C u y B u D u

3. s A u, B u s B u, A u;

4.
s A u, s B u, C u s s A u, B u, C u .
 Definicin 2
Un operador norma-t, denotado como s(x,y) es
una funcin proyectada desde [0,1]x[0,1] a [0,1]
que satisface las siguientes condiciones para
cualquier w, x, y, z, [0,1]:
1. (1,1)=1, t(x,0)= x
2. s(x,y) s(z,w) if xz and yw (monotonicity)
3. s(x,y)= s(y,x) (commutativity)
4. s(x, s(y,z))= s(s(x,y),z) (associativity)
 Las normas-t y las conormas-t se
relacionan en un sentido de dualidad
lgica, es decir:

t A u , B u 1 s1 A u , 1 B u
De tal manera que cualquier norma-t
puede ser generada a partir de una
conorma-t mediante la utilizacin de esta
transformacin.
 Tambin, las leyes de De Morgan pueden
ser aplicadas a las normas-t y conormas-t
por medio de la utilizacin de algn
operador adecuado para la
complementacin, como:

A u 1 A u, u U
 De esta manera las leyes de De Morgan
para los conjuntos difusos, pueden quedar
expresadas como:

s A u , B u n t n A u , n B u

t A u , B u n s n A u , n B u
 Lista De Parejas De Operadores
Normas-t Y Conormas-t
Se presenta una serie de operadores
clasificados como operadores no
paramtricos y que representan a una
familia de operadores duales que se utilizan
con frecuencia en los sistemas difusos
orientados hacia control, inteligencia,
automatizacin, e informacin.
 Producto Y Suma Drstica

min A u , B u si max A u , B u 1
t1 A u , B u
0 de otra manera

max A u , B u si min A u , B u 0
s1 A u , B u
1 de otra manera
 Producto Y Suma Acotada

t 2 A u , B u max0, A u B u 1

s2 A u , B u min1, A u B u
 Producto Y Suma Einsteana

A u B u
t3 A u , B u
2 A u B u ( A u B u )

A u B u
s3 A u , B u
1 A u B u
 Producto Y Suma Algebraica

t 4 A u , B u A u B u

s4 A u , B u A u B u A u B u
Producto Y Suma de Hamacher

A u B u
t5 A u , B u
A u B u ( A u B u )

A u B u 2 A u B u
s5 A u , B u
1 ( A u B u )
 Operador Mnimo Y Mximo

t 6 A u , B u min A u , B u

s 6 A u , B u max A u , B u
 Los operadores producto - suma acotada,
producto - suma algebraica y los
operadores mnimo - mximo, son los
operadores ms utilizados dentro de las
aplicaciones de la lgica difusa en el rea
de control, considerando su viabilidad de
implementacin en los sistemas basados
en microcontroladores digitales.
 Una propiedad importante de las normas-t es
que todas las normas-t estn limitadas por
arriba por el min y limitadas por abajo por el
producto drstico.
Similarmente todas las conormas-t estn
limitadas por arriba por la suma drstica y
limitadas por abajo por el max.
 Teoremas 1 y 2
1. Todos los operadores norma-t, denotado por
t, son limitados por el producto drstico t1 y por
arriba por el min:
t1(x,y)t(x,y)min(x,y)

2. Todos los operadores conorma-t, denotado

por s, son limitados por el suma drstico s1 y
por arriba por el max:
max(x,y)s(x,y)s1(x,y)
2.2.4 Propiedades de los conjuntos
difusos
Los conjuntos difusos observan las propiedades bsicas de
los conjuntos clsicos, excepto las leyes del medio excluido.
Considerando tres conjuntos difusos A, B y C, los cuales
tienen como conjunto referencial al conjunto U:

0 1 .5 .3 .2 0 .5 .7 .2 .4
A y B
1 2 3 4 5 1 2 3 4 5

1 0 .5 .7 .8 1 .5 .3 .8 .6
A y B
1 2 3 4 5 1 2 3 4 5
 Propiedades de los conjuntos difusos
Para que el conjunto A sea
propiamente difuso se debe de cumplir
que:
Ley de contradiccin
AA (0 0 .5 .3 .2)
Ley del Tercero excluido

AA U (1 1 .5 .7 .8)
Representacin de las leyes del medio
excluido en conjuntos difusos

X
Tercero excluido


X
La ley de contradiccin
Propiedades Especiales

Cortes-.- Cuando se requiere indicar a

un elemento u de A, que tpicamente
pertenezca a l, se puede condicionar
que su valor de membresa sea mayor
que cierto umbral establecido (0,1].
Esto define un conjunto difuso de nivel-
que se representa como:

A u u U , A u , u U
 Tambin se define el corte- estricto como:

A u u U , A u , u U

La funcin de membresa de un conjunto

difuso A, puede ser expresada en trminos
de las funciones caractersticas de sus
cortes- (teorema de la descomposicin),
de acuerdo a la frmula:

A u sup min , A u, u U
0 ,1
 Dado un conjunto difuso cualquiera, se
pueden discriminar algunos de sus
elementos menos significativos mediante
el uso de los cortes-. El nivel de
recorte o de inters queda determinado
segn el contexto donde se aplique.
 Elementos particulares dentro de los
conjuntos difusos
Soporte.- El soporte de un conjunto
difuso A, es el conjunto de los puntos
para los cuales:
Sop A u U , A u 0, u U
Segn la siguiente Tabla la expresin que
define al soporte finito del conjunto
joven es:
sop (joven) = {5, 10, 20, 30, 40}
 Conjuntos Difusos Como Elementos
Del Conjunto Potencial
Elementos Infante Adulto Joven Viejo
(edades)
5 0 0 1 0

10 0 0 1 0

20 0 .8 .8 .1

30 0 1 .5 .2

40 0 1 .2 .4
 Considerando que xi es un elemento
del soporte del conjunto difuso A y que
i es su grado de membresa en A.
A = 1 / x1 + 2 / x2 +....+ n / xn.
Donde.
/ Se emplea para unir los elementos del soporte con
sus grados de membresa en A, y.
+ Indica que los pares de elementos y grados de
membresa listados forman colectivamente la
definicin del conjunto A, en vez de cualquier tipo
de suma algebraica.
 Cardinalidad de conjuntos difusos
La cardinalidad de un conjunto es el nmero
total de elementos en el conjunto.
La cardinalidad de conjuntos difusos se utiliza
para responder preguntas como por ejemplo:
Cuntas personas son realmente viejas en un
universo Edad?.
Por lo tanto, la cardinalidad juega un papel
importante en los sistemas de informacin y en
las bases de datos difusas.
La cardinalidad escalar de un conjunto difuso
A definido sobre un conjunto universal
finito X, es la suma de los grados de
membresa de todos los elementos de X
en A.
A A x
xX
Por ejemplo.
Para el conjunto viejo se tiene:
viejo 0 0 .1 .2 .4 .6 .8 1 1 4.1
 Tambin, La cardinalidad de un conjunto difuso
es utilizada al definir otras propiedades, por lo
que sirve como un factor de normalizacin.

De hecho el denominador (factor de

normalizacin) de la ecuacin que define al
mtodo de defusificacin por centroide es la
cardinalidad del conjunto difuso al ser
defusificado.
Elementos particulares dentro de los
conjuntos difusos
Altura.- La altura de un conjunto difuso
es el grado de membresa ms alto
alcanzado por cualquier elemento en el
conjunto. Es decir, el elemento que
posee el mayor grado de pertenencia. Se
dice que A es normal si su altura es 1, de
otra forma es subnormal.
Alt A sup A u
uU
Elementos particulares dentro de los
conjuntos difusos
Punto de cruce.- Un punto de cruce
de A, es aquel punto u en U cuyo
grado de membresa en A vale A (u)
= 0.5 (idealmente).
Impulso difuso.- Un conjunto difuso
cuyo soporte est constituido por un
nico elemento uo, con A (uo) = 1;
es referido como un impulso difuso.
 Elementos particulares dentro de los
conjuntos difusos
Un corte - de un conjunto difuso es un
conjunto certero A , el cual contiene
todos los elementos del conjunto universal
X que tienen un grado de membresa en
A mayor que o igual al valor especificado
de :

A x X A x
 Por ejemplo, en el conjunto difuso
"joven" y tomando en cuenta que
=0.5, se tendr la expresin:
Joven0.5 5, 10, 20, 30
Al conjunto de todos los niveles
(0,1 que representan distintos cortes-
de un conjunto difuso dado A se le
denomina conjunto nivel de A.
A a x _ para _ a lg n _ x X
 En un conjunto difuso cualquiera, se
pueden discriminar algunos de sus
elementos menos significativos mediante
el uso de los cortes-. El nivel de
recorte o de inters queda determinado
segn el contexto donde se aplique.
Principio de Identidad Resolucin
Basado en la notacin de cortes , un conjunto
difuso puede ser descompuesto en mltiples
conjuntos crip (conjuntos nivel-) utilizando
diferentes valores . Intuitivamente, cada nivel-
especifica una rebanada de la funcin de
membresa.
Por lo tanto, se puede reconstruir una funcin
de membresa original al apilar dichas
rebanadas en orden.
 El fundamento para reconstruir una funcin de
membresa de sus cortes- es el principio de
identidad resolucin de la teora de conjuntos
difusos.
Si A es un conjunto difuso discreto. Se pueden
ordenar los valores de membresa no iguales a
cero de los elementos en el conjunto soporte en
una lista de orden ascendente (sin duplicar): (0,
1, , n).
 El principio de identidad resolucin en la teora de conjuntos
difusos establece que
A = 0 x A0 + 1 x A1 + + n x An

Donde + representa al operador de disyuncin difusa y,

i x Ai representa un conjunto difuso tal como el que se

muestra a continuacin:

i si A ( x) i
A
0 de otra manera
i i
 En otras palabras, el conjunto difuso original A
puede ser visto como la unin de todos esos
conjuntos difusos construidos de un i en la
lista (0 , 1 , , n ) tal que: (1) su soporte es el
corte nivel i de A, y (2) su funcin de
membresa es plana en el valor alfa i . La forma
de la funcin de membresa i x Ai por lo tanto
es rectangular con una altura de i como se
ilustra en la siguiente figura:
Identidad Resolucin de un
Conjunto Difuso
0.2 x A0.2 A

A0.2
A0.1
 Convexidad.- Una caracterstica muy
importante que deben de poseer los
conjuntos difusos en las aplicaciones de
la lgica difusa es la propiedad de
convexidad.
Un conjunto difuso es convexo si y slo
si cada uno de sus cortes- son
conjuntos convexos. Por lo anterior se
puede decir que un conjunto difuso A
es convexo s y slo s:
 A u1 1 u 2 min A u1 , A u 2 .

u1 U , u2 U , y con 0,1,
Esta condicin establece que el valor de
membresa de cualquier elemento dado en el
intervalo [u1, u2] no debera ser menor que el
valor de membresa de cualquiera de los puntos
entremos.

Intuitivamente, un conjunto difuso es convexo

si su funcin de membresa no tiene un valle.
 Ejemplo:
Si =0.3; u1=3; y u2=7 entonces:
A[5.8]min[A(3), A(7)]

A (u) A (u)

1 1

A[u1+(1-)u2]

A(u1)

A(u2)

u1=3 5.8 u2=7 u a u

 Se puede demostrar que si A y B son
conjuntos convexos tambin lo es AB.

Un conjunto difuso se puede llamar "nmero

difuso" si es convexo y si al menos uno de sus
elementos posee un grado de membresa total, es
decir, si es normal.
2.2.5 Interpretacin Geomtrica de
Conjuntos Difusos
Bart Kosko desarrollo una interpretacin geomtrica
completa de un conjunto difuso en la cual un conjunto
difuso es un punto en un espacio*. Por ejemplo: Si se
considera un universo de discurso U con dos elementos
u1 y u2 , U = {u1 , u2}, y si A es un conjunto difuso en
U con las siguientes funciones de membresa:
A (u1) = a
B (u2) = b
Donde a y b estn en [0, 1]. Como se muestra en la
siguiente figura:
*L. A. Zadeh fue el primero en introducir el concepto de que un conjunto fifuso puede ser
visto comom un punto en un hipercubo
 Dos vistas de un conjunto difuso (a) Vista normal de su
funcin de membresa, y (b) una forma alternativa basada en
una Interpretacin Geomtrica
del conjunto difuso.
(u2) (1, 1)
1 1
(a,b)
b b

0 u1 u2 0 a 1
(u1)

(a) (b)
Una forma alternativa de visualizacin de una funcin de
membresa es considerar un cuadrado unidad de dos
dimensiones, en el cual los ejes horizontal y vertical
correspondan a los valores de membresa posibles de u1 y u2 ,
respectivamente. Un sub-conjunto difuso de U corresponde a un
punto en el cuadrado. En la figura (b) anterior, el conjunto difuso
A esta representado por el punto (a,b).
 Observaciones de la interpretacin geomtrica
de un conjunto difuso:
A un conjunto clsico sera interpretado como un
vrtice en el cuadrado. Por ejemplo, los vrtices de la
figura (b) anterior; [(0,0), (0,1), (1,0), y (1,1)].
Un conjunto difuso normal corresponde a un punto
en la frontera del cuadrado.
Un conjunto difuso subnormal corresponde a un
punto al interior del cuadrado.
La cardinalidad de un conjunto difuso A es la
distancia de Hamming entre el punto A y el origen
del cubo. La distancia de Hamming entre dos
vectores x= (x1, , xn) y y= (y1, , yn) es:
 d H ( x, y ) xi yi
i

Se puede obtener
A d H ( A, )

Esta representacin geomtrica puede ser extendida a

cualquier universo de discurso finito U. Un conjunto
difuso en dicho universo corresponde a un punto en un
hipercubo N -dimensional, donde N es el nmero de
elementos en U.
 2.2.6 Teora de la posibilidad
Aun que la idea de distribucin de posibilidad es
paralela a la distribucin de probabilidad en
matemticas convencionales, realmente no existe
una diferencia significativa. En particular, la
distribucin de posibilidad no necesita satisfacer
la propiedad aditiva del axioma de probabilidad.
 Mientras una distribucin de probabilidad
establece la probabilidad de que una variable
dada tome un cierto valor, una distribucin de
posibilidad establece el valor posible de la variable
o la posibilidad de que la variable tome un cierto
valor.
Una distribucin de posibilidad, , relaciona el
soporte de un conjunto dado con el intervalo
[0, 1].
 Se puede ver a una distribucin de posibilidad
como un mecanismo para interpretar una
declaracin que involucra conjuntos difusos.

La declaracin, La Temperatura es Alta,

donde Alta se define como, Alta: T[0,1], se
ilustra como una distribucin de posibilidad, de
la siguiente forma: (T)=Alta(T).
 Declaraciones complejas involucran ms de un
conjunto difuso trasladado a una distribucin de
posibilidad, de hecho es precisamente como
interpretamos las declaraciones lingsticas, dando a
priori un proceso de inferencia.

Por ejemplo: La declaracin, La Temperatura es Alta

pero no demaciada Alta, interpretada como una
distribusin de posibilidad en termino de conjuncin de
los terminos Alta y NO MUY Alta, se expresa de la
siguiente forma:
(T) = min(Alta(T), NO MUY Alta(T)).
= min[Alta(T), 1-(Alta(T))2]
 Distribucin de posibilidad de Alta y NO
MUY Alta

NOT MUY Alta Alta

Muy Alta

T
 Medida de la Posibilidad y Medida
de la Necesidad
En general, el relacionar (matching) una
distribucin de posibilidad de una variable x
con una condicin x es A involucra hacer las
siguientes dos preguntas relacionadas:
(1) Dada la distribucin de posibilidad de x
(denotada por (x) ), es posible que x este en A?
(2) Dada la distribucin de posibilidad (x), es
necesaria para que x este en A?
 Suponiendo que se conoce lo siguiente:
La edad de Juan es entre 20 y 25 aos.
Y considerando la siguiente condicin:
Si la edad de una persona excede los 22 aos.
Cul es La distribucin de posibilidad de que la
edad de Juan cumpla con la condicin
planteada?.
En lgica clsica, la respuesta para las preguntas
(1) y (2) son o SI o NO ya que ni la edad
de Juan ni la condicin acerca de la edad de la
persona es difusa.
 Sin embargo, en general, la respuesta a cada
pregunta es una materia de grado.
La respuesta a la pregunta (1) es una
posibilidad, y la respuesta a la pregunta (2) es
una necesidad.
Se utilizar a Pos(A|X) para denotar la
posibilidad de la condicin X es A dada la
distribucin de posibilidad X.
 Y Nec(A|X) para denotar la necesidad de la
condicin X es A dada la distribucin de
posibilidad X.
Una ilustracin de la Relacin entre Necesidad y
Posibilidad es:
NOT A B2
A
B1
 La posibilidad y la necesidad son dos medidas
relacionadas.
Existen varias relaciones entre los valores
extremos (0 1) de stas dos medidas.
Primero, la total necesidad implica la total
posibilidad. Si una variable es necesariamente A,
entonces es posiblemente A. Segundo, Ninguna
posibilidad implica ninguna necesidad. Tercero,
una variable no es posible que sea NOT A si y
solo si es necesariamente A. Para ilustrar lo
anterior se puede observar el diagrama de Venn
de la figura anterior.
 Si una variable no tiene la posibilidad de ser
NOT A, su distribucin de posibilidad no
debe tener ninguna interseccin con NOT A.
Por lo tanto, debe estar enteramente contenida
en A. B1 es un ejemplo de esto, pero B2 no.

Es posible que una variable sea NOT A si y

solo si no es necesariamente A.
 Cuatro Relaciones
(1a) Nec(A|X) = 1 Pos(A|X) = 1
(1b) Pos(A|X) = 0 Nec(A|X) = 0
(2a) 1-Pos(A|X) = 1 Nec(A|X) = 1
(2b) Pos(A|X) = 1 1-Nec(A|X) = 1
Las expresiones 2a y 2b interpretan la NOT
mediante el operador de negacin difusa. Se
puede reescribir la expresin 2b como:
(2b) 1-Pos(A|X) = 0 Nec(A|X) = 0
 Si se generalizan las expresiones 1a y 1b se
tiene:
Nec(A|X) Pos(A|X)
La relacin 2a y 2b se pueden generalizar a:
1-Pos(A|X) = Nec(A|X)
La expresin anterior se puede utilizar para
definir una medida de necesidad mediante una
medida de posibilidad.
 Definicin de la medida de
posibilidad
La medida de posibilidad para una variable X satisface la
condicin X es A dada una distribucin de
posibilidad X se define mediante:
PosA X sup A X
X i U

Donde denota un operador de interseccin difusa,

y U denota el universo de discurso de la variable X.
Un operador de interseccin difusa utilizado
comnmente para calcular la medida de posibilidad es el
operador min:
PosA X sup min A ( xi ), X ( xi )
X i U
 La medida de posibilidad de A dado X se
define a ser la altura de su interseccin.
A X
1

0.5

0 2 4 6 8 10
 Resumen
Se definieron:
Varios tipos de funciones de membresa.
La ley de medio excluido y la ley de
contradiccin de la teora de conjuntos clsicos
no se cumplen en la teora de conjuntos difusos.
Hedges son modificadores de conjuntos difusos.
Se plantearon los axiomas que observan los
operadores de conjuncin difusa y los
operadores de disyuncin difusa.
 La Cardinalidad de conjuntos difusos.
La altura, corte alfa, principio de identidad
resolucin de conjuntos difusos.
Convexidad de conjuntos difusos y nmero
difuso.
Una interpretacin geomtrica de conjuntos
difusos.
Medida de posibilidad y medida de necesidad
para determinar que tan bien una distribucin de
posibilidad de una variable relaciona una
condicin difusa a una variable.
 2.3 Relaciones Difusas,
Graficas Difusas y
Aritmtica Difusa (principio
de extensin)
2.3.1 Relaciones Difusas.
2.3.2 Composicin de relaciones difusas.