Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía...

36
Unidad de aprendizaje: Lógica Difusa Dra. Dora María Calderón Nepamuceno Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Relaciones Difusas Licenciatura en Ingeniería en Sistemas Inteligentes

Transcript of Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía...

Page 1: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Unidad de aprendizaje:

Lógica Difusa

Dra. Dora María Calderón Nepamuceno

Universidad Autónoma del Estado de México

Unidad Académica Profesional Nezahualcóyotl

Relaciones Difusas

Licenciatura en Ingeniería en Sistemas

Inteligentes

Page 2: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

La unidad de aprendizaje (UA) de Lógica Difusa tiene como área curricular Herramientas para los sistemas inteligentes y forma parte del núcleo integral esta UA es parte del cierre de los sistemas basados en conocimiento.

Page 3: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

El presente material tiene como

objetivo cubrir la segunda unidad

del programa por competencia.

El alumno será capaz de realizar

operaciones sobre relaciones difusas

Objetivo

Page 4: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Estructura de la Unidad de

Aprendizaje

• Sistemas Basados en Conocimiento

• Representación del Conocimiento Introducción

•Conjuntos Clásicos

•Conjuntos Difusos

•Propiedades de los Conjuntos Difusos

•Operaciones con conjuntos difusos

Conjuntos Difusos

• Relaciones Clásicas

• Relaciones Difusas

• Operaciones sobre relaciones difusas

Relaciones Difusas

•Variables Lingüística

•Proposiciones Difusas

•Reglas si-entonces

• Inferencia

Razonamiento Aproximado

Introducción

•Fuzzificación

•Base de conocimiento

•Inferencia

• Defuzzificación

Representación de Reglas

4

Page 5: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión
Page 6: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

•Relaciones Clásicas

• Relaciones Difusas

•Operaciones sobre relaciones difusas

Relaciones Difusas

Page 7: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

El concepto de relación difusa es similar

al de la matemática clásica. La

diferencia radica en el grado de

pertenencia

Relaciones difusas

Page 8: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

La relación difusa es una transformación que

mapea de un espacio de entrada no difuso

(llamado universo de discurso) a un espacio de

salida llamado conjunto difuso

Espacio

de salida

Lógica

Difusa

Espacio

de entrada

,,,, eexx ,, uy

F : In → F ( Ini )

Page 9: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Relación Clásica

A R B

a b c

1 2 3

𝑅 = (𝑎, 3), (𝑏, 2), (𝑐, 1)+

Asociado a cada elemento de la relación.

Page 10: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Relación Difusa

𝑅 = 0.9/(𝑎, 3), 1/(𝑏, 2), 0.8/(𝑐, 1)+

Asociado a cada elemento de la relación.

a b c

1 2 3

A R B

0.9

0.8

1

Page 11: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Sean dos conjuntos universales 𝑈 𝑦 𝑊. Una relación

𝑅(𝑈, 𝑊) es un conjunto difuso definido en el

producto cartesiano 𝑈𝑥𝑊.

Una relación R es caracterizada por su función de

pertenencia 𝜇𝑅 (𝑢, 𝑤) donde 𝑢 𝑈 𝑦 𝑤 𝑊

𝑅(𝑈, 𝑊) = * ((𝑢, 𝑤), 𝜇𝑅(𝑢, 𝑤)),/ 𝑢 𝑈 𝑦 𝑤 𝑊+

con 𝜇𝑅 (𝑢, 𝑤) ,0,1-

Page 12: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejemplo

La relación difusa sobre dos conjuntos, A y B, es un subconjunto

difuso sobre su producto cartesiano – a cada miembro del conjunto

producto se le asigna un grado de membresía

B \ A 0 1 2

0 0.1 0.7 0.9

1 0 0.6 0.5

Page 13: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Transformación difusa

Considere una transformación en un universo 𝑋 a un

universo 𝑌. El universo 𝑋es el dominio y el universo Y es

el rango de 𝒇, donde 𝒇 puede considerarse una regla que asignan algún elemento y en Y para cada

elemento 𝑥

en 𝑋 . Si 𝑋 y 𝑌 son reales, la transformación 𝒇

es una función.

Si 𝐴 es un subconjunto de 𝑋, la imagen de 𝐴 a través de 𝑓, denotada por

𝑓(𝐴) = 𝑦|𝑦 = 𝑓 𝑥 , 𝑥 ∈ 𝐴 es un subconjunto de

𝑌.

Donde 𝑓(𝐴) = 𝐵

Page 14: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Transformación difusa

La función de membresía para el conjunto difuso 𝐵 en 𝑌, el

