TEORA DE

POSIBILIDAD
Lgica Difusa
Dra. Yesenia Eleonor Gonzlez
Navarro
UPIITA-IPN
Medidas difusas
Medida de difusividad.
Es una manera de representar la incertidumbre mediante conjuntos
difusos. La medida de difusividad difiere de asignar grados de
pertenencia en conjuntos difusos (fuzzyficar), ya que en ese proceso
se asigna un valor de membresa a cada elemento del universo dentro
de un conjunto difuso en particular, mientras que la medida de
difusividad asigna un valor a cada conjunto certero dentro del conjunto
universal, significando el grado de evidencia o confianza de que un
elemento en particular pertenezca al conjunto.
Medidas difusas de inters en el curso:
Teora de evidencia.
Teora de la posibilidad.
Teora de probabilidad.
2
Medida difusa
Dado un conjunto universal X y una familia no-vaca C de subconjuntos
de X, una medida difusa sobre X, C es una funcin:
g: C u,1 , (1)
que satisface los siguientes requerimientos:
1. g = u y g X = 1 (requerimientos de frontera).
2. Para todo A, B C, si A B, entonces g A g B (monotnico).
3. Para cualquier secuencia creciente A
1
A
2
en C, si
A

=1
, entonces lim

g A

= g A

=1
(continuidad desde
abajo).
4. Para cualquier secuencia descendente A
1
A
2
en C, si
A

=1
, entonces lim

g A

= g A

=1
(continuidad desde
arriba).
3
Teora de evidencia
Medida de credibilidad
Se basa en dos medidas no-aditivas: medida de credibilidad y medida
de plausibilidad (verosimilitud).
Dado un universo X finito, la medida de credibilidad se expresa como:
Bcl: P X u,1 , (2)
tal que Bcl = u, Bcl X = 1, y:
Bcl(A
1
A
2
A
n
) Bcl A
]

]
Bcl A
]
A
k ]<k
++ 1
n+1
Bcl(A
1
A
2
A
n
), (3)
para todas las familias posibles de subconjuntos de X. La medida de
credibilidad se le llama tambin super-aditiva. Cuando X es infinita, se
requiere que la funcin Bcl sea continua desde arriba.
4
Para cada A P(X), Bcl(A) se interpreta como el grado de credibilidad
(basado en la evidencia disponible) de que un elemento dado de X
pertenezca al conjunto A.
Pueden verse tambin a los subconjuntos de X como respuestas a una
preguntas en particular. Podr asumirse que algunas respuestas son
correctas, pero no se tiene total certeza cuales de ellas lo son.
5
Ejercicios
1. Para conjuntos certeros, considere que A B(A, B P X ) y sea
C = B A, obtener:
a) A C =.
b) A C =.
c) Aplicar los conjuntos A y C en (3), para n = 2.
2. Sea A
1
= A y A
2
= A

para n = 2, resuelva para (2).

6
Asociada con cada medida de confianza, est la medida de
plausibilidad Pl, definida como:
Pl A = 1 Bcl(A

), (4)
para toda A P X . De forma similar:
Bcl A = 1 Pl(A

). (5)
La medida de plausibilidad puede definirse de forma independiente a la
medida de confianza de la siguiente manera:
Pl: P X u,1 , (6)
tal que Pl = u, Pl X = 1, y:
Pl(A
1
A
2
A
n
) Pl A
]

]
Pl A
]
A
k ]<k
++ 1
n+1
Pl A
1
A
2
A
n
, (7)
para todas las familias posibles de subconjuntos de X. La medida de
plausibilidad se le llama tambin sub-aditiva. Cuando X es infinita, se
requiere que la funcin Pl sea continua desde abajo.
7
Teora de evidencia
Medida de plausibilidad
3. Sea A
1
= A y A
2
= A

para n = 2, resuelva para (7).

