Sesión 14: Técnicas Alternativas A B C F DH. Incertidumbre - T.A., L.E. Sucar2 Técnicas Alternativas Se han desarrollado algunas técnicas numéricas para.

Slides:



Advertisements
Presentaciones similares
Serie de Taylor y Maclaurin
Advertisements

Diseño y análisis de algoritmos
Ejemplo La empresa Producciones Valencianas, en el análisis de sus operaciones del último trimestre, muestra una disminución de la producción en comparación.
LOGICA DIFUSA Lógica bivaluada: cada proposición debe ser verdadera o falsa. Lógica multivaluada: infinitos valores. En 1965 Lotfi A. Zadeh publicó su.
Bioestadística,2006.
Convertidores A/D y D/A
PROYECTO DE GRADO CARLOS STALIN ALVARADO SANCHEZ
La prueba U DE MANN-WHITNEY
KRIGING.
ESPACIOS VECTORIALES.
Algebra Booleana y Compuertas Lógicas
Sesión 13: Lógica Difusa “Esto es lo vago e incierto
FUNDAMENTOS DE LA TEORÍA DE CONJUNTOS
Sesión 13: Técnicas Alternativas A B C F DH. Incertidumbre - T.A., L.E. Sucar2 Técnicas Alternativas Se han desarrollado algunas técnicas numéricas para.
Álgebra elemental.
ANOVA Modelo I: Comparación entre medias
Sesión 2: Métodos Probabilísticos Básicos
La Derivada. Ya vimos: los conceptos, métodos ó instrumentos necesarios para establecer el “comportamiento” de una función.  en un entorno de x o [ 
Sesión 2: Teoría de Probabilidad “Considero que la probabilidad representa el estado de la mente con respecto a una afirmación, evento u otra cosa para.
Tema 6 Razonamiento aproximado
ANALISIS DE DATOS CATEGORICOS
Marco teórico Compendio de elementos conceptuales que sirven de base a la investigación Las funciones del marco teórico son: • Delimitar el área de la.
Eduardo Morales / L. Enrique Sucar
Sesión 6: Campos de Markov
Tema 17: Contraste paramétrico de hipótesis I: Pruebas de contraste para un grupo. Pruebas de contraste para dos grupos: independientes o relacionados.
(Organización y Manejo de Archivos)
Descomposición Factorial Unidad 5
Manejo de Incertidumbre Sesión 13 Eduardo Morales / L. Enrique Sucar Sesión 13 Eduardo Morales / L. Enrique Sucar.
Conceptos Básicos de Probabilidad
DISTRIBUCIONES DE MUESTREO
ESTIMACION En varios pasajes de este libro hemos planteado la dificultad que se confronta en las investigaciones, de llegar a conclusiones sobre una población.
Gerenciamiento Técnico de Proyectos
Razonamiento con Incertidumbre
Capítulo 7 Estimación de Parámetros Estadística Computacional
Toma de Decisiones Toda toma de decisión empieza con la detección de un problema. Para tomar la decisión correcta, se debe: Definir el problema en forma.
Inferencia Estadística: 5. Probabilidad: Axiomas y Modelos
A L A1 L1 ESCALAMIENTO GEOMÉTRICO 1 Empecemos con un cubo:
La Investigación Científica
Sesión 13: Alternativas y Extensiones Modelos Gráficos Probabilistas L. Enrique Sucar INAOE.
Curso de Teoría del Autómata
Sesión 2: Teoría de Probabilidad
Sesión 7: Redes Bayesianas – Inferencia
Unidad II: Variables Aleatorias Concepto Discreta y Continua Fun. de densidad Fun. de probabilidad F. de distribución Esperanza y Varianza Propiedades.
Modelos Gráficos Probabilistas: Principios y Aplicaciones L. Enrique Sucar INAOE.
Ecuaciones Algebraicas
Pruebas de hipótesis.
PRUEBAS ESTADISTICAS NO PARAMETRICAS
Sesión 2: Teoría de Probabilidad “Considero que la probabilidad representa el estado de la mente con respecto a una afirmación, evento u otra cosa para.
Estimación y contraste de hipótesis
Sesión 6: Redes Bayesianas - Inferencia
Capítulo 3: Conjuntos Autor: José Alfredo Jiménez Murillo.
2.1 DEFINICIONES CARACTERÍSTICAS Y SUPOSICIONES.
Aplicaciones Estadísticas a las Finanzas Clase 1
Análisis de Fourier.
Conocimiento incierto y razonamiento
RIESGO, RENDIMIENTO Y VALOR
* Cuando nos permite desarrollar un programa que necesitamos para tomar un conjunto de buenas prácticas para hacer eso. Esto se debe a que podemos ahorrar.
1 2  La Teoría de la Probabilidad constituye la base o fundamento de la Estadística, ya que las ingerencias que hagamos sobre la población o poblaciones.
ECUACIONES DE PRIMER GRADO INSTITUTO TECNICO AGROPECUARIO
Concepto de Probabilidad
UNSa Sede Regional Oran TEU - TUP. Un espacio vectorial (o espacio lineal) es el objeto básico de estudio del álgebra lineal.álgebra lineal A los elementos.
Razonamiento con Incertidumbre
INFERENCIA ESTADÍSTICA
Mini-video 2 de 5 Materia: Límites de funciones Continuidad de funciones Prácticas con Introducción a Funciones de una variable.
La Investigación Científica
UNIVERSIDAD NACIONAL EXPERIMENTAL DEL TACHIRA UNIDAD DE ADMISION CURSO PROPEDEUTICO ASIGNATURA FISICA Prof. Juan Retamal G.
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.
Principios logicos.
Cálculo de área por medio de la sumas de Riemann Alumnas: Maciel Gisella, Uliambre Sabrina Profesora: Nancy Debárbora Curso: 3er año del prof. En matemáticas.
Principios lógicos Los “principios lógicos” constituyen las verdades primeras, “evidentes” por sí mismas, a partir de las cuales se construye todo el edificio.
Transcripción de la presentación:

Sesión 14: Técnicas Alternativas A B C F DH

Incertidumbre - T.A., L.E. Sucar2 Técnicas Alternativas Se han desarrollado algunas técnicas numéricas para manejo de incertidumbre que no siguen los axiomas de probabilidad. Entre éstas se encuentran: Métodos empíricos o ad-hoc Teoría de Dempster-Shafer Lógica difusa Métodos aproximados

Incertidumbre - T.A., L.E. Sucar3 Técnicas Alternativas Algunas técnicas se pueden ver como casos especiales o extensiones de probabilidad Técnicas que se reducen a casos especiales de probabilidad –Método de factores de certeza (MYCIN) –Método de pseudo-probabilidades subjetivas (Prospector) Técnicas que extienden a probabilidad: –Teoría de Dempster-Shafer Técnicas basada en diferentes fundamentos: –Lógica Difusa

Incertidumbre - T.A., L.E. Sucar4 Las primeras técnicas que surgen, cuando menos dentro del área de sistemas expertos, son técnicas empíricas o ad-hoc orientadas a resolver aplicaciones específicas y sin un fuerte fundamento teórico. Las más conocidas son las que corresponden a dos de los primeros sistemas expertos: Las primeras técnicas que surgen, cuando menos dentro del área de sistemas expertos, son técnicas empíricas o ad-hoc orientadas a resolver aplicaciones específicas y sin un fuerte fundamento teórico. Las más conocidas son las que corresponden a dos de los primeros sistemas expertos: Técnicas empíricas

Incertidumbre - T.A., L.E. Sucar5 PROSPECTOR (exploración minera) PROSPECTOR (exploración minera) MYCIN (diagnóstico de enfermedades infecciosas en la sangre) MYCIN (diagnóstico de enfermedades infecciosas en la sangre)

Incertidumbre - T.A., L.E. Sucar6 Sistemas basados en reglas En sistemas basados en reglas se tiene en general una estructura similar a la siguiente:

Incertidumbre - T.A., L.E. Sucar7 Si: se observa cierta evidencia E Entonces: se concluye cierta hipótesis H con probabilidad (certeza,...) P Si: se observa cierta evidencia E Entonces: se concluye cierta hipótesis H con probabilidad (certeza,...) P ¿Cómo obtener estas medidas? ¿Cómo combinar estas medidas? ¿Cómo interpretar estas medias? ¿Cómo obtener estas medidas? ¿Cómo combinar estas medidas? ¿Cómo interpretar estas medias? De aquí surgen varias interrogantes:

Incertidumbre - T.A., L.E. Sucar8 Las técnicas desarrolladas en MYCIN y Prospector son similares, ambas consideran sistemas basados en reglas a los que se les adicionan Factores de Certeza o Probabilidades Subjetivas, respectivamente. Veremos brevemente el método de MYCIN. Las técnicas desarrolladas en MYCIN y Prospector son similares, ambas consideran sistemas basados en reglas a los que se les adicionan Factores de Certeza o Probabilidades Subjetivas, respectivamente. Veremos brevemente el método de MYCIN. MYCIN

Incertidumbre - T.A., L.E. Sucar9 Técnica de Factores de Certeza Los autores de MYCIN dicidieron no aplicar probabilidad porque: –“... requiere de grandes cantidades de datos o numerosas aproximaciones y suposiciones” Desarrollaron una técnica alternativa basada en factores de certeza (medidas no probabilistas) y técnicas para combinarlas

Incertidumbre - T.A., L.E. Sucar10 Medidas básicas MB[h,e] – incremento de la creencia en la hipótesis h dada la evidencia e MD[h,e] – incremento en la no-creencia en la hipótesis h dada la evidencia e Se pueden combinar en una sola medida, el factor de certeza: CF = MB – MD 0  MB, MD  1  CF : [-1, +1]

Incertidumbre - T.A., L.E. Sucar11 MYCIN define un Factor de Certeza que se asocia a cada regla y cada evidencia, y se definen un conjunto de reglas para combinar estos factores.

Incertidumbre - T.A., L.E. Sucar12 Redes de Inferencia Un conjunto de reglas se pueden ver como una “red de inferencia” Por ejemplo: –R1: si A y B entonces C –R2: si C entonces D –R3: si F entonces D –R4: si D entonces H A B C F DH

Incertidumbre - T.A., L.E. Sucar13 Redes de Inferencia Tipos de combinaciones: –Conjunción/disjunción –Serie –Paralelo F DH A B C C C

Incertidumbre - T.A., L.E. Sucar14 Reglas de combinación 1. Propagación (f prop ) o reglas en serie: 2. AND (conjunción), OR (disjunción) de evidencias ( f and, f or ): 2. AND (conjunción), OR (disjunción) de evidencias ( f and, f or ):

Incertidumbre - T.A., L.E. Sucar15 3. Co-Conclusión (f co ) o reglas en paralelo:

Incertidumbre - T.A., L.E. Sucar16 R1: IF A and (B or C) Then H cf 0.8 R2: If D and F Then B cf 0.6 R3: If F or G Then H cf 0.4 R4: If A Then D cf 0.75 R5: If I Then G cf 0.3 R1: IF A and (B or C) Then H cf 0.8 R2: If D and F Then B cf 0.6 R3: If F or G Then H cf 0.4 R4: If A Then D cf 0.75 R5: If I Then G cf 0.3 Ejemplo Se conoce: CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = -0.4 Se conoce: CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = -0.4

Incertidumbre - T.A., L.E. Sucar17 Ejemplo CF B C F D H-1 A G H-2 I H CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = -0.4

Incertidumbre - T.A., L.E. Sucar18 Ejemplo CF B C F D H-1 A G H-2 I H x0=0 CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = -0.4

Incertidumbre - T.A., L.E. Sucar19 Ejemplo CF B C F D H-1 A G H H CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = Max[0.7,0]x0.4=0.28

Incertidumbre - T.A., L.E. Sucar20 Ejemplo CF B C F D H-1 A H H 0.75 CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = x1=0.75

Incertidumbre - T.A., L.E. Sucar21 Ejemplo CF B C F D H-1 A H H 0.75 CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = Min[0.75,0.7]x0.6=0.42

Incertidumbre - T.A., L.E. Sucar22 Ejemplo CF B C H-1 A H H CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = min[1,max[0.5,0.42]]x0.8=0.4

Incertidumbre - T.A., L.E. Sucar23 Ejemplo CF H-1 H-2 H CF(A,Ev) = 1, CF(C,Ev) = 0.5, CF(F,Ev) = 0.7, CF(I,Ev) = (0.4)(0.28)=0.568

Incertidumbre - T.A., L.E. Sucar24 Aplicación - MYCIN Ejemplo de regla de MYCIN: SIla clase de organismo es gram positivo &la morfología del organismo es coco &la forma de crecimiento es cadenas ENTONCESla identidad del organismo es estreptococo (CF=0.7)

Incertidumbre - T.A., L.E. Sucar25 Ventajas Modularidad Simplicidad computacional Resultados comparables con expertos en aplicación médica (MYCIN) Poco sensitivo a los valores de los CF´s (variación de +/- 0.2)

Incertidumbre - T.A., L.E. Sucar26 Aunque pretendía apartarse de probabilidad, se ha demostrado [Heckerman 86] que la técnica de MYCIN corresponde a un subconjunto de probabilidad con una serie de suposiciones implícitas: Desventajas:

Incertidumbre - T.A., L.E. Sucar27 La evidencia es condicionalmente independiente de la hipótesis y su negación. La red de inferencia debe corresponder a un árbol para que los resultados sean coherentes. Las fórmulas para conjunción y disjunción (min y max ) sólo son válidas si uno de los términos es subconjunto del otro. La evidencia es condicionalmente independiente de la hipótesis y su negación. La red de inferencia debe corresponder a un árbol para que los resultados sean coherentes. Las fórmulas para conjunción y disjunción (min y max ) sólo son válidas si uno de los términos es subconjunto del otro.

Incertidumbre - T.A., L.E. Sucar28 Estas suposiciones no son válidas en muchas aplicaciones por lo que el método de MYCIN no se puede generalizar.

Teoría de Dempster-Shafer

Incertidumbre - T.A., L.E. Sucar30 Antecedentes Teoría para representar y combinar “grados de creencia”. Esta teoría se desarrollo básicamente como una alternativa (extensión) a teoría de probabilidad ya que los autores consideraban que ciertas situaciones no eran representadas adecuadamente con dicha teoría. En especial dos aspectos: Representación de ''ignorancia" Representación de creencia NO asignada

Incertidumbre - T.A., L.E. Sucar31 Ejemplo Se tiene una moneda y dos situaciones distintas: 1.La moneda es “normal” por lo que tiene la misma probabilidad de cada lado 2.Se sabe que la moneda esta cargada con una mayor probabilidad de uno de los lados, pero no se sabe cual ni cuanto Con probabilidades ambas situaciones se representan igual – P=0.5, no hay forma de distinguir ignorancia de igual probabilidad

Incertidumbre - T.A., L.E. Sucar32 La teoría de DS difiere en dos aspectos básicos de la teoría clásica de probabilidad: Los grados de creencia se asignan a subconjuntos en lugar de a elementos individuales del dominio de referencia. El axioma de aditividad no se forza, sino se substituye por una desigualdad. Diferencias con Probabilidad

Incertidumbre - T.A., L.E. Sucar33 Diferencias con Probabilidad Estas diferencias tiene dos importantes implicaciones: 1.- La creencia en una proposición y su complemento NO necesariamente suman “1”. 2.- Se diferencia ignorancia de probabilidades iguales, dando la creencia no asignada al conjunto de todas las hipótesis.

Incertidumbre - T.A., L.E. Sucar34 Fundamentos Teóricos La teoría de DS requiere de un conjunto de hipótesis exclusivas y exhaustivas: Θ - marco de dicernimiento 2 Θ - conjunto de todos los subconjuntos de Θ En base a esto se definen dos medidas: – asignación básica de probabilidad (bpa) –función de creencia (Bel)

Incertidumbre - T.A., L.E. Sucar35 Asignación básica de probabilidad (bpa) Representa la porción de creencia asignada exactamente a un elemento A (subconjunto de Θ), sin incluir la creencia asignada sus subconjuntos. bpa=m(A): 2 Θ ->[0,1] Debe satisfacer las siguientes propiedades: 1 >= m(A) >= 0 (1) m(ø) = 0(2) Σ m(A)=1(3)

Incertidumbre - T.A., L.E. Sucar36 Ejemplo Para el ejemplo de la moneda Θ = {águila, sol} 2 Θ = [ {águila, sol}, {águila}, {sol},  ] Caso 1: igual probabilidad m({águila}) = 0.5, m({sol}) = 0.5 Caso 2: completa ignoranica m({águila, sol}) = 1

Incertidumbre - T.A., L.E. Sucar37 Función de creencia (Bel) Es la creencia total en el conjunto A, incluyendo la creencia asignada propiamente a A, así como la de todos sus subconjuntos: Bel(A)= Σ m(B), B  A Se puede demostrar que Bel satisface las siguientes propiedades: Bel(ø) = 0 Bel(Θ) = 1 Bel(A1  A2) >= Bel(A1) + Bel(A2) - Bel(A1  A2)

Incertidumbre - T.A., L.E. Sucar38 Función de creencia (Bel) Para una hipótesis sencilla (un solo elemento) se tiene que: Bel(A)=m(A) Para el ejemplo de la moneda: –Caso 1: Bel({águila, sol}) = = 1 Bel({águila}) = m({águila}) = 0.5

Incertidumbre - T.A., L.E. Sucar39 Regla de Dempster Para combinar distintas evidencias se calcula su suma ortogonal, aplicando lo que se conoce como la regla de Dempster, y obteniendo un nuevo grado de creencia (m) basado en la evidencia combinada: Esta formula la podemos interpretar de la siguiente forma: –La evidencia E1 asigna la creencia ml al subconjunto Al –La evidencia E2 asigna la creencia m2 al subconjunto B1 –Entonces el producto de ambas (ml * m2) nos da la creencia en su intersección - A

Incertidumbre - T.A., L.E. Sucar40 Regla de Dempster La creencia total en A es simplemente la suma de las creencia asignadas de esta forma, es decir, la suma de la creencia de todas la intersecciones entre los conjunto A i y B j que den como resultado A. Surge un problema si alguna de las intersecciones de el conjunto vacío, ya que no se puede asignar creencia a dicho conjunto (implicaría que la suma de bpa no sea l). Para resolver este caso hay que normalizar los bpa, es decir, inflar las creencias de los demás subconjuntos en forma proporcional a la creencia asignada al conjunto vacío.

Incertidumbre - T.A., L.E. Sucar41 Regla de Dempster Entonces la regla de Dempster en su forma general es: Los nuevos valores de Bel para cada hipótesis son calculados de la misma forma, sumando los bpa's.

Incertidumbre - T.A., L.E. Sucar42 Ejemplo Si hubiera dos evidencias (expertos lanza monedas) respecto a la moneda cargada: –m1(A) = 0.7, m1( Θ ) = 0.3 –m2(S) = 0.6, m2 ( Θ ) = 04 Entonces: m2 \ m1{A} 0.7{ Θ } 0.3 {S} 0.6{  } 0.42{S} 0.18 { Θ } 0.4{A} 0.28{ Θ } 0.12

Incertidumbre - T.A., L.E. Sucar43 Ejemplo Normalizando: –k = 0.42  1-k = 0.58 Entonces: –m1  m2({S}) = 0.18 / 0.58 = 0.31 –m1  m2({A}) 0.28 / 0.58 = –m1  m2({ Θ }) 0.12 / 0.58 = 0.207

Incertidumbre - T.A., L.E. Sucar44 Posibilidad Mientras que Bel nos da la cantidad de creencia en cierta hipótesis, otra medida denominada la posibilidad (plausibility – Pl) indica la máxima creencia que pudiera asignarse a la hipótesis. La posibilidad se define como: P1(A) = 1-Bel(~A) Bel da la creencia mínima y P1 la creencia máxima. Ambas definen un intervalo de creencia: [Bel(A), P1(A)] El rango dentro del cual estaría la creencia en A de acuerdo a la evidencia conocida. La diferencia entre Bel y Pl nos indica la ignorancia, es decir, la creencia que NO ha sido asignada ni a la hipótesis ni a su complemento (o demás hipótesis).

Incertidumbre - T.A., L.E. Sucar45 Ejemplo Para el caso anterior: –Pl({A}) = 1 – = –Pl({S}) = 1 – = Entonces: –A: [ ] –S: [ ]

Incertidumbre - T.A., L.E. Sucar46 Otro Ejemplo Consideremos una aplicación médica en la que hay cuatro posibles enfermedades (hipótesis): –Hepatitis (h/hep) –Cirrosis (c/cirr) –Cálculos en la vesícula (v/gall) –Pancreatitis (p/pan)

Incertidumbre - T.A., L.E. Sucar47 Ejemplo Médico Marco de dicernimiento (hipótesis) - jerarquía:

Incertidumbre - T.A., L.E. Sucar48 Ejemplo Médico - subconjuntos

Incertidumbre - T.A., L.E. Sucar49 Ejemplo Médico Evidencia 1: intrahepática – 0.6 Evidencia 2: no hepatitis – 0.7

Incertidumbre - T.A., L.E. Sucar50 Ejemplo Médico A partir de las bpa se puede calcular el grado de creencia – Bel, por ejemplo: Bel(intrahepática) = Bel({hep,cerr}) = m(hep,cerr) + m(hep) + m(cerr) = = 0.60

Incertidumbre - T.A., L.E. Sucar51 Ejemplo Médico Evidencia 3: hepatitis – 0.8

Incertidumbre - T.A., L.E. Sucar52 Ejemplo Médico Cálculo de Bel: k = = 0.56, 1-k = 0.44 Bel(hep) = ( )/0.44 = Bel(cerr) = 0.084/0.44 = Bel(hep,cerr) = 0.036/0.44 = Bel(cirr,gall,pan) = 0.056/0.44 = Bel( Θ ) = 0.024/0.44 = 0.055

Incertidumbre - T.A., L.E. Sucar53 Aplicaciones En sistemas basado en reglas, cada una se considera como una fuente de evidencia, y asigna un bpa a una o un conjunto de hipótesis. Los grados de creencia (m) de cada regla son asignados por el experto. Los grados de creencia de cada regla son combinados aplicando la regla de Dempster. Luego se calcula Bel y Pl para cada hipótesis, obteniendo así su intervalo de creencia.

Incertidumbre - T.A., L.E. Sucar54 Ventajas Intervalo de creencia Representación de ignorancia Representa “la forma en que los expertos usan la evidencia” Modular

Incertidumbre - T.A., L.E. Sucar55 Desventajas Asume fuentes de evidencia independientes Interpretación de los valores finales (Bel) Bel no se puede interpretar como frecuencias Complejidad computacional (hipótesis sencillas, redes)

Incertidumbre - T.A., L.E. Sucar56 Referencias Lucas & Van Der Gaag, Principles of Expert Systems, Addison-Wesley, 1991 – Cap. 5 Buchanan & Shortliffe, Ruled-Based Expert Systems, Addison-Weslev, Cap D. Heckerman, Probabilistic interpretations for MYCIN´s certainty factors, UAI, 1986 Shafer, A Mathematical Theory of Evidence, Princeton Univ. Press

Lógica Difusa “ Esto es lo vago e incierto. Acercate y no verás su cabeza; siguelo y no verás su parte posterior” [Lao Tzu]

Incertidumbre - T.A., L.E. Sucar58 Conjuntos Los conjuntos difusos se pueden ver como una extensión de los conjuntos “clásicos” para representar conceptos no bien definidos Conjuntos clásicos – se puede determinar sin ambigüedad si algo es miembro o no del conjunto (el conjunto es claro y preciso)

Incertidumbre - T.A., L.E. Sucar59 Ejemplos – Conjuntos Clásicos Miembros del club de tennis Números menores a 10 Persona que mide más de 1:70 m de altura Un conjunto se puede representar gráficamente mediante un diagrama de Venn o un diagrama de verdad

Incertidumbre - T.A., L.E. Sucar60 Diagrama de Verdad (números menores a 10)

Incertidumbre - T.A., L.E. Sucar61 Conjuntos Difusos En un conjunto difuso el límite no está bien definido, los miembros pueden tener un grado de membresía en cualquier nivel – desde completamente miembro hasta no- miembro Elemplos: –Jugadores de tennis –Personas altas –Números pequéños

Incertidumbre - T.A., L.E. Sucar62 Función de Membresía (números positivos pequeños)  (X) X

Incertidumbre - T.A., L.E. Sucar63 Conjuntos Difusos Formalmente un conjunto difuso es una función del conjunto A, llamado dominio, al intervalo [0,1]:  : A  [0,1] El conjunto de valores de A para las cuales  > 0 es llamado el soporte de  Para cualquier elemento a  A,  (a) es el grado de membresía de a en A – se representa gráficamente mediante la función de membresía

Incertidumbre - T.A., L.E. Sucar64 Operaciones Difusas Complemento: NOT  (a) = 1 –  (a) Intersección:  (a) = min [  (a), (a) ] Unión:  (a) = max [  (a), (a) ]

Incertidumbre - T.A., L.E. Sucar65 Ejemplo – “alto y bajo” 1:  (A) A “bajo” “alto”

Incertidumbre - T.A., L.E. Sucar66 Ejemplo – “alto o bajo” 1:  (A) A “bajo” “alto”

Incertidumbre - T.A., L.E. Sucar67 Ejemplo – “no alto” 1:  (A) A “alto”

Incertidumbre - T.A., L.E. Sucar68 Relaciones Difusas 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 Ejemplo: B \ A

Incertidumbre - T.A., L.E. Sucar69 Relaciones Difusas - Ejemplo La relación difusa – “a es similar a b” B \ A

Incertidumbre - T.A., L.E. Sucar70 Operaciones Las operaciones básicas sobre conjuntos difusos se extienden directamente a relaciones difusas La composición de dos relaciones difusas se define como:  °  (a, b) = Sup B min [  (a, b´), (b´, c) ]

Incertidumbre - T.A., L.E. Sucar71 Ejemplo de Composición Relación a-b: b1b2b3b4b5 a a a Relación b-c: c1c2c3c4 b b b b b

Incertidumbre - T.A., L.E. Sucar72 Ejemplo de Composición Resultado - relación a-c: c1c2c3c4 a a a 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

Incertidumbre - T.A., L.E. Sucar73 Reglas de Producción Difusas Extienden las reglas de producción tradicionales con la inclusión de términos difusos. Ejemplos de reglas difusas: –Si el clima es caluroso entonces la alberca está llena –Si el agua está fría entonces cierra ligeramente la llave –Si el obstáculo está cerca entonces detente Cada término (premisa, conclusión) corresponde a un conjunto difuso.

Incertidumbre - T.A., L.E. Sucar74 Inferencia Una regla difusa se puede representar como una relación difusa – expresando los valores de membresía de la conclusión para cada uno de los valores de las premisas Ejemplo: Si agua fría entonces cierra llave Temp \ Grados cierre

Incertidumbre - T.A., L.E. Sucar75 Inferencia Dada una entrada, mediante una función de membresía, la función conclusión se obtiene mediante la regla de composición Regla composicional de inferencia: f(x) – función de membresía de la entrada g(x,y) – relación que expresa la regla h(y) – función de membresía de la conclusión h(y) = f  °  g  (y) = Sup X min [ f(x), g(x,y) ]

Incertidumbre - T.A., L.E. Sucar76 Inferencia - ejemplo Regla: Si agua fría entonces cierra llave Temp \ Grados cierre Entrada: agua fría Temp 10 – – 0.3 Salida: Grados cierre

Incertidumbre - T.A., L.E. Sucar77 Defuzificación La “salida” de una regla difusa es un conjunto difuso En muchas aplicaciones es necesario transformar esta salida: –Aproximación lingüística – se transforma en una descripción “verbal” –Defuzificación aritemétcia – se extrae un valor escalar que represente al conjunto difuso

Incertidumbre - T.A., L.E. Sucar78 Defuzificación Defuzificación aritemétcia – dos formas básicas: –Valor máximo –Centro de área (o de momentos) 0 1 X

Incertidumbre - T.A., L.E. Sucar79 Defuzificación Para el ejemplo de la regla: Salida: Grados cierre Máximo:90 Momentos:(0* * *0.8)/1.4 = 64.28

Incertidumbre - T.A., L.E. Sucar80 Ejemplo de Reglas Difusas – control de temperatura Reglas para el control de temperatura de una regadera (tibia): –Si agua es FRIA entonces incrementar aprox. en 2 unidades –Si agua es FRESCA entonces incrementar aprox. en 1 unidad –Si agua es TIBIA entonces incrementar aprox. en 0 unidades –Si agua es CALIENTE entonces decrementar en aprox. en 1 unidad

Incertidumbre - T.A., L.E. Sucar81 Ejemplo control de regadera – temperatura 0 1  (T) T

Incertidumbre - T.A., L.E. Sucar82 Ejemplo control de regadera – salida de control 0 1  (C) C

Incertidumbre - T.A., L.E. Sucar83 Ejemplo control de regadera – reglas 0 1  (T,C) T C

Incertidumbre - T.A., L.E. Sucar84 Ejemplo control de regadera – inferencia (OR implicito) 0 1  (T,C) T C Temp Entrada

Incertidumbre - T.A., L.E. Sucar85 Ejemplo control de regadera – salida 0 1  (C) C Centro de Momento

Incertidumbre - T.A., L.E. Sucar86 Aplicaciones Control de procesos Sistemas embebidos (lavadoras, cámaras, etc.) Sistemas expertos difusos Percepción Robótica

Incertidumbre - T.A., L.E. Sucar87 Ventajas Analogía con forma de expresión humana Simplicidad y eficiencia computacional Aplicaciones exitosas

Incertidumbre - T.A., L.E. Sucar88 Desventajas Dificultad de interpretación de valores difusos (semántica no clara) Mútiples difiniciones de operadores y reglas de inferencia difusas No hay una buena justificación de operadores difusos

Incertidumbre - T.A., L.E. Sucar89 Referencias L.A. Zadeh, “Fuzzy Sets”, Information and Control 8, 1965 I. Graham, P. Jones, “Expert Systems”, Chapman and Hall, 1988 – Capítulo 5 H. Zimmermann, “Fuzzy Set Theory and its Applications”, Kluwer, 1985

Incertidumbre - T.A., L.E. Sucar90 Actividades Presentación preliminar de proyecto final Hacer una presentación de aprox. 16 láminas (máximo 5 minutos) con al menos lo siguiente: –Planteamiento del problema –Objetivos –Metodología de solución –Herramientas / programas –Resultados preliminares –Conclusiones / trabajo por hacer La presentación debe servir de base para el poster En base a esto se seleccionaran los 2 proyectos para ExpoTec (puntos extra!)