cual se induce a través de la transformación 𝑓: 𝑋 → 𝑌, está dada

por: 𝜇𝑓( 𝐴) ( 𝑦) = 𝜇𝐴 ( 𝑥)

Si 𝐵 ⊂ 𝑌, la imagen inversa de 𝐵 para *𝑥 |𝑓 ( 𝑥) = 𝑦, 𝑦 ⊂ 𝐵+ es un

subconjunto de X. Por lo tanto, la transformación inversa 𝒇‐𝟏

induce un conjunto difuso 𝐴 en 𝑋 con su función de

membresía definida como

𝜇𝐴 ( 𝑥) = 𝜇𝐵( 𝑓 ( 𝑥))

Para toda 𝑦 ⊂ 𝑌.

Page 15: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Supremum

Cuando dos elementos o más del universo X apuntan a un

mismo elemento en el universo Y, Zadeh propuso:

𝜇𝐵 y = supremum𝜇𝐴(x) para toda 𝑥 ∈ 𝑓−1(𝑦)

Page 16: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Principio de extensión de una

transformación difusa

Dada una función fue transforme puntos del universo 𝑋 a

puntos en el universo 𝑌, y cualquier conjunto difuso 𝐴 en 𝑋,

donde

El principio de extensión establece que: 𝒇 𝑨 =

Page 17: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejercicio

Se tiene un conjunto difuso A en el universo X, realice una

transformación difusa utilizando el principio de extensión.

A = Alrededor de 4

Aplicando el principio de extensión:

Page 18: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejercicio

Realice una transformación difusa del conjunto difuso A definido

en el universo X aplicando el principio de extensión.

Aplicando el principio de extensión

Page 19: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Producto cartesiano difuso

Es una relación entre dos o más conjuntos difusos.

Sea A un conjunto difuso en el universo X y B un conjunto

difuso en el universo Y, entonces, el

producto cartesiano entre los conjuntos difusos A y B resulta

en una relación difusa

R, contenida dentro del espacio de producto cartesiano:

Page 20: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejercicio

Realizar el producto cartesiano de los siguientes conjuntos difusos:

Page 21: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Proyección difusa Suponiendo dos universos de discurso (𝑋 𝑦 𝑌), donde 𝑦 .

Sea R una relación difusa:

sobre el producto cartesiano 𝑋 × 𝑌.

La proyección de R sobre X es un conjunto definido por:

La proyección de R sobre Y es un conjunto definido por:

Page 22: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejercicio

Sea

Obtener la proyección de R en X y de R en Y

Page 23: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Extensión cilíndrica

Sea A un conjunto difuso sobre el universo X. La extensión

cilíndrica C(A) de A sobre 𝑋 × 𝑌 puede definirse por la

siguiente matriz difusa:

Page 24: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Extensión cilíndrica

Sea B un conjunto difuso definido en el universo Y. La extensión

cilíndrica C(B) de B sobre 𝑋 × 𝑌 puede definirse por la siguiente

matriz difusa:

Page 25: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejercicio

Realice la extensión cilíndrica 𝐶(𝐴) del conjunto difuso A definido

en el universo 𝑋 y la extensión cilíndrica 𝐶(𝐵) del conjunto difuso B

definido en el universo Y al espacio de producto cartesiano 𝑋 × 𝑌.

Page 26: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Composición difusa

Sea A un conjunto difuso definido sobre el universo 𝑋 y 𝑅 u

na relación difusa definida sobre 𝑋 × 𝑌. La composición de

𝐴 y 𝑅 resulta en un conjunto difuso B definido sobre 𝑌 y est

á dado por:

sobre

También pueden existir composiciones difusas de relaciones

difusas existentes en espacios de producto cartesiano, siempr

e y cuando exista al menos una variable compartida.

Page 27: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

𝜇𝑃(𝑢, 𝑣) 𝜇𝑄(𝑣, 𝑤) 𝑢 𝑈 𝑣 𝑉 𝑤 𝑊

𝜇𝑃 𝑜 𝑄(𝑢, 𝑤)

𝑃 𝑄

Operación de composición de

forma gráfica

𝜇𝑃(𝑢, 𝑣) 𝜇𝑄(𝑣, 𝑤) 𝑢 𝑈 𝑣 𝑉 𝑤 𝑊 𝜇𝑃 𝑜 𝑄 𝑜 𝑀

(𝑢, 𝑚)

𝑃 𝑄

𝜇𝑀(𝑤, 𝑚)

𝑀 𝑚 𝑀

Cuando son tres relaciones:

Page 28: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Tipos de composición

Composición max-min.

Si la intersección se realiza con la operación min y la