8
Ejercicio
Las medidas de confianza y plausibilidad pueden convenientemente
ser caracterizadas por la funcin:
m: P X u,1 , (8)
tal que m = u y
m A = 1
AcP(X)
. (9)
Esta funcin es llamada asignacin bsica de probabilidad (BPA, por
sus siglas en Ingls).
Para cada conjunto A P(X), el valor de m(A) expresa la proporcin
en la cual toda la evidencia disponible y relevante soporta la afirmacin
de que un elemento particular de X, que caracterizado en trminos de
atributos relevantes es deficiente, pertenece a un conjunto A.
Este valor m(A) pertenece solamente a un conjunto, al conjunto A.
9
Teora de evidencia
Asignacin bsica de probabilidad
Si existe alguna evidencia adicional como soporte de la afirmacin de
que el elemento pertenece a un subconjunto de A, por ejemplo B A,
deber expresarse como otro valor m(B).
Aunque la funcin (9) se parezca a una funcin de distribucin de
probabilidad, existe una diferencia fundamental:
La funcin de distribucin de probabilidad est definida en X mientras
que la asignacin bsica de probabilidad est definida en P(X).
Por lo tanto:
1. No se requiere que m X = 1.
2. No se requiere que m A m B cuando A B.
3. No se requiere de una relacin entre m A y m(A

).
Lo anterior establece que las asignaciones bsicas no son medidas
difusas, pero dado un valor de asignacin bsica m pueden obtenerse
las medidas de credibilidad y plausibilidad.
10
Para una asignacin bsica m:
Bcl A = m B ,
B|BA
(10)
Pl A = m B
B|AB=
. (11)
Tambin puede aplicarse el proceso inverso:
m A = A = (1)
A-B
Bcl B
B|BA
. (12)
En la ecuacin (10), mientras que m A caracteriza el grado de
evidencia o credibilidad de que un elemento en cuestin pertenezca
solamente al conjunto A, Bcl A representa la evidencia total o
credibilidad de que el elemento pertenezca a A tanto como a varios
subconjuntos de A.
La medida de plausibilidad en (11) representa no solamente la evidencia
total o credibilidad de que un elemento en cuestin pertenezca al
conjunto A o a alguno de sus subconjuntos, sino tambin a algunos de
los conjuntos que se traslapan con A.
Por lo que Pl A Bcl A , (13)
para toda A P X .
11
La evidencia obtenida en el mismo contexto por dos fuentes
independientes (por ejemplo por dos expertos en el campo de inters)
y expresada por dos asignaciones bsicas m
1
y m
2
en algn conjunto
potencia P(X), puede combinarse para obtener una asignacin bsica
conjunta m
1,2
:
m
1,2
(A) =
m
1
(B)m
2
(C)
BC=A
1-K
, (14)
Para toda A y m
1,2
= u, donde
K = m
1
(B) m
2
(
BC=
C). (15)
De acuerdo a esta regla, el grado de evidencia m
1
(B) de la primera
fuente que se enfoca en el conjunto B P(X) y el grado de evidencia
m
2
(C) de la segunda fuente que se enfoca en C P(X) se combinan a
travs del producto m
1
(B) m
2
(C) que se enfoca en B C.
12
Regla de combinacin de Dempster
Ejercicio
4. Asuma que se descubri una vieja pintura que se asemeja
fuertemente a las pinturas de Rafael. Este descubrimiento genera
varias preguntas referentes al estatus de la pintura:
a) La pintura encontrada es una pintura genuina de Rafael?
b) La pintura encontrada es producto de uno de los muchos
discpulos de Rafael?
c) La pintura encontrada es falsa?
Sean R, y C los subconjuntos del conjunto universo X, el conjunto de
todas las pinturas, que contiene al conjunto de todas las pinturas
hechas por Rafael, el conjunto de todas las pinturas hechas por los
discpulos de Rafael y el conjunto de todas las pinturas falsas de
Rafael, respectivamente.
13
Asuma ahora que 2 expertos llevan a cabo cuidadosos exmenes de la
pintura y subsecuentemente proveen las asignaciones bsicas m
1
y
m
2
de la Tabla 1. Estos son los grados de evidencia que cada experto
obtuvo y que da soporte a que si la pintura pertenece a cada una de
las declaraciones hechas. Obtenga Bcl
1
, Bcl
2
, Bcl
1,2
, m
1,2
.
Tabla 1. Grados de evidencia de 2 fuentes independientes.
14
Experto 1 Experto 2 Evidencia
combinada
Elementos focales m
1
Bcl
1
m
2
Bcl
2
m
1,2
Bcl
1,2
R 0.05 0.15
0 0
C 0.05 0.05
R 0.15 0.05
R C 0.1 0.2
C 0.05 0.05
R C 0.6 0.5