proyección con la operación max, se tiene:

Composición max-producto.

Si la intersección se realiza con el producto punto y la proyección

con la operación max, se tiene:

También se conoce como composición max-punto.

Page 29: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejemplo de Composición

Relación a-b:

b1 b2 b3 b4 b5

a1 0.1 0.2 0 1 0.7

a2 0.3 0.5 0 0.2 1

a3 0.8 0 1 0.4 0.3

Relación b-c:

c1 c2 c3 c4

b1 0.9 0 0.3 0.4

b2 0.2 1 0.8 0

b3 0.8 0 0.7 1

b4 0.4 0.2 0.3 0

b5 0 1 0 0.8

Page 30: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejercicio

Para cada término – se toma el mínimo de cada valor del

renglón de la primera matriz con la columna de la segunda, y el

máximo de éstos. Por ejemplo:

R(1,1) = MAX [min(0.1,0.9), min(0.2,0.2), min(0,0.8), min(1,0.4),

min(0.7,0) ] = 0.4

Resultado - relación a-c:

c1 c2 c3 c4

a1 0.4 0.7 0.3 0.7

a2 0.3 1 0.5 0.8

a3 0.8 0.3 0.7 1

Page 31: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Ejercicio

Realice la composición max-min y max producto del conjunto

difuso A y la relación R:

Realice la composición max-min y max-producto

de las siguientes relaciones:

Page 32: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Composición sup-star de dos relaciones difusas 𝑃(𝑈, 𝑉) y 𝑄(𝑉, 𝑊) es

definida por la función de pertenencia 𝜇𝑃 𝑜 𝑄(𝑢, 𝑤) ,0,1- dada por:

𝜇𝑃𝑜 𝑄(𝑢, 𝑤) = * (𝑢, 𝑤), 𝑆𝑈𝑃𝑣 ,𝜇𝑃(𝑢, 𝑣) ∗ 𝜇𝑄(𝑣, 𝑤) -

donde 𝑢 𝑈, 𝑣 𝑉 , 𝑤 𝑊 , 𝜇𝑃 𝑢, 𝑣 0,1 𝑦 𝜇𝑄(𝑣, 𝑤) ,0,1-

Donde SUP es el operador “max” y “*” es una T-norm, generalmente se

usa el “min” o el “producto”.

Composición sup-star

Page 33: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Cuando la relación de partida es un conjunto difuso o sea que

𝜇𝑃(𝑢, 𝑣) tiene la forma 𝜇𝑃(𝑢), el resultado de la composición con

una relación 𝜇𝑄(𝑢, 𝑤) será:

𝑆𝑈𝑃𝑢

,𝜇𝑃(𝑢) ∗ 𝜇𝑄(𝑢, 𝑤)- = 𝜇𝑃𝑜𝑄(𝑤) Observe en este caso que 𝑈 = 𝑉. El resultado es un conjunto

definido en 𝑊

Caso especial

Page 34: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Conclusión

En el presente material el alumno tendrá la

información necesaria para establecer y determinar

que relación difusa es la más conveniente para

relacionar conjuntos difusos.

Page 35: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

Bibliografía

J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales:

Extensión del Modelo y Adaptación de los SGBD Actuales”. Ph. Doctoral

Thesis, University of Granada (Spain), March 1999 (www.lcc.uma.es).

J.M. Medina, “Bases de Datos Relacionales Difusas. Modelo Teórico y

Aspectos de su Implementación”. PhD. Thesis, Univ. of Granada (Spain),

1994 (www.decsai.ugr.es).

J.M. Medina, O. Pons, M.A. Vila, “FIRST. A Fuzzy Interface for Relational

SysTems”. VI International Fuzzy Systems Association World Congress

(IFSA’1995). Sao Paulo (Brasil), 1995.

A. Urruita, “Modelo Conceptual para una Base de Datos Difusa”, Ph. Doctoral

Thesis, University of Castilla-La Mancha (Spain), July 2003

(www.ganimides.ucm.cl).

L.A. Zadeh, “A Computational Approach to Fuzzy Quantifiers in Natural

Languages”. Computer Mathematics with Applications, 9, pp. 149-183, 1983.

Page 36: Universidad Autónoma del Estado de México Unidad Académica … · 2017. 4. 23. · Bibliografía J. Galindo, “Tratamiento de la Imprecisión en Bases de Datos Relacionales: Extensión

“La razón por la cual el lenguaje

natural se expresa en términos

difusos

no es porque el pensamiento

humano sea difuso,

sino por que el mundo es difuso”.

John F. Sowa, matemático norteamericano (1940-).