3.1.1  De Variables Numéricas a Variables Lingüísticas. 3.1.2  Hedges Lingüístico. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDAD...
3.1.1  De variables numéricas a variables lingüísticas <ul><li>Generalmente en la vida cotidiana, las palabras frecuenteme...
<ul><li>También, la variable “temperatura hoy”  puede tomar números como sus valores: 25  C, 19  C, etc. </li></ul><ul><...
Definición 3.1: <ul><li>Si una variable puede tomar palabras en lenguaje natural como sus valores, se denomina una  variab...
Ejemplo 3.1 <ul><li>La velocidad de un carro es una variable  x  que toma valores en el intervalo [0,  V max ], donde  V m...
<ul><li>Por lo que, se puede decir que “ x  es pequeña”, “ x  es mediana”, y “ x  es r á pida”.  Por su puesto,  x  tambié...
<ul><li>La definición 3.1 da una simple e intuitiva definición para variables lingüísticas. En la literatura de la teoría ...
Definición 3.2: <ul><li>Una variable lingüística es caracterizada por (X, T, U, M) donde: </li></ul><ul><ul><ul><li>X es e...
<ul><li>De las dos definiciones anteriores se puede ver que las variables lingüísticas son extensiones de variables numéri...
<ul><li>Figura 3.2  De variables numéricas a variables lingüísticas  </li></ul>U U Variable numérica Variable lingüística
¿Porqué es importante el concepto de variable lingüística? <ul><li>Por que  las variables lingüísticas son los elementos m...
Variables Lingüísticas  Y  Otras Terminologías Relacionadas <ul><li>La Variable Lingüística (VL)  juega un papel important...
Variable Difusa <ul><li>Una  Variable Difusa  esta caracterizada por tres partes ( X, U, R(X) ), donde: </li></ul><ul><li>...
Ejemplo 3.2: <ul><li>X   =  “Viejo”  con  U  = {10, 20,...,80},  y </li></ul><ul><li>R(X)  = 0.1/20+0.2/30+0.3/40+0.4/50+ ...
Variable Lingüística  <ul><li>La VL  es una variable de orden mayor que una variable difusa, y toma variables difusas como...
Variable Lingüística <ul><li>x   es el nombre de la variable; </li></ul><ul><li>T(x)   es el conjunto termino de  x ,  est...
Variable Lingüística <ul><li>G   es una regla sintáctica que genera los nombres de los valores de  x ; </li></ul><ul><li>y...
Ejemplo 3.3: <ul><li>Si  velocidad   se interpreta como una VL con  U  =[0,100], o sea,  x=“velocidad”,  Entonces su conju...
... <ul><li>La regla sintáctica G  para generar los nombres (o las etiquetas)  de los elementos en  T(velocidad)   es comp...
... <ul><li>M(Lento)  = el conjunto difuso para “una velocidad abajo cercana a 40 mph”  con una función de membresía   Le...
... <ul><li>M(Rápido)  = el conjunto difuso para “una velocidad arriba de 70 mph”  con una función de membresía   Rápido ...
Términos De La VL Velocidad Figura 3.3  Representación de la variable lingüística del ejemplo 3.3
Variable Lingüística <ul><li>En el anterior ejemplo, el  conjunto termino  solamente contiene un numero pequeño de término...
Variable Lingüística <ul><li>Una VL  x   se dice que es  estructurada  si su conjunto termino  T(x)   y su regla semántica...
3.1.2 Hedges Lingüísticos <ul><li>Con el concepto de variable lingüística, se puede tomar palabras como valores de variabl...
<ul><li>En general, el valor de una variable lingüística es un término compuesto  x = x 1  x 2  ...x n  lo cual es un a co...
Modificadores Lingüísticos ( hL) <ul><li>Por lo tanto, hL   es un operador para modificar el significado de un conjunto di...
Operaciones  en Conjuntos Difusos <ul><li>Las siguientes operaciones en conjuntos difusos son utilizadas en la definición ...
Operaciones  en Conjuntos Difusos <ul><li>Y  “more or less A”  es un conjunto difuso en U con la función de membresía: </l...
Ejemplo 3.4 <ul><li>Si U = {1, 2, ..., 5} y el conjunto difuso “pequeño” se define como: </li></ul><ul><ul><ul><li>Pequeño...
Operaciones  en Conjuntos Difusos <ul><li>Otras operaciones son: </li></ul><ul><ul><ul><li>Intensificación: INT(A) </li></...
Algunos  hL <ul><li>VERY(A) = CON(A) = A 2 , </li></ul><ul><li>HIGHLY(A) = A 3 , </li></ul><ul><li>FAIRLY (MORE OR LESS) =...
Algunos  hL <ul><li>RATHER(A) = INT[CON(A)] AND NOT[CON(A)], </li></ul><ul><li>SLIGHTLY(A) = INT[PLUS(A) AND NOT VERY(A)],...
<ul><li>Los conjuntos difusos resultantes deberían ser normalizados si el modificador ( hL )  no es igual a 1. </li></ul>
Figura 3.4  Efectos de los modificadores sobre el conjunto difuso “TALL”
Modificadores Lingüísticos <ul><li>Con la ayuda de los  hL , se puede definir un conjunto término de una VL, por ejemplo: ...
<ul><li>Y la regla sintáctica correspondiente  G ,  la cual puede generar recursivamente el conjunto término  T(edad) ,  p...
<ul><li>Además, la regla semántica  M   que puede asociar a cada  T i   un significado puede ser el siguiente algoritmo re...
Ejemplo  :  Variables Lingüísticas Y Valores Lingüísticos. <ul><li>Si  edad  es interpretada como una variable lingüística...
<ul><li>Donde cada termino en  T(edad)   se caracteriza por un conjunto difuso de un universo de discurso  X  = [0, 100], ...
<ul><li>Del ejemplo anterior, se observa que el conjunto termino  consiste de varios  términos primarios  (joven,  viejo) ...
Universo De Discurso  Establecimiento Del Universo De Discurso Para Las Variables Lingüísticas
<ul><li>Se especifica el universo de discurso para una variable de entrada y/o salida, cómo el rango de valores posibles q...
<ul><li>Dado que el universo de discurso para cada variable debe ser trasladado a variables lingüísticas (conjuntos difuso...
<ul><li>La determinación final del número de conjuntos difusos definidos para cada variable se determina  heurísticamente,...
<ul><li>Se recomienda especificar una cantidad de conjuntos difusos más densa en aquellas zonas donde se requieran cambios...
<ul><li>Una de las cualidades que caracterizan a los sistemas difusos es el manejo de información ambigua, esta caracterís...
<ul><li>Respecto del grado de traslape que deben tener dos conjuntos contiguos ,  se recomienda  en  25%  del área total  ...
Consideraciones   para  la especificación de los  CD´s : <ul><li>1)  Cada punto en el universo de discurso debe pertenecer...
C consideraciones  para  la especificación de los  CD´s : <ul><li>3)  Cuando dos funciones de membresía se traslapan, la s...
<ul><li>Durante la especificación de los conjuntos difusos que cubren los extremos inferior (función  Z) y superior (funci...
3.1. 3   Fundamentos de Reglas Difusas. 3.1. 4   Dos  Tipos de Reglas Difusas. 3.1 Variable Lingüística y Reglas Difusas I...
3.1. 3   Fundamentos de Reglas Difusas. <ul><li>Una regla difusa if-then es un esquema de representación de conocimiento p...
<ul><li>La característica principal de la inferencia difusa basada en reglas es su capacidad para ejecutar inferencia bajo...
<ul><li>Figura 3.5  Proyectando una entrada difusa A’ con una condición difusa A </li></ul>µ x A’  A
<ul><li>El grado de combinación (matching degree) es combinado con el consecuente (la parte “then”) de una regla para form...
<ul><li>Dichas palabras facilitan la extracción y la documentación del conocimiento humano en una forma fácil y explicita,...
3.1.4  Dos Tipos de Reglas Difusas <ul><li>Existen dos tipos de reglas difusas: 1)  reglas de proyección difusa , y 2)  re...
<ul><li>El fundamento de una  regla de proyección difusa  es una grafica difusa, mientras que la base de una  regla de imp...
<ul><li>Las  reglas de proyección difusa  son relacionadas a otras técnicas de aproximación de funciones en sistemas de id...
Material Anexo a  3.1. 3   Fundamentos de Reglas Difusas. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES Lógica Difusa Y Razona...
3.1.4.1  Reglas de Proyección Difusa <ul><li>En muchos problemas del mundo real, se busca la relación funcional entre un c...
<ul><li>Cuando se quiere aproximar una función, una regla difusa puede aproximar un segmento pequeño de la función, la fun...
<ul><li>La diferencia principal entre las reglas difusas y las reglas no difusas para la aproximación de una función cae e...
<ul><li>Las técnicas para la aproximación de una función puede ser clasificadas en tres categorías: técnicas globales, téc...
3.1.4.2  Reglas de Implicación Difusas <ul><li>Las reglas de implicación difusas son una generalización de la “implicación...
<ul><ul><ul><li>IF  el IQ de una persona es alto THEN  la persona es inteligente. </li></ul></ul></ul><ul><li>Dada la impl...
Limitaciones en la Lógica Clásica <ul><li>Si bien, en la lógica clásica se pueden ejecutar los dos tipos de inferencia men...
<ul><li>Segundo , dichas inferencias  no pueden manejar la incertidumbre . Por ejemplo, si Juan dice que su IQ es alto per...
Esquema de Razonamiento de L. A. Zadeh: <ul><li>Las limitaciones que presenta la lógica clásica motivaron a L. A. Zadeh a ...
<ul><li>En particular, las implicaciones lógicas son generalizadas para permitir un ajuste o combinación parcial. En el ej...
<ul><li>Dado:  El IQ de Juan es  alto   -> Juan es  inteligente . </li></ul><ul><li>El IQ de Juan es  algo alto . </li></u...
<ul><li>La lógica difusa difiere de la lógica multivaluada en que también maneja la primera limitación de la lógica clásic...
<ul><li>Consecuentemente, la declaración en el antecedente describe una  condición elástica  que puede ser satisfecha parc...
<ul><li>Lo anterior posibilita a una persona con un IQ  algo alto  a ajustar parcialmente la condición. Obviamente, el gra...
<ul><li>Las distinciones entre las  reglas de implicación difusa  y las  reglas de proyección difusas  son sutiles, más si...
<ul><li>El Prof. Zadeh menciona que la lógica difusa tiene cuatro facetas principales: </li></ul><ul><li>(1) la faceta lóg...
Tabla 3.1 Comparación de dos Tipos de reglas Difusas. Dominios continuos  no-lineales Dominios con variables continuas y d...
Material Anexo a:  3.1.4.2  Reglas de implicación difusa. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES Implicaciones difusas ...
Modelos Basados en  Reglas–Difusas   para  Aproximar una Función   <ul><li>Por conveniencia se referirá a un modelo que de...
¿Qué es un modelo difuso? <ul><li>Un modelo difuso es un modelo que se obtiene por la  fusión  de múltiples  modelos local...
<ul><li>Por lo tanto, generalmente un sub-espacio difuso está parcialmente traslapado con sus vecinos sub-espacios difusos...
<ul><li>El resultado de la fusión de múltiples modelos difusos generalmente es una conclusión difusa, la cual es convertid...
Material Anexo a:  Modelos Basados en  Reglas–Difusas   para  Aproximar una Función Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDA...
(1)  Partición Difusa <ul><li>Una partición clásica de un espacio es una colección de sub-espacios separados cuya unión es...
<ul><li>En la Fig. 3.6 se ejemplifica la partición clásica para un espacio de entrada, el cual toma en cuanta dos variable...
<ul><li>Una partición difusa generaliza la partición clásica de tal forma que la transición entre un sub-espacio y otro ve...
<ul><li>La Fig. 3.7 muestra una partición difusa para un sistema que controla el contraste de una TV basada en dos entrada...
<ul><li>La partición difusa del espacio de entrada completo está formado por seis sub-regiones difusas especificadas por p...
<ul><li>Figura 3.7  Ejemplo de Partición difusa </li></ul>Cerca  Medio  Lejos Claro Oscuro Membresía Iluminación o Brillan...
<ul><li>Una  partición difusa  de un espacio es una colección de sub-espacios difusos cuyas fronteras están parcialmente t...
<ul><li>Esto es, para cualquier elemento de un espacio, su grado de membresía en todo el sub-espacio siempre tendera a 1. ...
<ul><li>Aun que muchos sistemas difusos desarrollados en el mundo real satisfacen la Ec. (3.5), no todos los investigadore...
<ul><li>Se llamará una colección de subconjuntos difusos  A i  de  S  a una colección difusa débil de  S  si y solo si sat...
<ul><li>Intuitivamente, esto significa que una partición difusa no deja ningún “hueco” . </li></ul><ul><li>La condición “s...
NOTA: <ul><li>Al generalizar la capacidad de razonamiento interpolativo en la lógica difusa se utiliza tanto la “distancia...
<ul><li>Esto es porque aun si un elemento  x  no es cubierto por cualquier subespacio difuso, el razonamiento interpolativ...
<ul><li>Es importante enfatizar que “partición difusa” y “razonamiento interpolativo” son como las dos caras de una moneda...
(2) Proyección de un Subespacio Difuso a un Modelo Local <ul><li>Un modelo local para un subespacio del espacio de entrada...
<ul><li>Ya que la amplitud del modelo local es menor que el de un modelo global, generalmente es más fácil desarrollar un ...
<ul><li>Esto puede ser entendido al recordar la técnica de aproximación llamada “aproximación lineal piecewise”, la cual a...
<ul><li>Figura 3.8  Ejemplo de la aproximación lineal Piecewise </li></ul>x y
<ul><li>La aproximación lineal Piecewise tiene dos componentes principales: </li></ul><ul><ul><ul><li>1.-  Particionando  ...
<ul><li>Generalmente, la proyección de un subespacio difuso a un modelo lineal es representado como una regla difusa if-th...
<ul><li>Ya que las reglas de proyección difusas describen una relación funcional entre entrada y salida,  dos reglas que a...
<ul><li>El modelo local asociado con cada subespacio difuso puede ser de cuatro tipos diferentes (1) una constante crisp, ...
<ul><li>1.- Constante Crisp:  Este tipo de modelo local simplemente es una constante crisp (ejemplo: 4.5): </li></ul><ul><...
<ul><li>3.-  Modelo Lineal: Este tipo de modelo local describe la salida como una función lineal de las variables de entra...
(3) Fusión de Modelos Locales a través del Razonamiento Interpolativo <ul><li>Los modelos difusos  usan  razonamiento inte...
<ul><li>Cada opinión de los experto es asociada con una ponderación, la cual refleja el grado para el cual la situación tr...
<ul><li>En ésta analogía, un experto corresponde a una regla difusa if-then, la subárea de especialización del experto cor...
(4)  Defusificación <ul><li>Se puede interpretar una distribución de posibilidad a través de una  aproximación lingüística...
<ul><li>Dada una  distribución de posibilidad  de la salida de un modelo difuso, la defusificación tiende a seleccionar un...
MOM: <ul><li>Donde  P   es el conjunto de calores de salida  y   con el grado de posibilidad más alto en  A, </li></ul><ul...
COA: <ul><li>Si  x  es discreto, el resultado de la defusificación de  A  es:  </li></ul>
El Método de Height <ul><li>Este método se puede visualizar en dos pasos. Primero, se convierte la función de membresía de...
<ul><li>Donde  w i   es el grado para el cual la ith regla ajusta mejor a los datos de entrada. </li></ul><ul><li>El benef...
<ul><li>Por lo tanto, muchos modelos neuro-difusos bien conocidos utilizan este tipo de método de defusificación. </li></u...
3.1.5  Fundamentos Teóricos de Reglas de Proyección Difusa Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
3.1.5.1  Representación Matemática de las reglas de proyección difusas <ul><li>Una regla de proyección difusa impone una r...
<ul><li>El grado de posibilidad de una asociación entrada-salida impuesta por una regla R puede ser expresada como una dis...
<ul><li>Aun que esta idea parece buena, se debería responder a la siguiente pregunta: ¿ Como se construye la relación difu...
<ul><li>Por ejemplo, la regla de proyección: </li></ul><ul><ul><ul><li>IF x es A, THEN  y es B </li></ul></ul></ul><ul><li...
<ul><li>La función de membresía bi-dimencional de una relación difusa construida de esta manera se muestra en la Fig. 3.9 ...
Ejemplo 3.1 <ul><li>Si se considera la siguiente regla de proyección difusa de  X a Y donde X={2,3,4,5,6,7,8,9}  y  Y={1,2...
<ul><li>La relación difusa R que representa a la regla es el producto Cartesiano de Mediano y pequeño. </li></ul><ul><li>S...
 
3.1.5.2  El Fundamento de los Modelos Difusos Basados en Reglas: La Gráfica Difusa <ul><li>El fundamento teórico de las re...
<ul><li>Tal declaración (o regla), como lo puntualizó Zadeh, generaliza la relación de dependencia entre las variables en ...
<ul><li>Si  f*   es una gráfica difusa descrita por un conjunto de reglas de proyección difusa de la forma: </li></ul><ul>...
<ul><li>La inferencia (ejemplo, razonamiento interpolativo) de tal modelo difuso basado en reglas está basado en  la regla...
<ul><li>En particular, </li></ul><ul><ul><ul><li>B’ = A’  ◦ f* (3.15) </li></ul></ul></ul><ul><li>Donde   f*  representa l...
Donde  X   y  Y   son los universos de discurso de  x   y  y,  respectivamente,  y  Ā’  denota la extension cylindrical de...
Ejemplo 3.5 <ul><li>Se tiene la siguiente regla: </li></ul><ul><li>IF  x  es Mediano  THEN  y  es Pequeño </li></ul><ul><l...
<ul><li>Para encontrar los valores posibles de  y , se realiza la composición de los valores posibles de  x  con la relaci...
<ul><li>En el ejemplo 3.5,  se consideró solamente una regla. Sin embargo, un modelo difuso para aproximar una función gen...
<ul><li>Entonces se aplica la regla composicional de inferencia a la entrada del modelo y la relación difusa que represent...
3.1.6  Tipos de Modelos Difusos Basados en  Reglas Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
3.1.6 Tipos de Modelos Difusos Basados en Reglas <ul><li>Existen tres tipos de modelos difusos basados en reglas para apro...
<ul><li>Por lo contrario, el modelo de Mamdani combina los resultados de la inferencia de reglas utilizando super-imposici...
<ul><li>Figura 3.10 Clasificación de Modelos Difusos Basado en Regla para Aproximar una Función </li></ul>Modelos de Regla...
<ul><li>El primer modelo desarrollado fue el modelo de Mamdani (E. H. Mamdani), quien desarrollo el primer controlador lóg...
<ul><li>El modelo Takagi-Sugeno-Kang (TSK) fue presentado por primera vez por  T. Takagi y Prof. M. Sugeno en 1985. Otro e...
<ul><li>El modelo de Mamdani y el SAM utilizan reglas en las que la parte del consecuente es un conjunto difuso: </li></ul...
<ul><li>Estos dos modelos difusos basados en reglas difieren en sus esquemas de inferencia. El modelo TSK utiliza una regl...
3.1.7 Modelo Mamdani <ul><li>Este modelo consiste de la siguiente regla lingüística que describe una proyección de  U 1  x...
<ul><li>Las entradas son de la forma: </li></ul><ul><li>x 1  es A’ 1  , x 2  es A’ 2  ,…, x r  es A’ r </li></ul><ul><li>d...
<ul><li>donde  α i  es el grado de matching (combinación o ser igual a) (ejemplo, fuerza de disparo) de la regla  R i  , y...
<ul><li>y    denota el operador “min”. Esto es el “método de inferencia por recorte” (unidad 2). </li></ul><ul><li>La sal...
<ul><li>Nótese que la salida C es un conjunto difuso.  Esta salida difusa puede ser defusificada en una salida crisp utili...
3.1.8  Modelo  TSK <ul><li>El modelo TSK se presento por Takagi y por Sugeno en 1998 una década después del modelo de Mamd...
<ul><li>Para lograr esta meta, el modelo TSK remplazó los conjuntos difusos  en el consecuente (parte THEN) de la regla de...
<ul><li>donde  f i  es el modelo lineal,  y  b ij  (j=0, 1,…, r)  son los parámetros reales evaluados.   </li></ul><ul><li...
<ul><li>La salida total del modelo está dada por la Ec (3.23) donde  α i   es el grado de matching de la regla R i , el cu...
<ul><li>Las entradas para un modelo TSK son números crisp (no-difusos). Por lo anterior, el grado de  la entrada  que igua...
3.1.9  Modelo Estándar Aditivo (SAM) <ul><li>El SAM fue presentado por B. Kosko en 1993. La estructura de las reglas difus...
<ul><ul><li>(3) SAM utiliza la adición para combinar las conclusiones de las reglas difusas, mientras Mamdani utiliza el m...
<ul><li>Si se tiene un modelo de dos-entradas una-salida, la generalización para un modelo con entradas arbitrarias es dir...
<ul><li>Dadas las entradas crisp x = x o , y=y o ,  la salida del modelo 2  es: </li></ul><ul><li>donde centroid es la fun...
Sumario <ul><li>Existen dos diferentes tipos de reglas if-then difusas: reglas de implicación difusa y reglas de proyecció...
<ul><li>El fundamento de una regla de proyección difusa es una gráfica difusa y una regla composicional de inferencia. </l...
<ul><li>Los conceptos principal de los modelos difusos basados en reglas son: (1) partición difusa del espacio de entrada,...
<ul><li>Existen tres tipos principales de modelos difusos: Mamdani, TSK, y SAM. Las dos últimas son aditivas, mientras el ...
<ul><li>La diferencia entre el modelo TSK y el de SAM es la estructura de sus modelos locales (ejemplo, las partes THEN de...
3.2  Lógica Difusa, Implicaciones Difusas y Razonamiento Aproximado.   Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
3.2  Lógica Difusa, Implicaciones Difusas y Razonamiento Aproximado.   Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
Introducción <ul><li>Aunque se ha utilizado el término “Lógica Difusa” con frecuencia en los temas anteriores de este capí...
<ul><li>La lógica clásica ofrece una manera de ver  formalmente el razonamiento. Un sistema lógico tiene dos componentes p...
<ul><li>Dos de los sistemas lógicos más comúnmente utilizados (desde un punto de vista binario) son: (1) lógica proposicio...
<ul><li>de la lógica difusa (desde un sentido particular). Una importante aplicación de la implicación difusa son:  los si...
Lógica Proposicional <ul><li>En lógica proposicional, una declaración acerca del mundo  se construye por: (1) representand...
<ul><li>Por ejemplo, la siguiente declaración </li></ul><ul><ul><li>If hoy es un  día de la semana y la hora del día es un...
<ul><li>P :  hoy es un día de la semana </li></ul><ul><li>Q : la hora actual es una hora pico </li></ul><ul><li>R : el trá...
<ul><li>Una declaración lógica  clásica puede tener dos posibles valores de verdad: falso o verdadero.  Debido a que una c...
<ul><li>La tabla de verdad de las conectivas mencionadas anteriormente se ilustra en la tabla 3.1. </li></ul><ul><li>Tabla...
<ul><li>La conectiva de “implicación” es especialmente importante, debido a que es base de las reglas de implicación difus...
<ul><li>Una implicación  α   es lógicamente equivalente a  ¬ α  .  Esto es, una implicación es verdadera si su premisa...
<ul><li>Para encontrar el valor de verdad de    cuando  α   es falsa y  α   es verdadera,  se identifican las filas de ...
<ul><li>Uno de los esquemas de inferencia más importantes en la lógica proposicional es el  modus ponens.  Dado que una im...
Por ejemplo, si hoy es un día de la semana (martes) y es una hora pico, se puede deducir que el tráfico está congestionado...
Otro esquema de inferencia que involucra una implicación es el modus tolens.  De una implicación y la negación de su concl...
Predicado de Primer-Orden <ul><li>El Cálculo del Predicado de Primer-Orden (FOPC) ofrece un lenguaje formal que es más sól...
<ul><li>El FOPC utiliza  predicados  para describir oraciones simples. Un predicado representa  un conjunto de objetos o u...
<ul><li>Hora pico(5 pm): A las 5 de la tarde es hora pico. </li></ul><ul><li>Amistad(Pedro, Andrés): Pedro y Andrés son am...
<ul><ul><ul><li> x, y  Nativo del lugar(x)    Tradiciones del lugar(y)    Como(x,y)   (3.29) </li></ul></ul></ul><ul><l...
<ul><li>Modus ponens se puede aplica a la Ec. (3.29) al sustituir las variables  x   y  y   con Juan y Fogata respectivame...
<ul><li>donde    denota una variable de sustitución. Las variables de sustitución son llamadas UNIFICADORES. Los algoritm...
LÓGICA DIFUSA <ul><li>Una importante meta de la lógica difusa es que puede realizar una inferencia razonable aun cuando la...
Implicación difusa <ul><li>Sea mencionado que una regla de proyección difusa se puede representar mediante una relación di...
<ul><li>Sin embargo, el contenido de las relaciones difusas para estos dos tipos de reglas son muy diferentes debido a la ...
<ul><li>Sin embargo, una regla de implicación difusa, describe una implicación lógica generalizada; por lo tanto, su relac...
<ul><li>La diferencia entre las semánticas de las reglas de proyección difusa y las reglas de implicación difusa se pueden...
<ul><li>Por ejemplo, suponga que  x   y  y   son dos variables enteras que toman los valores del intervalo  [0, 10].  Supo...
<ul><li>Si se asume que también se conoce el valor de  x  es 5, la representación lógica incluirá que  y  es desconocida (...
<ul><li>Por facilidad de comparación, se resumirán estos dos resultados diferentes como: </li></ul><ul><li>Regla de Implic...
<ul><li>Regla de Proyección (Representación Procesal) </li></ul><ul><li>Declaración:  IF  x     [1,3] THEN  y     [7,8] ...
<ul><li>Las dos representaciones corresponden a los dos tipos de reglas difusas:  la representación lógica es la base de l...
<ul><li>Para ver esto, primero se considerará el siguiente ejemplo: </li></ul><ul><ul><ul><li>x    {b,c,d}    y    {s,t...
<ul><li>Y un conjunto de  implicaciones imposibles  tal como: </li></ul><ul><li>x=b ->y=r </li></ul><ul><li>x=b ->y=r </li...
<ul><li>Por lo tanto, todas las siguientes implicaciones son posibles: </li></ul><ul><li>x=a ->y=r </li></ul><ul><li>x=a -...
<ul><li>Por lo tanto, se puede representar el significado de la  implicación conjunto-a-conjunto  utilizando la siguiente ...
<ul><li>donde una entrada en la relación  R(x i  , y j )  representa  si: </li></ul><ul><ul><ul><li>(x = x i )  -> (y = y ...
<ul><li>Por ejemplo,  R(a,r)  es  1  debido a que el antecedente  a  [b,c,d] es falso. </li></ul><ul><li>Se puede ahora p...
<ul><li>Figura 3.11 Vista gráfica de la relación de Posibilidad para (a) una Regla de implicación, y (b) una regla de proy...
<ul><li>Los puntos en el área sombreada son posibles (posibilidad es 1) mientras que en el área blanca no son posibles (po...
<ul><li>La Fig. 3.11 hace eco a un punto que se especificó anteriormente –las reglas de implicación y las reglas de proyec...
<ul><li>Después de discutir el significado de una implicación binaria conjunto-a-conjunto, se puede ahora considerar una i...
<ul><li>Por lo tanto, el significado de la implicación difusa se puede representar por una relación de implicación  R   de...
<ul><li>En lógica difusa, esta distribución de posibilidad es construida de los valores  de verdad de las implicaciones ej...
<ul><li>El valor de verdad de la implicación “ x i  es A ->y j  es B ”  es definido en términos del valor de verdad de la ...
<ul><li>El valor de verdad de la implicación ( x i  es A -> y j  es B )  es así una función   I  de    i  y   j .  t(x i...
<ul><li>Diferentes funciones de implicación conllevan diferentes relaciones de implicación difusa. Sin embargo, todas las ...
<ul><li>Varias definición de las funciones de implicación han sido desarrollados desde ambos comunidades de investigación ...
Razonamiento Aproximado <ul><li>Dada una distribución de posibilidad de la variable X y la posibilidad de implicación de X...
<ul><li>Mas generalmente, se tiene: </li></ul><ul><li>Dado:  Π  (X =  x i ) = a  AND </li></ul><ul><li>Π  (X =  x i     Y...
<ul><li>Cuando diferentes valores de  X  implican un valor idéntico de  Y  por ejemplo  y j  con grados de posibilidad var...
<ul><li>Independientemente de que las reglas de implicación difusa como las de proyección difusa utilizan la regla composi...
<ul><li>Segundo, la relación difusa de una regla de proyección difusa es un producto Cartesiano de los antecedentes de la ...
Criterios de Implicaciones Difusas <ul><li>Los criterios de inferencias deseadas que  involucran los resultados de la impl...
<ul><li>(5) El criterio generalizado de Modus Tolen que involucra hedges, </li></ul><ul><li>(6) El criterio de la Cadena d...
Criterios Intuitivos para  involucrar la implicación Difusa   x es A  y es B y es B  x es more or less A III-2 y es more ...
x es A    z es C y es B  z es C IX x es U (desconocida) y es B VIII x es nor (more or less A) y es not (more or less B) ...
 
 
 
 
 
 
 
Lógica Difusa Y Razonamiento Aproximado Material Anexo a  3.1. 3   Fundamentos de Reglas Difusas.
Lógica Difusa <ul><li>La Lógica es una base para el  razonamiento . La lógica bivalente clásica  trata con  proposiciones ...
<ul><li>En general, las proposiciones son oraciones expresadas en algún lenguaje y pueden ser representadas en una  forma ...
Operaciones  Lógicas <ul><li>Las operaciones  lógicas son funciones (lógicas) de dos proposiciones y son definidas vía  Ta...
<ul><li>La conjunción (  ),  “ A   y  B ”. </li></ul><ul><li>La disyunción (  ),  “ A   o   B ”. </li></ul><ul><li>La im...
Razonamiento  Lógico <ul><li>El procedimiento de razonamiento es realizado a través de algunas  reglas de inferencia.  Alg...
<ul><li>El  resultado de las proposiciones anteriores siempre es cierto no importando cuales sean  los valores de verdad d...
Generalidades de un sistema experto difuso <ul><li>Un sistema experto consiste de una base de conocimiento y de una maquin...
<ul><li>La importancia de los sistemas llamados  &quot;sistemas expertos difusos&quot; ,  radica en sus habilidades de pod...
Base de conocimiento en la Lógica Difusa. <ul><li>Un hecho general en una  base de conocimiento , especifica el valor de a...
<ul><li>Un hecho general  X es A , es transformado en una ecuación de asignación  R (X) = A ,  lo que significa que el con...
<ul><li>En el marco de la teoría de la posibilidad un hecho de la forma  X es A , es traducido en una ecuación de  asignac...
<ul><li>Una de las ventajas de los sistemas expertos difusos es que no es necesario un  ajuste   perfecto  entre los antec...
<ul><li>Por ejemplo,  un hecho podría ser de la forma  X es A’ ,  donde  A’  es un subconjunto difuso de  U  y  A’  A . <...
<ul><li>Es así, que a partir de esta información se pueden inferir las restricciones sobre  Y ,  mediante su proyección en...
Modus Ponens Generalizado <ul><li>Los modelos matemáticos en los que se basa la inferencia difusa, provienen de la lógica ...
<ul><li>Uno de los principales  objetivos  de la lógica proposicional es el estudio de las reglas mediante las cuales se p...
<ul><li>Existe una regla básica de implicación difusa, comúnmente utilizada en el razonamiento aproximado, llamada  modus ...
<ul><li>El modus ponens  establece que, dadas dos proposiciones  a   y  a  b  llamadas premisas , donde “  “ representa ...
<ul><li>Para entender el significado del MPG, considérese una  base de hechos  y una  base de reglas  que contengan inform...
<ul><li>Respecto a las reglas que se utilizan más comúnmente en los sistemas de control difusos, generalmente éstas se pro...
<ul><li>La regla de la ecuación (A.1) es vista también como una  proposición condicional canónica , la cual induce una  di...
<ul><li>En la lógica difusa el modus ponens se formula mediante la llamada  regla composicional de inferencia ,  la cual p...
<ul><li>Esta regla equivale a la operación de composición realizada mediante: </li></ul><ul><li>La formulación más general...
Lógica Difusa Y Razonamiento Aproximado Material Anexo a  3.1. 3   Fundamentos de Reglas Difusas.
Lógica Difusa y Razonamiento Aproximado:   Proposiciones Difusas Material Anexo a  3.1.4.2  Reglas de Implicación Difusa.
Proposiciones Difusas <ul><li>Para proveer la capacidad del razonamiento aproximado, la lógica difusa permite la utilizaci...
Predicados Difusos <ul><li>En la LD, el predicado puede ser difuso, por ejemplo:  Alto, Joven, Pronto, Amigo de , </li></u...
Modificadores De Predicados Difusos <ul><li>En lógica clásica el único modificador es la negación, NO. </li></ul><ul><li>E...
Cuantificadores Difusos (CD) <ul><li>En LD un CD se interpreta como un número difuso o una proporción difusa  que provee u...
<ul><li>La LD permite el uso de cuantificadores difusos, como por ejemplo:  Most, Many, Several, Few, Much of, Frequently,...
Calificadores Difusos (CalD) <ul><li>En la LD se tienen cuatro tipos  de calificadores: </li></ul><ul><li>Calificación ver...
Lógica Difusa y Razonamiento Aproximado: Razonamiento Aproximado
Razonamiento Aproximado <ul><li>Como en cualquier lógica, las reglas de inferencia en la LD gobiernan la deducción de una ...
<ul><li>Existen cuatro modos principales de razonamiento difuso (o razonamiento aproximado) en la LD: </li></ul><ul><li>Ra...
Razonamiento Categórico <ul><li>Las premisas están en forma canónica “ X  es  A ”  o en forma canonica condicional “SI  X ...
<ul><li>Las principales reglas de inferencia del razonamiento categórico en LD son: </li></ul><ul><li>Regla de proyección ...
Razonamiento Cualitativo <ul><li>En LD, el razonamiento cualitativo se refiere a un modo de razonamiento en el cual la rel...
<ul><li>Por ejemplo, si  X  y  Y  son variables de entrada y  Z   es la variable de salida, la relación entre,  X ,  Y ,  ...
<ul><li>Donde:  A i ,  B i , y  C i ,  i=1,...,n,  son subconjuntos difusos de sus respectivos universos de discurso. </li...
Razonamiento Silogístico <ul><li>Al contrario del razonamiento Categórico, éste está relacionado con inferencias de premis...
<ul><li>p =  Q 1  A´s  son  B´s </li></ul><ul><li>q =  Q 2  C´s   son  D´s </li></ul><ul><li>r  =  Q 3  E´s   son  F´s </l...
<ul><li>Los seis silogismos difusos mas importantes son: </li></ul><ul><li>Intersección o silogismo producto, </li></ul><u...
Razonamiento Disposicional  <ul><li>En éste, las premisas son disposiciones que deben contener, explícitamente o implícita...
<ul><li>Algunas reglas de inferencia de razonamiento disposicional son: </li></ul><ul><li>Regla de proyección disposiciona...
Lógica Difusa y Razonamiento Aproximado: Modelo de Inferencia Difusa
Múltiples Reglas con  Múltiples  Antecedentes.
Reglas con  n  antecedentes y  m  consecuentes <ul><li>La interpretación de múltiples reglas generalmente se interpreta co...
<ul><li>premisa  1  (hecho)  x   es  A'  y  y  es B', </li></ul><ul><li>premisa  2  (regla 1)  Si  x   es  A 1   y  y   es...
<ul><li>Se puede emplear el razonamiento difuso mostrado en la Fig. A.1  como un procedimiento de inferencia para derivar ...
<ul><li>Debido a que  el operador de composición  max-min  (  )   es distributivo, se puede  usar el operador     para o...
<ul><li>Donde C' 1   y  C' 2   son los conjuntos difusos inferidos por las reglas 1 y 2, respectivamente.  </li></ul><ul><...
<ul><li>Figura A.1  Razonamiento Difuso para múltiples reglas con múltiples antecedentes. </li></ul>
<ul><li>Cuando una regla difusa dada asume la forma  &quot; Si  x  es  A  o  y  es  B  entonces  z  es  C ,&quot;  entonce...
Definición De Los Planos De Inferencia. Inferencia en sistemas con múltiples reglas: (min, max, min)
Planos De Inferencia <ul><li>Se ha visto que para encontrar una conclusión difusa, en el caso de una sola regla, es necesa...
Planos De Inferencia <ul><li>Cuando se consideran sistemas con múltiples reglas, se introducen los operadores de unión dif...
Planos De Inferencia <ul><li>Cada operador distinto dentro del proceso de inferencia difusa, va definiendo un plano de inf...
Planos De Inferencia <ul><li>Como se vio anteriormente, se requiere de la conectiva  &quot; y &quot;  ( min   max  min)  c...
Planos De Inferencia <ul><li>Cuando una sola regla apunta a un consecuente, ésta se aplica directamente sobre él mismo, a ...
Planos De Inferencia <ul><li>Sin embargo, en todos los sistemas de la lógica difusa es común encontrar más de una regla qu...
<ul><li>Para poder  elegir  a la regla que deba trascender al consecuente  ( la regla con mayor peso o fuerza ),  es neces...
Planos De Inferencia <ul><li>La aplicación de esta conectiva se refiere al segundo plano de inferencia ( a lo más ). </li>...
Planos De Inferencia <ul><li>De este último resultado, se concluye la inferencia al aplicar esta fuerza mediante una funci...
Planos de Inferencia en una Unidad de Inferencia Difusa
 
Lógica Difusa y Razonamiento Aproximado:   Proposiciones Difusas Material Anexo a  3.1.4.2  Reglas de Implicación Difusa.
ESTRUCTURA BÁSICA Y OPERACIÓN DE LOS SISTEMAS DE CONTROL  LÓGICOS DIFUSOS Material Anexo a:  Modelos Basados en  Reglas–Di...
Introducción <ul><li>En 1973 a raíz de un recien
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
SISTEMA DIFUSO Y SUS PROPIEDADES
Upcoming SlideShare
Loading in...5
×

SISTEMA DIFUSO Y SUS PROPIEDADES

8,739

Published on

Variable Lingüística y Reglas Difusas If-Then

Published in: Education, Technology
1 Comment
4 Likes
Statistics
Notes
No Downloads
Views
Total Views
8,739
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
442
Comments
1
Likes
4
Embeds 0
No embeds

No notes for slide

SISTEMA DIFUSO Y SUS PROPIEDADES

  1. 1. 3.1.1 De Variables Numéricas a Variables Lingüísticas. 3.1.2 Hedges Lingüístico. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES 3.1 Variable Lingüística y Reglas Difusas If-Then
  2. 2. 3.1.1 De variables numéricas a variables lingüísticas <ul><li>Generalmente en la vida cotidiana, las palabras frecuentemente son utilizadas para describir variables. </li></ul><ul><li>Por ejemplo: “Hoy hace calor”, o equivalentemente “la temperatura es alta hoy”, se utiliza la palabra “alta” para describir la variables “temperatura hoy”. </li></ul><ul><li>Esto es, la variable “temperatura hoy” toma la palabra “alta” como su valor. </li></ul>
  3. 3. <ul><li>También, la variable “temperatura hoy” puede tomar números como sus valores: 25  C, 19  C, etc. </li></ul><ul><li>Cuando una variable toma palabras en lenguaje natural como sus valores, es llamada “variable lingüística” . </li></ul>
  4. 4. Definición 3.1: <ul><li>Si una variable puede tomar palabras en lenguaje natural como sus valores, se denomina una variable lingüística , donde las palabras son caracterizadas por conjuntos difusos definidos en el universo de discurso en el cual la variable es definida. </li></ul>
  5. 5. Ejemplo 3.1 <ul><li>La velocidad de un carro es una variable x que toma valores en el intervalo [0, V max ], donde V max es la máxima velocidad del carro. Se definirán tres conjuntos difusos: “baja”, “media”, y “r á pida” en [0, V max ] como se muestra en la figura 3.1. Si x es una variable lingüística, entonces se puede tomar “baja”, “media” y “r á pida” como sus valores. </li></ul>
  6. 6. <ul><li>Por lo que, se puede decir que “ x es pequeña”, “ x es mediana”, y “ x es r á pida”. Por su puesto, x también puede tomar números en el intervalo [0, V max ] como sus valores, por ejemplo, x = 50 mph, 35 mph, etc. </li></ul>
  7. 7. <ul><li>La definición 3.1 da una simple e intuitiva definición para variables lingüísticas. En la literatura de la teoría difusa, una definición más formal de una variable lingüística es la propuesta y empleada por Zadeh. </li></ul>1 0 35 55 75 V max baja media rápida Velocidad del carro (mph) Figura 3.1 La velocidad de un carro como una variable lingüística que puede tomar conjuntos difusos “baja” y “rapida” como sus valores.
  8. 8. Definición 3.2: <ul><li>Una variable lingüística es caracterizada por (X, T, U, M) donde: </li></ul><ul><ul><ul><li>X es el nombre de la variable lingüística; en el ejemplo 3.1, X es la velocidad del carro. </li></ul></ul></ul><ul><ul><ul><li>T es el conjunto de valores lingüísticos que X puede tomar; en el ejemplo 3.1, T = {baja, media, rápida}. </li></ul></ul></ul><ul><ul><ul><li>U es el dominio físico actual en el cual la variable lingüística X toma sus valores cuantitativos (crisp); en el ejemplo 3.1, U = [0, V max ]. </li></ul></ul></ul><ul><ul><ul><li>M es una regla semántica que relaciona cada valor lingüístico en T con un conjunto difuso en U; en el ejemplo 3.1, M relaciona “baja”, “media”, “rapida” con las funciones de membresía mostradas en la Fig. 3.1. </li></ul></ul></ul>
  9. 9. <ul><li>De las dos definiciones anteriores se puede ver que las variables lingüísticas son extensiones de variables numéricas en el sentido de que pueden tomar los conjuntos difusos como sus valores, como se muestra en la Fig. 3.2. </li></ul>
  10. 10. <ul><li>Figura 3.2 De variables numéricas a variables lingüísticas </li></ul>U U Variable numérica Variable lingüística
  11. 11. ¿Porqué es importante el concepto de variable lingüística? <ul><li>Por que las variables lingüísticas son los elementos más fundamentales en la representación del conocimiento humano. </li></ul><ul><li>Por ejemplo, cuando se utiliza una pistola radar para medir la velocidad de los carros ésta entrega números como, 39mph, 42mph, etc.; cuando se le pregunta a una persona que diga cual es la velocidad de un carro, el/ella con frecuencia dice en palabras algo como “es rápida”, “es baja”, etc. </li></ul><ul><li>Por lo tanto, al introducir el concepto de variable lingüística, se pueden formular descriptores vagos en lenguaje natural en términos matemáticos precisos. </li></ul>
  12. 12. Variables Lingüísticas Y Otras Terminologías Relacionadas <ul><li>La Variable Lingüística (VL) juega un papel importante en muchas aplicaciones, especialmente en: </li></ul><ul><ul><li>Sistemas Expertos Difusos, y </li></ul></ul><ul><ul><li>Control Lógico Difuso. </li></ul></ul><ul><li>Básicamente, una VL es una variable cuyos valores son palabras u oraciones en un lenguaje natural o artificial. </li></ul>
  13. 13. Variable Difusa <ul><li>Una Variable Difusa esta caracterizada por tres partes ( X, U, R(X) ), donde: </li></ul><ul><li>X es el nombre de la variable, </li></ul><ul><li>U es el universo de discurso, y </li></ul><ul><li>R(X) es un subconjunto difuso de U, el cual representa una restricción difusa impuesta a X . </li></ul>
  14. 14. Ejemplo 3.2: <ul><li>X = “Viejo” con U = {10, 20,...,80}, y </li></ul><ul><li>R(X) = 0.1/20+0.2/30+0.3/40+0.4/50+ </li></ul><ul><li>0.8/60+1.0/70+1.0/80, </li></ul><ul><li>es una restricción difusa de Viejo. </li></ul>
  15. 15. Variable Lingüística <ul><li>La VL es una variable de orden mayor que una variable difusa, y toma variables difusas como sus valores. </li></ul><ul><li>Una VL se caracteriza por una quíntupla ( x, T(x), U, G, M ), donde: </li></ul>
  16. 16. Variable Lingüística <ul><li>x es el nombre de la variable; </li></ul><ul><li>T(x) es el conjunto termino de x , esto es el conjunto de nombres de valores lingüísticos de x donde cada valor es una variables difusa definida sobre U ; </li></ul>
  17. 17. Variable Lingüística <ul><li>G es una regla sintáctica que genera los nombres de los valores de x ; </li></ul><ul><li>y M es una regla semántica para asociar cada valor de x con sus significados. </li></ul>
  18. 18. Ejemplo 3.3: <ul><li>Si velocidad se interpreta como una VL con U =[0,100], o sea, x=“velocidad”, Entonces su conjunto termino T(velocidad) puede ser: </li></ul><ul><li>T(velocidad) = {Muy Lento, Lento, Moderado, Rápido, ...}. </li></ul>
  19. 19. ... <ul><li>La regla sintáctica G para generar los nombres (o las etiquetas) de los elementos en T(velocidad) es completamente intuitiva. </li></ul><ul><li>La regla semántica M puede ser definida como: </li></ul>
  20. 20. ... <ul><li>M(Lento) = el conjunto difuso para “una velocidad abajo cercana a 40 mph” con una función de membresía  Lento . </li></ul><ul><li>M(Moderado) = el conjunto difuso para “una velocidad cercana a 55 mph” con una función de membresía  Moderado . </li></ul>
  21. 21. ... <ul><li>M(Rápido) = el conjunto difuso para “una velocidad arriba de 70 mph” con una función de membresía  Rápido . </li></ul><ul><li>Estos términos pueden ser caracterizados por los conjuntos difusos cuyas funciones de membresía son mostradas en la siguiente figura: </li></ul>
  22. 22. Términos De La VL Velocidad Figura 3.3 Representación de la variable lingüística del ejemplo 3.3
  23. 23. Variable Lingüística <ul><li>En el anterior ejemplo, el conjunto termino solamente contiene un numero pequeño de términos, y así es en la practica la lista de términos de los elementos de T(x), la cual realiza una asociación directa entre cada elemento y su significado M . </li></ul>
  24. 24. Variable Lingüística <ul><li>Una VL x se dice que es estructurada si su conjunto termino T(x) y su regla semántica M se pueden caracterizar vía un algoritmo, de tal forma que pueden ser vistas como un procedimiento para generar los elementos T(x) y calcular el significado de cada termino T(x) . </li></ul>
  25. 25. 3.1.2 Hedges Lingüísticos <ul><li>Con el concepto de variable lingüística, se puede tomar palabras como valores de variables (lingüísticas). En la vida diaria, frecuentemente se utiliza más de una palabra para describir una variable. Por ejemplo: si se tiene la velocidad de un carro como una variable lingüística, entonces sus valores deberían ser “no lenta”, “muy lenta”, escasamente rápida”, más o menos media”, etc. </li></ul>
  26. 26. <ul><li>En general, el valor de una variable lingüística es un término compuesto x = x 1 x 2 ...x n lo cual es un a concatenación de un término atómico x 1 , x 2 , ..., x n . Este término atómico puede ser clasificado en tres grupos: </li></ul><ul><ul><ul><li>Términos Primarios, los cuales son etiquetas de conjuntos difusos, en el ejemplo 3.1 eran “baja”, “media” y “rápida”. </li></ul></ul></ul><ul><ul><ul><li>Complemento “no” y las conectivas “y” y “o”. </li></ul></ul></ul><ul><ul><ul><li>Hedges, tales como “very”, “slightly”, “more or less”, etc. </li></ul></ul></ul>
  27. 27. Modificadores Lingüísticos ( hL) <ul><li>Por lo tanto, hL es un operador para modificar el significado de un conjunto difuso A para crear un nuevo conjunto difuso h(A) . </li></ul><ul><li>Ejemplo: </li></ul><ul><li>“ Muy Joven”, “Muy” es un hL . </li></ul>
  28. 28. Operaciones en Conjuntos Difusos <ul><li>Las siguientes operaciones en conjuntos difusos son utilizadas en la definición de un hL : Concentración: CON(A); si A es un conjunto difuso en U, entonces very A se define como un conjunto difuso en U con la función de membresía: </li></ul>
  29. 29. Operaciones en Conjuntos Difusos <ul><li>Y “more or less A” es un conjunto difuso en U con la función de membresía: </li></ul><ul><li>Dilatación: DIL(A) </li></ul>
  30. 30. Ejemplo 3.4 <ul><li>Si U = {1, 2, ..., 5} y el conjunto difuso “pequeño” se define como: </li></ul><ul><ul><ul><li>Pequeño =1/1 +0.8/2 + 0.6/3 +0.4/4 + 0.2/5 </li></ul></ul></ul><ul><li>Entonces utilizando las Ecs. (3.1) y (3.2) se tiene que: </li></ul><ul><ul><ul><li>Muy pequeña = 1/1 +0.64/2 + 0.36/3 + 0.16/4 + 0.04/5 </li></ul></ul></ul><ul><ul><ul><li>Muy muy pequeña = 1/1 + 0.4096/2 + 0.1296/3 + 0.0256/4 + 0.0016/5 </li></ul></ul></ul><ul><ul><ul><li>Más o menos pequeña = 1/1 + 0.8944/2 + 0.7746/3 + 0.6325/4 + 0.4472/5 </li></ul></ul></ul>
  31. 31. Operaciones en Conjuntos Difusos <ul><li>Otras operaciones son: </li></ul><ul><ul><ul><li>Intensificación: INT(A) </li></ul></ul></ul>
  32. 32. Algunos hL <ul><li>VERY(A) = CON(A) = A 2 , </li></ul><ul><li>HIGHLY(A) = A 3 , </li></ul><ul><li>FAIRLY (MORE OR LESS) = DIL(A) = A 1/2 , </li></ul><ul><li>ROUGHLY(A) = DIL[DIL(A)], </li></ul><ul><li>PLUS(A) = A 1.25 , </li></ul><ul><li>MINUS(A) = A 0.75 , </li></ul>
  33. 33. Algunos hL <ul><li>RATHER(A) = INT[CON(A)] AND NOT[CON(A)], </li></ul><ul><li>SLIGHTLY(A) = INT[PLUS(A) AND NOT VERY(A)], </li></ul><ul><li>SORT OF(A) = INT[DIL(A)] AND INT[DIL(NOT(A))], </li></ul><ul><li>PRETTY(A) = INT(A) AND NOT[INT(CON(A))], </li></ul>
  34. 34. <ul><li>Los conjuntos difusos resultantes deberían ser normalizados si el modificador ( hL ) no es igual a 1. </li></ul>
  35. 35. Figura 3.4 Efectos de los modificadores sobre el conjunto difuso “TALL”
  36. 36. Modificadores Lingüísticos <ul><li>Con la ayuda de los hL , se puede definir un conjunto término de una VL, por ejemplo: </li></ul><ul><li>T(edad) = {Viejo, MUY Viejo, MUY MUY Viejo,...}, </li></ul><ul><li>En el cual a “Viejo” se le conoce como Término Primario </li></ul>
  37. 37. <ul><li>Y la regla sintáctica correspondiente G , la cual puede generar recursivamente el conjunto término T(edad) , puede ser el siguiente algoritmo recursivo: </li></ul><ul><li>T i+1 = {Viejo}  {MUY T i }, i=0, 1, 2,..., </li></ul><ul><li>Donde T 0 =  , Por ejemplo, for i= 0,1,2,3 se tienen: </li></ul><ul><li>T 0 =  , </li></ul><ul><li>T 1 = {Viejo}, </li></ul><ul><li>T 2 = {Viejo, MUY Viejo}, </li></ul><ul><li>T 3 = {Viejo, MUY Viejo, MUY MUY Viejo}. </li></ul>
  38. 38. <ul><li>Además, la regla semántica M que puede asociar a cada T i un significado puede ser el siguiente algoritmo recursivo: </li></ul><ul><li>M(T i+1 ) = M(T i )  Viejo i +1 , i=1,2,3,... </li></ul><ul><li>Considerando las dos expresiones anteriores, “Edad” se considera una variable lingüística estructurada . </li></ul>
  39. 39. Ejemplo : Variables Lingüísticas Y Valores Lingüísticos. <ul><li>Si edad es interpretada como una variable lingüística, entonces su conjunto término T(edad) puede ser: </li></ul>
  40. 40. <ul><li>Donde cada termino en T(edad) se caracteriza por un conjunto difuso de un universo de discurso X = [0, 100], como se muestra en la siguiente Fig. </li></ul>
  41. 41. <ul><li>Del ejemplo anterior, se observa que el conjunto termino consiste de varios términos primarios (joven, viejo) modificados por la negación (&quot;no&quot;) y/o los adverbios (muy, mas o menos, completamente, extremadamente, etc.), y entonces ligados por conectivas tales como “ y” , “ o” , y “ni” . </li></ul>
  42. 42. Universo De Discurso Establecimiento Del Universo De Discurso Para Las Variables Lingüísticas
  43. 43. <ul><li>Se especifica el universo de discurso para una variable de entrada y/o salida, cómo el rango de valores posibles que puede tomar la variable en cuestión para la aplicación actual. </li></ul>
  44. 44. <ul><li>Dado que el universo de discurso para cada variable debe ser trasladado a variables lingüísticas (conjuntos difusos (CD) ), se ha tratado de normalizar que el número de conjuntos difusos definido para cada variable sea un número impar, recomendando que se inicie especificando 7 conjuntos para cada variable. </li></ul>
  45. 45. <ul><li>La determinación final del número de conjuntos difusos definidos para cada variable se determina heurísticamente, pues aún cuando se conocen los efectos de tener pocos o muchos conjuntos definidos en el universo, finalmente se establecen los conjuntos definitivos observando un funcionamiento satisfactorio del sistema . </li></ul>
  46. 46. <ul><li>Se recomienda especificar una cantidad de conjuntos difusos más densa en aquellas zonas donde se requieran cambios grandes en los parámetros de salida del sistema a cambios pequeños de sus parámetros de entrada. </li></ul>
  47. 47. <ul><li>Una de las cualidades que caracterizan a los sistemas difusos es el manejo de información ambigua, esta característica la adquieren debido a la forma en que se especifican los conjuntos difusos cubriendo el universo de discurso de las variables de entrada y/o salida, por lo que la ambigüedad que puede ser admitida por el sistema depende del grado de traslape entre los conjuntos definidos. </li></ul>
  48. 48. <ul><li>Respecto del grado de traslape que deben tener dos conjuntos contiguos , se recomienda en 25% del área total al inicio del desarrollo (conjuntos simétricos) , aún cuando se sabe que el funcionamiento del sistema no es muy bueno con estos conjuntos, también se recuerda que esto no es una generalización, pues su adecuación depende del grado de precisión deseado en la respuesta del sistema. </li></ul>
  49. 49. Consideraciones para la especificación de los CD´s : <ul><li>1) Cada punto en el universo de discurso debe pertenecer al dominio de al menos una función de membresía; al mismo tiempo, debe pertenecer al dominio de no más de dos funciones de membresía. </li></ul><ul><li>2) Ningún par de funciones de membresía deben tener el mismo punto de máxima membresía. </li></ul>
  50. 50. C consideraciones para la especificación de los CD´s : <ul><li>3) Cuando dos funciones de membresía se traslapan, la suma de los grados de membresía para cualquier punto en el traslape debe ser menor o igual a uno. </li></ul><ul><li>4) Cuando dos funciones de membresía se traslapan, el traslape no debe cruzar el punto de máxima membresía de cualquier función de membresía. </li></ul>
  51. 51. <ul><li>Durante la especificación de los conjuntos difusos que cubren los extremos inferior (función Z) y superior (función S) del universo de discurso considerado, es de gran importancia que se hagan de una manera adecuada, ya que estas funciones son muy importantes para la estabilidad del funcionamiento del sistema, pues evalúan las situaciones extremas consideradas para el establecimiento del universo de discurso . </li></ul>
  52. 52. 3.1. 3 Fundamentos de Reglas Difusas. 3.1. 4 Dos Tipos de Reglas Difusas. 3.1 Variable Lingüística y Reglas Difusas If-Then Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
  53. 53. 3.1. 3 Fundamentos de Reglas Difusas. <ul><li>Una regla difusa if-then es un esquema de representación de conocimiento para capturar el conocimiento (generalmente conocimiento humano) que es impreciso e inexacto por naturaleza. </li></ul><ul><li>Esto se logra al utilizar las variables lingüísticas para describir condiciones elásticas (condiciones que pueden ser satisfechas por un grado) en la parte “if” de la regla difusa. </li></ul>
  54. 54. <ul><li>La característica principal de la inferencia difusa basada en reglas es su capacidad para ejecutar inferencia bajo una combinación (matching) parcial. </li></ul><ul><li>Esto es, se calcula el grado del dato de entrada al combinar las condiciones de una regla. La Fig. 3.5 ilustra una forma de calcular el grado de combinación entre una entrada difusa A’ y una condición difusa A : </li></ul>
  55. 55. <ul><li>Figura 3.5 Proyectando una entrada difusa A’ con una condición difusa A </li></ul>µ x A’ A
  56. 56. <ul><li>El grado de combinación (matching degree) es combinado con el consecuente (la parte “then”) de una regla para formar una conclusión inferida por la regla difusa. </li></ul><ul><li>A mayor grado de combinación, más cercana la conclusión inferida al consecuente de la regla. </li></ul><ul><li>Las palabras juegan un papel importante en los sistemas basados en regla. La condición elástica y el consecuente de una regla difusa frecuentemente son descritas con palabras (etiquetas lingüísticas) cuyos significados son imprecisos. </li></ul>
  57. 57. <ul><li>Dichas palabras facilitan la extracción y la documentación del conocimiento humano en una forma fácil y explicita, especialmente los que son imprecisos por naturaleza. </li></ul><ul><li>Las “palabras” en las reglas difusas difieren de los símbolos en las reglas clásicas de la inteligencia artificial (AI) –el significado de los simbolos para una variable numérica frecuentemente es descrito utilizando intervalos, mientras que el significado de las palabras en una regla difusa es caracterizado mediante funciones de membresía que suavisan las fronteras estrictas de los intervalos. </li></ul>
  58. 58. 3.1.4 Dos Tipos de Reglas Difusas <ul><li>Existen dos tipos de reglas difusas: 1) reglas de proyección difusa , y 2) reglas de implicación difusa . </li></ul><ul><li>Una regla de proyección difusa describe una relación de proyección funcional entre las entradas y una salida utilizando términos lingüísticos, mientras una regla de implicación difusa describe una relación de implicación lógica generalizada entre dos formulas lógicas que involucran variables lingüísticas y términos lingüísticos imprecisos. </li></ul>
  59. 59. <ul><li>El fundamento de una regla de proyección difusa es una grafica difusa, mientras que la base de una regla de implicación difusa es en el sentido limitado de la lógica difusa (no general; referido a una generalización de los sistemas lógicos clásicos de dos-valores). </li></ul><ul><li>Los dos tipos de reglas difusas también están relacionados a diferentes disciplinas. </li></ul>
  60. 60. <ul><li>Las reglas de proyección difusa son relacionadas a otras técnicas de aproximación de funciones en sistemas de identificación y redes neuronales artificiales, mientras que las reglas de implicación difusa son relacionadas a la lógica clásica de dos-valores y a la lógica multivaluada. </li></ul>
  61. 61. Material Anexo a 3.1. 3 Fundamentos de Reglas Difusas. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES Lógica Difusa Y Razonamiento Aproximado
  62. 62. 3.1.4.1 Reglas de Proyección Difusa <ul><li>En muchos problemas del mundo real, se busca la relación funcional entre un conjunto de parámetros observables y uno o varios parámetros cuyos valores se desconocen. </li></ul><ul><li>Los controladores lógicos difusos utilizan reglas que aproximan una proyección (típicamente no lineal) desde el estado observado a una acción de control deseada. De hecho, la mayoría de las aplicaciones industriales de lógica difusa utilizan reglas de proyección difusa . </li></ul>
  63. 63. <ul><li>Cuando se quiere aproximar una función, una regla difusa puede aproximar un segmento pequeño de la función, la función entera es aproximada por un conjunto de reglas de proyección difusas . A la colección de reglas de proyección difusa se le conoce como modelo basado en reglas difusas o simplemente modelo difuso . </li></ul>
  64. 64. <ul><li>La diferencia principal entre las reglas difusas y las reglas no difusas para la aproximación de una función cae en sus capacidades de “razonamiento interpolativo”, el cual permite que la salida de una regla difusa multiple sea unificada para una entrada dada. El concepto de razonamiento interpolativo se puede ver como un tipo de modelado basado en particiones en sistemas de identificación. </li></ul>
  65. 65. <ul><li>Las técnicas para la aproximación de una función puede ser clasificadas en tres categorías: técnicas globales, técnicas de super-imposición, y técnicas basadas en partición. </li></ul><ul><li>La aproximación de una función basada en reglas difusas es una técnica basada en partición. Generaliza la partición clásica al permitir una subregión de traslape parcial con las subregiones vecinas. Se referirá a ésta como una partición difusa . En la región donde se traslapan las subregiones parcialmente la una con la otra, la función es aproximada utilizando un tipo de técnica de interpolación . </li></ul>
  66. 66. 3.1.4.2 Reglas de Implicación Difusas <ul><li>Las reglas de implicación difusas son una generalización de la “implicación” en lógica de dos valores. </li></ul><ul><li>La inferencia de las implicaciones difusas generaliza dos tipos de inferencia lógica utilizando las implicaciones en lógica clásica: modus ponens y modus tollens . A continuación se ilustrará brevemente estas inferencias lógicas utilizando la siguiente implicación: </li></ul>
  67. 67. <ul><ul><ul><li>IF el IQ de una persona es alto THEN la persona es inteligente. </li></ul></ul></ul><ul><li>Dada la implicación y el hecho de que “El IQ de Juan es alto”, el modus ponens posibilita el poder inferir que “Juan es inteligente”. </li></ul><ul><li>Por otro lado, si se tiene la implicación y el hecho de que “Juan no es inteligente”, el modus tollens posibilita el poder inferir que “El IQ de Juan no es alto”. </li></ul>
  68. 68. Limitaciones en la Lógica Clásica <ul><li>Si bien, en la lógica clásica se pueden ejecutar los dos tipos de inferencia mencionados, ellos están limitados en dos formas. Primero , dichas inferencias insisten en combinaciones perfectas . Si el IQ de Juan es mas o menos alto, por ejemplo, no se puede llevar a cabo la inferencia con el modus ponens de la implicación planteada debido a que “mas o menos inteligente” no es identico a “inteligente”. Sin embargo, nuestro sentido “comun de razonamiento” generalmente sugiere que se puede inferir que “Juan es mas o menos inteligente”. </li></ul>
  69. 69. <ul><li>Segundo , dichas inferencias no pueden manejar la incertidumbre . Por ejemplo, si Juan dice que su IQ es alto pero no puede presentar algún documento que avale su afirmación, se tendría algo de incertidumbre acerca de su afirmación. Sin embargo, bajo tales circunstancias, la lógica no puede razonar a cerca de la incertidumbre. </li></ul>
  70. 70. Esquema de Razonamiento de L. A. Zadeh: <ul><li>Las limitaciones que presenta la lógica clásica motivaron a L. A. Zadeh a desarrollar un esquema de razonamiento que generaliza la lógica clásica, tal que: </li></ul><ul><li>(1) se pueda dirigir o manejar el razonamiento de “sentido-común” bajo un ajuste parcial, y (2) se pueda razonar acerca del grado de certidumbre de una declaración. </li></ul>
  71. 71. <ul><li>En particular, las implicaciones lógicas son generalizadas para permitir un ajuste o combinación parcial. En el ejemplo, esto significa que se puede inferir que “Juan es algo inteligente” de “el IQ de Juan es algo alto” y la implicación difusa “IF el IQ de Juan es alto, THEN Juan es inteligente” , como se muestra a continuación: </li></ul>
  72. 72. <ul><li>Dado: El IQ de Juan es alto -> Juan es inteligente . </li></ul><ul><li>El IQ de Juan es algo alto . </li></ul><ul><li>Inferencia : Juan es algo inteligente . </li></ul><ul><li>La segunda limitación de la lógica clásica (la no habilidad de tratar con la incertidumbre) ha motivado otra extensión de la lógica clásica: la lógica multivaluada. </li></ul>
  73. 73. <ul><li>La lógica difusa difiere de la lógica multivaluada en que también maneja la primera limitación de la lógica clásica (la restricción a un ajuste perfecto). </li></ul><ul><li>La razón de que una implicación difusa pueda manejar el primer problema es que utiliza las variables lingüísticas en sus antecedentes (parte IF). </li></ul>
  74. 74. <ul><li>Consecuentemente, la declaración en el antecedente describe una condición elástica que puede ser satisfecha parcialmente. </li></ul><ul><li>En el ejemplo, “El IQ de una persona” es una variable lingüística en el antecedente, y “el IQ de una persona es alto” describe una condición elastica acerca del IQ de una persona. </li></ul>
  75. 75. <ul><li>Lo anterior posibilita a una persona con un IQ algo alto a ajustar parcialmente la condición. Obviamente, el grado para el cual la condición en una implicación difusa es ajustada influye en la inferencia que puede ser hecha de la implicación difusa. </li></ul>
  76. 76. <ul><li>Las distinciones entre las reglas de implicación difusa y las reglas de proyección difusas son sutiles, más sin embargo importante. </li></ul>
  77. 77. <ul><li>El Prof. Zadeh menciona que la lógica difusa tiene cuatro facetas principales: </li></ul><ul><li>(1) la faceta lógica, (2) la faceta de teoría de conjuntos, (3) la faceta relacional, (4) la faceta epistémico. </li></ul><ul><li>Las reglas de implicación difusa están primariamente en la faceta lógica, mientras que las reglas de proyección difusa están en la faceta relacional por que la proyección funcional es un tipo de relación. </li></ul><ul><li>Se resumen algunas de las principales diferencias entre estos dos tipos de reglas difusas en la tabla 3.1. </li></ul>
  78. 78. Tabla 3.1 Comparación de dos Tipos de reglas Difusas. Dominios continuos no-lineales Dominios con variables continuas y discretas Campos de Problemas Apropiados Diseñado como un conjunto de reglas Individualmente diseñado Diseño típico aproximado Sistemas ID, interpolación lineal, redes neuronales Lógica clásica, lógica multivaluada, (otros sistemas lógicos ampliados) Disciplinas Relacionadas Control, modelado de sistemas y procesamiento de señales Diagnósticos, realización de decisiones de alto nivel Aplicación Únicamente directa Generalización del modus ponens y modus tollens Inferencia Deseada Aproximar proyecciones funcionales Generalización de Implicaciones para el manejo de imprecisión Propósito Reglas de Proyección Difusa Reglas de Implicación Difusa
  79. 79. Material Anexo a: 3.1.4.2 Reglas de implicación difusa. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES Implicaciones difusas y el razonamiento aproximado
  80. 80. Modelos Basados en Reglas–Difusas para Aproximar una Función <ul><li>Por conveniencia se referirá a un modelo que describa una relación de proyección funcional utilizando un conjunto de reglas de proyección difusas como un modelo difuso basado-en reglas , o simplemente modelo difuso . </li></ul><ul><li>Un modelo difuso describe una proyección (función) de un conjunto de variables de entrada a un conjunto de variables de salida. </li></ul>
  81. 81. ¿Qué es un modelo difuso? <ul><li>Un modelo difuso es un modelo que se obtiene por la fusión de múltiples modelos locales que son asociados con sub-espacios difusos del espacio de entada dado. </li></ul><ul><li>Un sub-espacio difuso es una región cuya frontera permite una transición gradual desde “dentro de la región” hacia “fuera de la región”. </li></ul>
  82. 82. <ul><li>Por lo tanto, generalmente un sub-espacio difuso está parcialmente traslapado con sus vecinos sub-espacios difusos. </li></ul><ul><li>Un modelo difuso contiene un conjunto de sub-espacios difusos que forman una descomposición difusa (también llamada partición difusa ) del espacio de entrada. </li></ul>
  83. 83. <ul><li>El resultado de la fusión de múltiples modelos difusos generalmente es una conclusión difusa, la cual es convertida a una salida crisp final a través de un proceso de defusificación. </li></ul><ul><li>Por todo lo anterior, los cuatro conceptos principales en los modelos difusos basados en reglas son: (1) Partición difusa, (2) proyección de sub-regiones difusas a modelos locales, (3) fusión de múltiples modelos locales, (4) defusificación. </li></ul>
  84. 84. Material Anexo a: Modelos Basados en Reglas–Difusas para Aproximar una Función Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES ESTRUCTURA BÁSICA Y OPERACIÓN DE LOS SISTEMAS DE CONTROL LÓGICOS DIFUSOS
  85. 85. (1) Partición Difusa <ul><li>Una partición clásica de un espacio es una colección de sub-espacios separados cuya unión es el espacio entero. </li></ul>Figura 3.6 Ejemplo de Partición Clásica X 2 X 1 I 1 I 3 I 2 I 4 J 1 J 2 J 3 A 11 A 12 A 21 A 31 A 22 A 32 A 42 A 41 A 13 A 23 A 33 A 43
  86. 86. <ul><li>En la Fig. 3.6 se ejemplifica la partición clásica para un espacio de entrada, el cual toma en cuanta dos variables X 1 y X 2 . </li></ul><ul><li>La partición se construye al dividir primeramente el eje X 1 en cuatro intervalos, y después el rango X 2 en tres intervalos. En cada par de intervalos I k y J l se especifica un sub-espacio A kl que puede ser descrito como: X 1 ε I k y X 2 ε J l . </li></ul>
  87. 87. <ul><li>Una partición difusa generaliza la partición clásica de tal forma que la transición entre un sub-espacio y otro vecino es suave. </li></ul><ul><li>Como se vera después, esta generalización posibilita lo que se conoce como: el razonamiento interpolativo en los modelos difusos. </li></ul>
  88. 88. <ul><li>La Fig. 3.7 muestra una partición difusa para un sistema que controla el contraste de una TV basada en dos entradas: (1) la distancia entre la persona y la TV, y (2) la iluminación en el cuarto. </li></ul><ul><li>La distancia entre la persona y la TV se denota por d , y es clasificada por tres conjuntos difusos: cerca, medio , y lejos . </li></ul><ul><li>La brillantes en el cuarto se denota por b , y es clasificada por dos conjunto difusos: claro y oscuro . </li></ul>
  89. 89. <ul><li>La partición difusa del espacio de entrada completo está formado por seis sub-regiones difusas especificadas por parejas de conjuntos difusos, (una para cada variable). La Fig. 3.7 muestra dos de las seis sub-regiones difusas: </li></ul><ul><ul><ul><li>d es medio y b es oscuro. </li></ul></ul></ul><ul><ul><ul><li>d es lejos y b es oscuro. </li></ul></ul></ul>
  90. 90. <ul><li>Figura 3.7 Ejemplo de Partición difusa </li></ul>Cerca Medio Lejos Claro Oscuro Membresía Iluminación o Brillantes del cuarto (b) Distancia entre la persona y la TV (d)
  91. 91. <ul><li>Una partición difusa de un espacio es una colección de sub-espacios difusos cuyas fronteras están parcialmente traslapadas y cuya unión es el espacio entero. </li></ul><ul><li>Aun que existen diferentes operadores para escoger y realizar la operación de unión en conjuntos difusos, el que es más factible para definir la partición difusa es el operador de adición. </li></ul><ul><li>Así es que, se puede formalmente definir la partición difusa de espacios S como una colección de sub-espacios difusos A i de S que satisface la siguiente condición: </li></ul>
  92. 92. <ul><li>Esto es, para cualquier elemento de un espacio, su grado de membresía en todo el sub-espacio siempre tendera a 1. </li></ul><ul><li>Asumiendo que se utiliza el operador aditivo para calcular la unión, es fácil mostrar que la condición de la Ec. (3.5) es equivalente a: </li></ul>
  93. 93. <ul><li>Aun que muchos sistemas difusos desarrollados en el mundo real satisfacen la Ec. (3.5), no todos los investigadores en la comunidad de la lógica difusa adoptan dicha definición para la partición difusa. </li></ul><ul><li>Una definición más simple de la partición difusa es la que reemplaza la condición suma-a-uno de la Ec. (3.5), con la condición de que el grado de membresía en todo el subespacio sumará un número más grande que 0, pero no que 1. </li></ul>
  94. 94. <ul><li>Se llamará una colección de subconjuntos difusos A i de S a una colección difusa débil de S si y solo si satisface la siguiente condición: </li></ul><ul><li>La condición “más grande que 0” requiere que cada elemento en el espacio S sea cubierto por al menos un subespacio difuso en lo particular. </li></ul>
  95. 95. <ul><li>Intuitivamente, esto significa que una partición difusa no deja ningún “hueco” . </li></ul><ul><li>La condición “suma a 1” de una partición difusa puede ser relajada a la condición “suma menor o igual a 1” debido a que el razonamiento interpolativo de un modelo difuso incluye un paso de normalización. </li></ul><ul><li>Es obvio que una partición difusa siempre es una partición difusa débil, pero no viceversa. </li></ul>
  96. 96. NOTA: <ul><li>Al generalizar la capacidad de razonamiento interpolativo en la lógica difusa se utiliza tanto la “distancia” como el “grado de membresía” (en vez de utilizar solo “el grado de membresía”), los investigadores en lógica difusa han generalizado la notación de la “partición difusa” al quitar la condición “más grande que 0”, por ejemplo: </li></ul>
  97. 97. <ul><li>Esto es porque aun si un elemento x no es cubierto por cualquier subespacio difuso, el razonamiento interpolativo basado en distancia todavía puede ser ejecutado en x al utilizar subespacios en la partición difusa que sean cercanos a x . </li></ul><ul><li>Sin embargo, el término “partición difusa”, puede no ser apropiado para describir tales conjunto de un subespacio difuso porque su analogía con la notación convencional de “partición” es muy debil. </li></ul><ul><li>Un término más apropiado puede ser “casos difusos” o “parches difusos”. </li></ul>
  98. 98. <ul><li>Es importante enfatizar que “partición difusa” y “razonamiento interpolativo” son como las dos caras de una moneda. </li></ul><ul><li>Al extender una generalmente se extiende la otra. Las dos juntas hacen posible para la lógica difusa aprovechar el compromiso entre el costo y la precisión. </li></ul>
  99. 99. (2) Proyección de un Subespacio Difuso a un Modelo Local <ul><li>Un modelo local para un subespacio del espacio de entrada total describe la relación de proyección entre las entrada y las salidas del sistema en el subespacio pequeño. </li></ul><ul><li>Un modelo global para un espacio de entrada describe la relación entrada-salida del sistema para el espacio de entrada total. </li></ul>
  100. 100. <ul><li>Ya que la amplitud del modelo local es menor que el de un modelo global, generalmente es más fácil desarrollar un modelo local. En particular, un modelo global no-lineal (cuya función de proyección entrada-salida no es lineal) frecuentemente puede ser aproximado por un conjunto de modelos locales lineales. </li></ul>
  101. 101. <ul><li>Esto puede ser entendido al recordar la técnica de aproximación llamada “aproximación lineal piecewise”, la cual aproxima una función no-lineal arbitraria utilizando segmentos de lineas. </li></ul><ul><li>Un ejemplo de tal técnica de aproximación es mostrado en la Fig. 3.8, donde la línea punteada indica la función que es aproximada. </li></ul>
  102. 102. <ul><li>Figura 3.8 Ejemplo de la aproximación lineal Piecewise </li></ul>x y
  103. 103. <ul><li>La aproximación lineal Piecewise tiene dos componentes principales: </li></ul><ul><ul><ul><li>1.- Particionando el espacio de entrada a las regiones crisp, </li></ul></ul></ul><ul><ul><ul><li>2.- Proyectando cada región particionada a un modelo local lineal. </li></ul></ul></ul><ul><li>La diferencia principal entre el modelado difuso y la aproximación lineal piecewise es que la transición de una subregión local a un vecindario es gradual más que abrupta. </li></ul>
  104. 104. <ul><li>Generalmente, la proyección de un subespacio difuso a un modelo lineal es representado como una regla difusa if-then en la forma de </li></ul><ul><ul><ul><li>denotan el vector de variables de entrada y una variable de salida respectivamente, </li></ul></ul></ul><ul><ul><ul><li>FS i y LM i denotan el ith subespacio difuso y el modelo local correspondiente, respectivamente. </li></ul></ul></ul><ul><ul><ul><li>En general, el modelo local está en función de las variables de entrada, aun que pueden ser constantes. </li></ul></ul></ul>
  105. 105. <ul><li>Ya que las reglas de proyección difusas describen una relación funcional entre entrada y salida, dos reglas que asocian la misma subregión difusa a dos modelos locales diferentes se dice que son inconsistentes . </li></ul><ul><li>Por ejemplo, las dos reglas siguientes son inconsistentes debido a que ellas asocian a dos modelos locales diferentes a un subespacio difuso (ejemplo: x es pequeño). </li></ul><ul><ul><ul><li>IF x es Pequeña THEN y es Grande </li></ul></ul></ul><ul><ul><ul><li>IF x es Pequeña THEN y es Pequeño. </li></ul></ul></ul>
  106. 106. <ul><li>El modelo local asociado con cada subespacio difuso puede ser de cuatro tipos diferentes (1) una constante crisp, (2) una constante difusa, (3) un modelo lineal, o (4) un modelo no-lineal. </li></ul><ul><li>La que se utiliza con más frecuencia entre las aplicaciones de la lógica difusa es el segundo tipo: la constante difusa. </li></ul>
  107. 107. <ul><li>1.- Constante Crisp: Este tipo de modelo local simplemente es una constante crisp (ejemplo: 4.5): </li></ul><ul><ul><ul><li>IF x 2 es pequeña THEN y = 4.5 </li></ul></ul></ul><ul><li>2.- Constante Difusa: el modelo local que es una constante difusa (ejemplo: PEQUEÑA) pertenece a este tipo. Por ejemplo: </li></ul><ul><ul><ul><li>IF x es Pequeña THEN y es Medio. </li></ul></ul></ul>
  108. 108. <ul><li>3.- Modelo Lineal: Este tipo de modelo local describe la salida como una función lineal de las variables de entrada, tal como en la siguiente regla: </li></ul><ul><ul><ul><li>IF x es pequeña AND x 2 es grande THEN </li></ul></ul></ul><ul><ul><ul><li> y = 2x 1 + 5x 2 + 3. </li></ul></ul></ul><ul><li>4.- Modelo no lineal: Teóricamente hablando, un modelo local puede ser más complejo que un modelo lineal. Sin embargo, en la práctica rara vez existe esto. Un modelo difuso que fusiona modelos locales de los tres primeros tipos con frecuencia es suficiente para aproximar un sistema complejo desconocido. Los modelos locales no lineales han sido introducidos en un sistema híbrido neuro-difuso que utiliza redes-neuronales para representar modelos locales no lineales asociados con reglas. </li></ul>
  109. 109. (3) Fusión de Modelos Locales a través del Razonamiento Interpolativo <ul><li>Los modelos difusos usan razonamiento interpolativo para fusionar varios modelos locales en un modelo global. La idea básica atrás de un razonamiento interpolativo es análoga a la obtención de una conclusión de un panel de expertos, donde cada uno es un especialista en una sub-área del problema entero. </li></ul>
  110. 110. <ul><li>Cada opinión de los experto es asociada con una ponderación, la cual refleja el grado para el cual la situación tratada en ese momento está en la subárea de especialización del experto. </li></ul><ul><li>Esas opiniones ponderadas entonces son combinadas para formar una opinión completa. </li></ul>
  111. 111. <ul><li>En ésta analogía, un experto corresponde a una regla difusa if-then, la subárea de especialización del experto corresponde al sub-espacio difuso asociado con la parte-if de la regla. </li></ul><ul><li>La ponderación de la opinión del experto es determinada por el grado para el cual la situación tratada en ese momento pertenece al sub-espacio. </li></ul>
  112. 112. (4) Defusificación <ul><li>Se puede interpretar una distribución de posibilidad a través de una aproximación lingüística , o a través de la defusificación . </li></ul><ul><li>La primera opción entrega una interpretación cualitativa, mientras la segunda entrega un resumen cuantitativo y más comúnmente utilizada en control lógico difuso y muchas otras aplicaciones industriales. </li></ul>
  113. 113. <ul><li>Dada una distribución de posibilidad de la salida de un modelo difuso, la defusificación tiende a seleccionar un valor representativo que capture el significado esencial de la distribución dada. </li></ul><ul><li>Existe dos técnicas de defusificación comunes: el promedio de los máximos (MOM) y el centro de área (COA). </li></ul>
  114. 114. MOM: <ul><li>Donde P es el conjunto de calores de salida y con el grado de posibilidad más alto en A, </li></ul><ul><li>Si P es un intervalo, el resultado de la defusificación MOM es obviamente el punto medio en dicho intervalo. </li></ul>
  115. 115. COA: <ul><li>Si x es discreto, el resultado de la defusificación de A es: </li></ul>
  116. 116. El Método de Height <ul><li>Este método se puede visualizar en dos pasos. Primero, se convierte la función de membresía del consecuente C i en consecuentes crisp y = c i donde C i es el centro de gravedad de C i . La defusificación por centroide entonces es aplicada a las reglas con consecuente crisp, lo cual dad la siguiente formula: </li></ul>
  117. 117. <ul><li>Donde w i es el grado para el cual la ith regla ajusta mejor a los datos de entrada. </li></ul><ul><li>El beneficio principal del método de height es su simplicidad. </li></ul><ul><li>El calculo de C i puede ser ejecutado durante la compilación. Consecuentemente, el único calculo que se requiere durante el tiempo de corrida es una suma de ponderaciones normalizada. Lo anterior no solo reduce el costo computacional requerido por las dos técnicas de defusificación anteriores sino que también facilita la aplicación de aprendizaje de redes neuronales a sistemas difusos. </li></ul>
  118. 118. <ul><li>Por lo tanto, muchos modelos neuro-difusos bien conocidos utilizan este tipo de método de defusificación. </li></ul><ul><li>La principal desventaja de este método es que no esta bien justificado y frecuentemente es considerado una aproximación de la defusificación por centroide. </li></ul>
  119. 119. 3.1.5 Fundamentos Teóricos de Reglas de Proyección Difusa Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
  120. 120. 3.1.5.1 Representación Matemática de las reglas de proyección difusas <ul><li>Una regla de proyección difusa impone una restricción elástica en las asociaciones posibles entre las variables de entrada y salida. </li></ul><ul><li>La restricción es elástica debido a que una reglas difusa puede describir asociaciones entrada-salida que son algo posibles (el área gris entre la posibilidad total y la imposibilidad total) </li></ul>
  121. 121. <ul><li>El grado de posibilidad de una asociación entrada-salida impuesta por una regla R puede ser expresada como una distribución de posibilidad, denotada por Π R . </li></ul><ul><li>Debido a que una relación difusa es una forma general de describir una distribución de posibilidad, es natural utilizarla para representar la distribución de posibilidad impuesta por una regla difusa. </li></ul>
  122. 122. <ul><li>Aun que esta idea parece buena, se debería responder a la siguiente pregunta: ¿ Como se construye la relación difusa que representa a las reglas de proyección difusa? La respuesta es: Utilizando el concepto de producto Cartesiano. </li></ul><ul><li>Una regla de proyección difusa es representada matemáticamente como una relación difusa formada por el producto Cartesiano de las variables referidas a la parte if de la regla y a la parte then de la regla. </li></ul>
  123. 123. <ul><li>Por ejemplo, la regla de proyección: </li></ul><ul><ul><ul><li>IF x es A, THEN y es B </li></ul></ul></ul><ul><li>Se refiere matemáticamente como una relación difusa R definida como </li></ul><ul><li>Si se utiliza el operador min para el producto Cartesiano, la relación difusa R se convierte en: </li></ul>
  124. 124. <ul><li>La función de membresía bi-dimencional de una relación difusa construida de esta manera se muestra en la Fig. 3.9 </li></ul>Figura 3.9 Relación Difusa Formada por una regla de Proyección Difusa
  125. 125. Ejemplo 3.1 <ul><li>Si se considera la siguiente regla de proyección difusa de X a Y donde X={2,3,4,5,6,7,8,9} y Y={1,2,3,4,5,6}: </li></ul><ul><ul><ul><li>IF x es Mediano , THEN y es Pequeña </li></ul></ul></ul><ul><li>Donde Mediano y Pequeño son subconjuntos difusos de X y Y caracterizados por las siguientes funciones de membresía: </li></ul><ul><li>Mediano  0.1/2+0.3/3+0.7/4+1/5+1/6+0.7/7+0.5/8+0.2/9 </li></ul><ul><li>Pequeño  1/1+1/2+0.9/3+0.6/4+0.3/5+0.1/6 </li></ul>
  126. 126. <ul><li>La relación difusa R que representa a la regla es el producto Cartesiano de Mediano y pequeño. </li></ul><ul><li>Si se utiliza el operador min para construir el producto Cartesiano, se tiene: </li></ul><ul><li>El resultado de la relación difusa que representa a la regla es: </li></ul>
  127. 128. 3.1.5.2 El Fundamento de los Modelos Difusos Basados en Reglas: La Gráfica Difusa <ul><li>El fundamento teórico de las reglas de proyección difusa es una grafica difusa y una regla composicional de inferencia, las cuales fueron introducidas en la unidad 2. </li></ul><ul><li>Una gráfica difusa puede ser descrita convenientemente por una regla difusa en la forma de </li></ul><ul><ul><ul><li>IF x es A THEN y es B. </li></ul></ul></ul>
  128. 129. <ul><li>Tal declaración (o regla), como lo puntualizó Zadeh, generaliza la relación de dependencia entre las variables en una lookup table tal que: </li></ul><ul><li>IF x es 5 THEN y es 10 </li></ul><ul><li>IF x es 10 THEN y es 14. </li></ul><ul><li>Un conjunto de tales dependencias forma una proyección funcional de x a y . Generalizando estas proyecciones punto-a-punto a una proyección de conjuntos difusos a conjuntos difusos, se introducen dos beneficios: (1) se pueden reducir el número total de reglas punto-a-punto requeridas para aproximar una función. (2) Utilizando palabras en las reglas difusas se hace más fácil la captura, el entendimiento y comunicar el conocimiento humano fundamental. </li></ul>
  129. 130. <ul><li>Si f* es una gráfica difusa descrita por un conjunto de reglas de proyección difusa de la forma: </li></ul><ul><li>IF x es A i then y es B i . </li></ul><ul><li>La gráfica difusa puede ser expresada matemáticamente como: </li></ul>
  130. 131. <ul><li>La inferencia (ejemplo, razonamiento interpolativo) de tal modelo difuso basado en reglas está basado en la regla composicional de inferencia , la cual fue introducida en la unidad 2. </li></ul><ul><li>El efecto neto es una distribución de posibilidad sobre el dominio de la definición de la variable de salida. </li></ul>
  131. 132. <ul><li>En particular, </li></ul><ul><ul><ul><li>B’ = A’ ◦ f* (3.15) </li></ul></ul></ul><ul><li>Donde f* representa la gráfica difusa de un modelo difuso dado , A’ es una entrada la cual puede ser difusa o crisp, y B’ es el valor de salida inferido antes de la defusificación. </li></ul><ul><li>Utilizando la definición de una regla composicional de inferencia, se puede expresar esto como: </li></ul>
  132. 133. Donde X y Y son los universos de discurso de x y y, respectivamente, y Ā’ denota la extension cylindrical de A’ a XxY .
  133. 134. Ejemplo 3.5 <ul><li>Se tiene la siguiente regla: </li></ul><ul><li>IF x es Mediano THEN y es Pequeño </li></ul><ul><li>y el dato de entrada </li></ul><ul><li>x es Pequeño </li></ul><ul><li>donde Pequeño para x es definido como </li></ul><ul><li>Pequeño  1/1+0.9/2+0.6/3+0.3/4+0.1/5 </li></ul>
  134. 135. <ul><li>Para encontrar los valores posibles de y , se realiza la composición de los valores posibles de x con la relación difusa R en la Ec. (3.13) utilizando la composición sup-min: </li></ul><ul><li>Por lo tanto, el resultado de la inferencia es: </li></ul><ul><li>y = 0.6/2+0.6/3+0.6/4+0.6/5+0.3/6+0.1/7 </li></ul>
  135. 136. <ul><li>En el ejemplo 3.5, se consideró solamente una regla. Sin embargo, un modelo difuso para aproximar una función generalmente está formado por un conjunto de reglas de proyección difusas. En tal caso, la relación difusa de todo el modelo (denotado FM, fuzzy model) es construida al formar una unión de relaciones difusas de reglas individuales: 1 </li></ul>1 Ya que estas reglas de proyección difusas tienen las mismas variables antecedentes y las mismas variables consecuentes, sus relaciones difusas R 1 , R 2 ,…, R n son definidas en el mismo espacio.
  136. 137. <ul><li>Entonces se aplica la regla composicional de inferencia a la entrada del modelo y la relación difusa que representa el modelo para obtener la salida del modelo. </li></ul><ul><li>Existen diferentes tipos de modelos difusos, los cuales varían por los operadores de la composición seleccionados y por los operadores de disyunción (unión) difusa utilizados al combinar múltiples reglas. </li></ul>
  137. 138. 3.1.6 Tipos de Modelos Difusos Basados en Reglas Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
  138. 139. 3.1.6 Tipos de Modelos Difusos Basados en Reglas <ul><li>Existen tres tipos de modelos difusos basados en reglas para aproximar una función: (1) el modelos de Mamdani, (2) El modelo de Takagi-Sugeno-Kang (TSK), y (3) el modelo aditivo de Kosko (SAM). </li></ul><ul><li>El esquema (proyecto) de inferencia de SAM es similar al modelo TSK. Ambos utilizan una inferencia semejante a la suma ponderada para agregar la conclusión de múltiples reglas en una conclusión final. Por lo anterior, se referirá a estos modelos de reglas como modelos de reglas aditivas . </li></ul>
  139. 140. <ul><li>Por lo contrario, el modelo de Mamdani combina los resultados de la inferencia de reglas utilizando super-imposición, no adición. Por consiguiente, es un modelo no-aditivo. La Fig. 3.10 muestra la clasificación de estos modelos difusos basados en reglas: </li></ul>
  140. 141. <ul><li>Figura 3.10 Clasificación de Modelos Difusos Basado en Regla para Aproximar una Función </li></ul>Modelos de Reglas No-Aditivas Modelos de Reglas Aditivos Modelos Difusos Basados en Reglas Modelo de Mamdani Modelo TSK SAM
  141. 142. <ul><li>El primer modelo desarrollado fue el modelo de Mamdani (E. H. Mamdani), quien desarrollo el primer controlador lógico difuso utilizando el modelo. La mayoría de los sistemas de control desarrollados en los 80’s utilizan el modelo de Mamdani. </li></ul>
  142. 143. <ul><li>El modelo Takagi-Sugeno-Kang (TSK) fue presentado por primera vez por T. Takagi y Prof. M. Sugeno en 1985. Otro estudiante de Sugeno, K. T. Kang continuo trabajando en las aplicaciones e identificación del modelo. El modelo TSK fue más utilizado en los 90’s por la comunidad de investigadores y la industria. Una de las principales ventajas del modelo TSK es que puede aproximar una función utilizando pocas reglas. </li></ul>
  143. 144. <ul><li>El modelo de Mamdani y el SAM utilizan reglas en las que la parte del consecuente es un conjunto difuso: </li></ul><ul><ul><ul><li>R i : If x 1 es A i1 y x 2 es A i2 y … y x s es A is </li></ul></ul></ul><ul><ul><ul><li>Then y es C i , i=1, 2, 3, …, M (3.19) </li></ul></ul></ul>donde M es el número de reglas difusas, x j  U j (j=1, 2, 3, …,s) son las variables de entrada. y  V es la variable de salida, y A ij y C i son los conjuntos difusos caracterizados por funciones de membresía  Aij (x j ) y  Ci (y), respectivamente.
  144. 145. <ul><li>Estos dos modelos difusos basados en reglas difieren en sus esquemas de inferencia. El modelo TSK utiliza una regla cuya parte THEN es un modelo lineal: </li></ul><ul><ul><ul><li>R i : If x 1 es A i1 y x 2 es A i2 y … y x s es A is </li></ul></ul></ul><ul><ul><ul><li>Then y es f i (x 1 , x 2 , …, x s ), i=1, 2,…, M </li></ul></ul></ul><ul><li>donde f i es una función lineal. </li></ul>
  145. 146. 3.1.7 Modelo Mamdani <ul><li>Este modelo consiste de la siguiente regla lingüística que describe una proyección de U 1 x U 2 x …x U r a W . </li></ul><ul><li>R i : IF x 1 es A i1 y … y x r es A ir THEN y es C i </li></ul><ul><li>donde x j (j=1,2, …,r) son las variables de entrada, y es la variable de salida, y A ij y C i son conjuntos difusos para x j y y respectivamente. </li></ul>
  146. 147. <ul><li>Las entradas son de la forma: </li></ul><ul><li>x 1 es A’ 1 , x 2 es A’ 2 ,…, x r es A’ r </li></ul><ul><li>donde A’ 1 , A’ 2 ,…, A’ r son subconjuntos difusos de U 1 , U 2 ,U r (ejemplo, números difusos), la contribución de la regla R i a una salida del modelo de Mamdani es un conjunto difuso cuya función de membresía es calculada por: </li></ul>
  147. 148. <ul><li>donde α i es el grado de matching (combinación o ser igual a) (ejemplo, fuerza de disparo) de la regla R i , y donde α ij es el grado de igualdad entre x j y la condición R i acerca de x j . </li></ul>
  148. 149. <ul><li>y  denota el operador “min”. Esto es el “método de inferencia por recorte” (unidad 2). </li></ul><ul><li>La salida final del modelo es la agregación de las salidas de todas las reglas, esto se realiza utilizando un operador “max”: </li></ul>
  149. 150. <ul><li>Nótese que la salida C es un conjunto difuso. Esta salida difusa puede ser defusificada en una salida crisp utilizando uno de las técnicas de defusificación (ver anexos de esta unidad). </li></ul>
  150. 151. 3.1.8 Modelo TSK <ul><li>El modelo TSK se presento por Takagi y por Sugeno en 1998 una década después del modelo de Mamdani. Después Sugeno y Kang también trabajaron en la identificación de este tipo de modelos difusos. </li></ul><ul><li>La principal motivación para desarrollar este modelo es reducir al número de reglas requeridas por el modelo de Mamdani, especialmente para problemas complejos y alta dimensionalidad. </li></ul>
  151. 152. <ul><li>Para lograr esta meta, el modelo TSK remplazó los conjuntos difusos en el consecuente (parte THEN) de la regla de Mamdani con una ecuación lineal de las variables de entrada. Por ejemplo un modelo TSK de dos-entradas una-salida consiste de reglas en la forma de: </li></ul><ul><li>IF x es A i y y es B j </li></ul><ul><li>THEN z=ax+by+c </li></ul><ul><li>donde a, b, c son constantes numéricas. En general, las reglas en un modelo TSK tienen la forma: </li></ul><ul><li>IF x 1 es A i1 y …y x r es A ir </li></ul><ul><li>THEN y= f i (x 1 , x 2 , …,x r )= b i0 +b i1 x 1 +…+b ir x r </li></ul>
  152. 153. <ul><li>donde f i es el modelo lineal, y b ij (j=0, 1,…, r) son los parámetros reales evaluados. </li></ul><ul><li>La inferencia ejecutada por el modelo TSK es una interpolación de todos los modelos lineales pertinentes. El grado de pertinencia de un modelo lineal es determinado por el grado para el cual el dato de entrada pertenece al subespacio difuso asociado con el modelo lineal. Estos grados de pertinencia llegan hacer el peso o ponderación en el proceso de interpolación. </li></ul>
  153. 154. <ul><li>La salida total del modelo está dada por la Ec (3.23) donde α i es el grado de matching de la regla R i , el cual es análogo al grado de matching calculado por la Ec. (3.20) del modelo de Mamdani. </li></ul>
  154. 155. <ul><li>Las entradas para un modelo TSK son números crisp (no-difusos). Por lo anterior, el grado de la entrada que iguala (matches) la ith regla típicamente es calculado utilizando el operador min: </li></ul><ul><li>Sin embargo, el operador producto también puede ser utilizado: </li></ul>
  155. 156. 3.1.9 Modelo Estándar Aditivo (SAM) <ul><li>El SAM fue presentado por B. Kosko en 1993. La estructura de las reglas difusas en SAM es idéntica al modelo de Mamdani. No obstante, existe cuatro diferencias entre los esquemas de inferencia de estos dos modelos: </li></ul><ul><ul><li>(1) SAM asume que las entradas son crisp, mientras que el modelo de Mamdani maneja tanto entradas crisp como difusas. </li></ul></ul><ul><ul><li>(2) SAM utiliza el método de inferencia por escalamiento (ver unidad 2), mientras que Mamdani utiliza el método de recorte. Como ya se ha mencionado esta diferencia es debido a los operadores de composición que son elegidos y utilizados por los dos modelos. </li></ul></ul>
  156. 157. <ul><ul><li>(3) SAM utiliza la adición para combinar las conclusiones de las reglas difusas, mientras Mamdani utiliza el max. </li></ul></ul><ul><ul><li>(4) SAM incluye la técnica de defusificación por centroide, mientras que el modelo de Mamdani no insiste en un método de defusificación específica. </li></ul></ul>
  157. 158. <ul><li>Si se tiene un modelo de dos-entradas una-salida, la generalización para un modelo con entradas arbitrarias es directa. Si se considera un modelo estándar aditivo consistente de reglas de la forma: </li></ul><ul><ul><ul><li>IF x es A i y y es B i THEN z es C i . (3.26) </li></ul></ul></ul>
  158. 159. <ul><li>Dadas las entradas crisp x = x o , y=y o , la salida del modelo 2 es: </li></ul><ul><li>donde centroid es la función que ejecuta la defusificación por centroide. La Ec. (3.27) puede ser transformada en una forma más sencilla de calcular. </li></ul>2 La forma más general del modelo SAM permite que cada regla sea asociado con una ponderación o peso.
  159. 160. Sumario <ul><li>Existen dos diferentes tipos de reglas if-then difusas: reglas de implicación difusa y reglas de proyección difusa. Las primeras son para describir una relación lógica entre dos sentencias lógicas, mientras las segundas son para describir una relación de proyección funcional entre las entradas y las salidas de un modelo. </li></ul>
  160. 161. <ul><li>El fundamento de una regla de proyección difusa es una gráfica difusa y una regla composicional de inferencia. </li></ul><ul><li>Un conjunto de reglas de proyección difusa forman un modelo difuso basado en reglas. </li></ul>
  161. 162. <ul><li>Los conceptos principal de los modelos difusos basados en reglas son: (1) partición difusa del espacio de entrada, (2) proyección de cada subregión difusa a un modelo local utilizando una regla de proyección difusa, (3) fusión de la salida de múltiples reglas a través del razonamiento interpolativo, y (4) defusificación. </li></ul>
  162. 163. <ul><li>Existen tres tipos principales de modelos difusos: Mamdani, TSK, y SAM. Las dos últimas son aditivas, mientras el primero no es aditiva. </li></ul><ul><li>La diferencia fundamental entre el modelo de Mamdani y el de SAM tiene que ver con los operadores de composición, conjunción, y disyunción seleccionados en sus razonamientos. </li></ul>
  163. 164. <ul><li>La diferencia entre el modelo TSK y el de SAM es la estructura de sus modelos locales (ejemplo, las partes THEN de las reglas). El modelo TSK utiliza un modelo local lineal, mientras que SAM utiliza una constante difusa como su modelo local de regla. </li></ul>
  164. 165. 3.2 Lógica Difusa, Implicaciones Difusas y Razonamiento Aproximado. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
  165. 166. 3.2 Lógica Difusa, Implicaciones Difusas y Razonamiento Aproximado. Unidad 3 SISTEMA DIFUSO Y SUS PROPIEDADES
  166. 167. Introducción <ul><li>Aunque se ha utilizado el término “Lógica Difusa” con frecuencia en los temas anteriores de este capítulo, se utilizó en un sentido general (refiriéndose a una colección de técnicas basadas en conjuntos difusos). En el presente tema se mostrarán algunos tópicos relacionados a “Lógica Difusa” en un sentido particular (refiriéndose a una generalización de los sistemas lógicos clásicos de dos-valores). </li></ul>
  167. 168. <ul><li>La lógica clásica ofrece una manera de ver formalmente el razonamiento. Un sistema lógico tiene dos componentes principales: (1) un lenguaje formal para estructurar las declaraciones acerca del mundo, y (2) un conjunto de mecanismos de inferencia para inferir declaraciones adicionales acerca del mundo partiendo de declaraciones ya dadas. </li></ul>
  168. 169. <ul><li>Dos de los sistemas lógicos más comúnmente utilizados (desde un punto de vista binario) son: (1) lógica proposicional, y (2) lógica de predicado de primer orden. </li></ul><ul><li>Se introducirá la lógica difusa con un énfasis en implicaciones difusas y su razonamiento. Se presentarán las implicaciones difusas por dos razones. </li></ul><ul><li>Primero, es el esquema de razonamiento más comúnmente utilizado en aplicaciones </li></ul>
  169. 170. <ul><li>de la lógica difusa (desde un sentido particular). Una importante aplicación de la implicación difusa son: los sistemas expertos. </li></ul><ul><li>Una segunda razón para trabajar con implicaciones difusas es que en si son complicadas, por el hecho de que no existe una única definición de implicación difusa. De hecho, existen tres formas principales de definir una implicación difusa, lo cual nos conduce a tres familias de implicaciones difusas. </li></ul>
  170. 171. Lógica Proposicional <ul><li>En lógica proposicional, una declaración acerca del mundo se construye por: (1) representando oraciones simples como unidades base llamadas proposiones , y (2) conectando proposiciones con los siguientes conectores para formar oraciones complejas: ¬ (not),  (and),  (or),  (implies). </li></ul>
  171. 172. <ul><li>Por ejemplo, la siguiente declaración </li></ul><ul><ul><li>If hoy es un día de la semana y la hora del día es una hora pico, then el tráfico está congestionado. </li></ul></ul><ul><li>se puede representar al definir primeramente la siguientes tres proposiciones: </li></ul>
  172. 173. <ul><li>P : hoy es un día de la semana </li></ul><ul><li>Q : la hora actual es una hora pico </li></ul><ul><li>R : el tráfico está congestionado </li></ul><ul><li>entonces al conectarlos utilizando “and” e “implication” se tiene: </li></ul><ul><li>(P  Q)  R (3.28) </li></ul>
  173. 174. <ul><li>Una declaración lógica clásica puede tener dos posibles valores de verdad: falso o verdadero. Debido a que una conectiva lógica es aplicada a una sub formula o a un par de subformula, su significado se puede definir al listar el valor de verdad de la formula resultante (compuesta) para todos los posibles valores de verdad combinados de las subformula. </li></ul>
  174. 175. <ul><li>La tabla de verdad de las conectivas mencionadas anteriormente se ilustra en la tabla 3.1. </li></ul><ul><li>Tabla 3.1 Tabla de Verdad de las Conectivas Lógicas. </li></ul>Verdadero Verdadero Verdadero Falso Verdadero Verdadero Falso Verdadero Falso Falso Falso Verdadero Verdadero Verdadero Falso Verdadero Verdadero Falso Verdadero Falso Falso Verdadero Falso Falso    ¬   
  175. 176. <ul><li>La conectiva de “implicación” es especialmente importante, debido a que es base de las reglas de implicación difusas. </li></ul><ul><li>Una implicación tiene dos partes: una premisa (la “parte if” precede a la conectiva de implicación) y una conclusión (la “parte then” que sigue a la conectiva de implicación). En la Ec. 3.28, por ejemplo, P  Q es la premisa y R es la conclusión. </li></ul>
  176. 177. <ul><li>Una implicación α  es lógicamente equivalente a ¬ α  . Esto es, una implicación es verdadera si su premisa es falsa o su conclusión es verdadera. El racionamiento de esta definición es que la implicación no debería decir nada respecto a si  es verdadera cuando la premisa es falsa (ver tabla 3.1). </li></ul>
  177. 178. <ul><li>Para encontrar el valor de verdad de  cuando α es falsa y α  es verdadera, se identifican las filas de la tabla de verdad que tienen el valor de verdad correcto asignado bajo las columnas de α y α  (primera y segunda fila). Los valores de verdad de  en esas dos filas son “Falso” y “verdadero”, respectivamente. Por lo tanto, nada se puede inferir acerca del valor de verdad de  (ejemplo, es desconocido). </li></ul>
  178. 179. <ul><li>Uno de los esquemas de inferencia más importantes en la lógica proposicional es el modus ponens. Dado que una implicación y su premisa son verdaderas, el modus ponens posibilita deducir que el consecuente es verdadero. </li></ul>
  179. 180. Por ejemplo, si hoy es un día de la semana (martes) y es una hora pico, se puede deducir que el tráfico está congestionado utilizando la implicación de la Ec. 3.28
  180. 181. Otro esquema de inferencia que involucra una implicación es el modus tolens. De una implicación y la negación de su conclusión, se puede deducir la negación de su premisa: Una de las principales limitaciones de la lógica proposicional es que no puede fácilmente describir el conocimiento que se aplica a una clase de objeto. Para hacer esto, se necesita de “el cálculo del predicado de primer –orden”.
  181. 182. Predicado de Primer-Orden <ul><li>El Cálculo del Predicado de Primer-Orden (FOPC) ofrece un lenguaje formal que es más sólido que la lógica proposicional. </li></ul><ul><li>Específicamente, el FOPC permite la utilización de variables en una declaración lógica. Una variable en FOPC se asocia con uno de los dos siguientes cuantificadores: el cuantificador universal  (“para todo”) y el cuantificador existencial  (“ahí existen”). El primero es utilizado para describir una declaración que es verdadera para TODOS los objetos posibles, mientras el segundo se utiliza para describir una declaración que es verdadera para AL MENOS UN objeto. </li></ul>
  182. 183. <ul><li>El FOPC utiliza predicados para describir oraciones simples. Un predicado representa un conjunto de objetos o una relación. Un predicado tiene un número de argumentos, los cuales pueden ser variables o constantes. Algunos ejemplos de predicados con argumentos constantes son: </li></ul><ul><li>Nativo del lugar(Juan) Juan es un Nativo, </li></ul>
  183. 184. <ul><li>Hora pico(5 pm): A las 5 de la tarde es hora pico. </li></ul><ul><li>Amistad(Pedro, Andrés): Pedro y Andrés son amigos. </li></ul><ul><li>El FOPC combina expresiones lógicas simples en una compleja, utilizando conectivas lógicas. Por ejemplo, una declaración como: “todos los nativos del lugar como todas las tradiciones nativas” pueden ser descritos en un sistema lógico llamado lógica de predicado de primer-orden como sigue: </li></ul>
  184. 185. <ul><ul><ul><li> x, y Nativo del lugar(x)  Tradiciones del lugar(y)  Como(x,y) (3.29) </li></ul></ul></ul><ul><li>donde x y y son variables; Nativo del lugar, Tradiciones del lugar, y Como son predicados. </li></ul><ul><li>Todas las reglas de inferencia en la lógica proposicional se pueden extender hacia el FOPC al encontrar las sustituciones propias de las variables utilizando un algoritmo de unificación. Por ejemplo, dados los siguientes hechos: </li></ul><ul><li>Nativo del lugar (Juan) </li></ul><ul><li>Tradiciones del lugar (Fogata). </li></ul>
  185. 186. <ul><li>Modus ponens se puede aplica a la Ec. (3.29) al sustituir las variables x y y con Juan y Fogata respectivamente, denotada como {Juan/x, Fogata/y}. </li></ul><ul><ul><li> x,y Nativo del lugar(x)  Tradiciones del lugar(y)  Como(x,y) </li></ul></ul><ul><ul><li>Nativo del lugar(Juan) </li></ul></ul><ul><ul><li>Tradición del lugar(Fogata) . </li></ul></ul><ul><ul><li>Como(Juan, Fogata)  = {Juan/x, Fogata/y} </li></ul></ul>
  186. 187. <ul><li>donde  denota una variable de sustitución. Las variables de sustitución son llamadas UNIFICADORES. Los algoritmos para encontrar estas variables de sustitución son llamados algoritmos de unificación. </li></ul><ul><li>Una de las principales limitaciones de la lógica clásica es que no puede representar y razonar fácilmente el conocimiento que es incierto. La lógica difusa ayuda a generalizar la lógica clásica para razonar bajo incertidumbre. </li></ul>
  187. 188. LÓGICA DIFUSA <ul><li>Una importante meta de la lógica difusa es que puede realizar una inferencia razonable aun cuando la condición de una regla de implicación se cumpla parcialmente. </li></ul><ul><li>La capacidad anterior se conoce como razonamiento aproximado . </li></ul><ul><li>El razonamiento aproximado en la lógica difusa se realiza por medio de dos técnicas que están relacionadas: (1) representando el significado de una regla de implicación difusa utilizando una relación difusa, y (2) obteniendo una conclusión inferida al aplicar la regla composicional de inferencia a la relación de implicación difusa. </li></ul>
  188. 189. Implicación difusa <ul><li>Sea mencionado que una regla de proyección difusa se puede representar mediante una relación difusa entre las variables del antecedente y las variables del consecuente. Similarmente, se puede representar una regla de implicación difusa utilizando una relación difusa. </li></ul>
  189. 190. <ul><li>Sin embargo, el contenido de las relaciones difusas para estos dos tipos de reglas son muy diferentes debido a la diferencia en sus semánticas. Una regla de proyección difusa describe una asociación; por lo tanto, su relación difusa se construye mediante el producto Cartesiano de su condición difusa antecedente y de su conclusión difusa consecuente. </li></ul>
  190. 191. <ul><li>Sin embargo, una regla de implicación difusa, describe una implicación lógica generalizada; por lo tanto, su relación difusa necesita ser construida de la semántica de una generalización a la implicación en la lógica de dos-valores. </li></ul>
  191. 192. <ul><li>La diferencia entre las semánticas de las reglas de proyección difusa y las reglas de implicación difusa se pueden ver desde las diferencias en sus comportamientos de inferencia. </li></ul><ul><li>Aun que estos dos tipos de reglas se comportan igual cuando sus antecedentes se cumplen, se comportan diferente cuando sus antecedentes no se cumplen. </li></ul>
  192. 193. <ul><li>Por ejemplo, suponga que x y y son dos variables enteras que toman los valores del intervalo [0, 10]. Suponga que si x está entre 1 y 3, entonces y es 7 o 8. Este conocimiento puede ser representado en al menos dos formas: (1) como una implicación lógica, y (2) una declaración condicional en el procedimiento de un lenguaje de programación (ejemplo, Visual Basic, C, etc.). Sin embargo, las dos representaciones son diferentes. </li></ul>
  193. 194. <ul><li>Si se asume que también se conoce el valor de x es 5, la representación lógica incluirá que y es desconocida (ejemplo: y puede ser cualquier entero en el intervalo [0, 10]), pero la representación procesal no hará ninguna conclusión acerca del valor de y , ya que el componente “ else ” de la declaración if-then-else se desconoce. </li></ul>
  194. 195. <ul><li>Por facilidad de comparación, se resumirán estos dos resultados diferentes como: </li></ul><ul><li>Regla de Implicación (Representación Lógica) </li></ul><ul><li>Dado: x  [1,3]  y  [7, 8] </li></ul><ul><li>x = 5 . </li></ul><ul><li>Infer: y es desconocido ( y  [0, 10]) </li></ul>
  195. 196. <ul><li>Regla de Proyección (Representación Procesal) </li></ul><ul><li>Declaración: IF x  [1,3] THEN y  [7,8] </li></ul><ul><li>Valor de la Variable: x = 5 . </li></ul><ul><li>Resultado de la Ejecución: no acción </li></ul>
  196. 197. <ul><li>Las dos representaciones corresponden a los dos tipos de reglas difusas: la representación lógica es la base de las reglas de implicación difusa , mientras que la representación procesal es la esencia de las reglas de proyección difusa. </li></ul><ul><li>Para establecer el fundamento de la representación de una implicación difusa utilizando una relación difusa, se mostrará primero como una implicación que involucra conjuntos clásicos puede ser representada como una relación de posibilidad binaria. </li></ul>
  197. 198. <ul><li>Para ver esto, primero se considerará el siguiente ejemplo: </li></ul><ul><ul><ul><li>x  {b,c,d}  y  {s,t} (3.30) </li></ul></ul></ul><ul><li>donde los universos de discurso de x y y son U = {a,b,c,d,e,f} y V = {r,s,t,u,v}, respectivamente. </li></ul><ul><li>Así una implicación de conjunto-a-conjunto en realidad especifica, un conjunto de implicaciones posibles tal como: </li></ul><ul><li>x=b ->y=s </li></ul><ul><li>x=b ->y=t </li></ul><ul><li>x=c ->y=s </li></ul>
  198. 199. <ul><li>Y un conjunto de implicaciones imposibles tal como: </li></ul><ul><li>x=b ->y=r </li></ul><ul><li>x=b ->y=r </li></ul><ul><li>x=b ->y=v </li></ul><ul><li>Además, si se conoce que el antecedente es falso, la implicación es verdad a pesar del valor de y . </li></ul>
  199. 200. <ul><li>Por lo tanto, todas las siguientes implicaciones son posibles: </li></ul><ul><li>x=a ->y=r </li></ul><ul><li>x=a ->y=s </li></ul><ul><li>. </li></ul><ul><li>x=e ->y=r </li></ul><ul><li>. </li></ul><ul><li>x=f ->y=u </li></ul><ul><li>x=f ->y=v </li></ul>
  200. 201. <ul><li>Por lo tanto, se puede representar el significado de la implicación conjunto-a-conjunto utilizando la siguiente relación de posibilidad: </li></ul>
  201. 202. <ul><li>donde una entrada en la relación R(x i , y j ) representa si: </li></ul><ul><ul><ul><li>(x = x i ) -> (y = y j ) (3.32) </li></ul></ul></ul><ul><li>es posible. </li></ul><ul><li>Se denominará a tal relación de posibilidad una relación de implicación . Como cualquier otra distribución de posibilidad, “1” significa posible, y “0” significa imposible. </li></ul>
  202. 203. <ul><li>Por ejemplo, R(a,r) es 1 debido a que el antecedente a  [b,c,d] es falso. </li></ul><ul><li>Se puede ahora puntualizar la diferencia entre la relación de posibilidad de una regla de proyección y de una regla de implicación. La diferencia se ilustra en la Fig. 3.11, para la regla “If x es A then y es B ”. </li></ul>
  203. 204. <ul><li>Figura 3.11 Vista gráfica de la relación de Posibilidad para (a) una Regla de implicación, y (b) una regla de proyección correspondiente. </li></ul>A y B x A y B x (a) (b)
  204. 205. <ul><li>Los puntos en el área sombreada son posibles (posibilidad es 1) mientras que en el área blanca no son posibles (posibilidad es 0). </li></ul><ul><li>Las áreas sombreadas corresponden a las entradas “1” en la relación de implicación de la Ec. (3.31). </li></ul>
  205. 206. <ul><li>La Fig. 3.11 hace eco a un punto que se especificó anteriormente –las reglas de implicación y las reglas de proyección difieren en como tratan la situación en la cual falla el cumplimiento de la condición-if. </li></ul><ul><li>En la Fig. 3.11 estas situaciones están en las dos regiones fuera del área rectangular correspondiente a “ x es A ”. </li></ul>
  206. 207. <ul><li>Después de discutir el significado de una implicación binaria conjunto-a-conjunto, se puede ahora considerar una implicación involucrando conjuntos difusos (ejemplo, implicación difusa). </li></ul><ul><li>(x es A) -> (y es B) (3.34) </li></ul><ul><li>donde A y B son subconjuntos difusos de U y V , respectivamente. Como en el ejemplo anterior, esta implicación también especifica la posibilidad de varias implicaciones punto-a-punto. La diferencia principal aquí es que las posibilidades no son más binarias. </li></ul>
  207. 208. <ul><li>Por lo tanto, el significado de la implicación difusa se puede representar por una relación de implicación R definida como: </li></ul><ul><li>donde  I denota la distribusión de posibilidad impuesta por la implicación. </li></ul>
  208. 209. <ul><li>En lógica difusa, esta distribución de posibilidad es construida de los valores de verdad de las implicaciones ejemplificadas obtenidas al reemplazar las variables en la implicación con los pares de sus valores posibles: </li></ul><ul><li>Donde t denota el valor de verdad de una proposición. </li></ul><ul><li>La Ec. 3.36 establece una relación importante entre implicación difusa y lógica multivaluada. </li></ul>
  209. 210. <ul><li>El valor de verdad de la implicación “ x i es A ->y j es B ” es definido en términos del valor de verdad de la proposición “ x i es A ” y el valor de verdad de la proposición “ y j es B ”. Por conveniencia, se referirá a estos valores de verdad como  i y  j , respectivamente, por ejemplo: </li></ul><ul><li>t(x i es A) =  i </li></ul><ul><li>t(y j es B) =  j </li></ul>
  210. 211. <ul><li>El valor de verdad de la implicación ( x i es A -> y j es B ) es así una función I de  i y  j . t(x i A -> Y j es B) = I(  i ,  j ) </li></ul><ul><li>Se denominará a la función I una “función implicación”. </li></ul><ul><li>No existe una definición única para la función implicación. </li></ul>
  211. 212. <ul><li>Diferentes funciones de implicación conllevan diferentes relaciones de implicación difusa. Sin embargo, todas las funciones de implicación deberían, al menos, ser consistentes con la tabla de verdad de implicación en lógica proposicional: </li></ul><ul><li>I (0,  j ) = 1 </li></ul><ul><li>I (  i , 1) = 1 </li></ul>
  212. 213. <ul><li>Varias definición de las funciones de implicación han sido desarrollados desde ambos comunidades de investigación tanto de lógica difusa como de lógica multivaluada. Sin embargo, antes de introducir dichas definiciones, se describirán varios criterios intuitivos de resultados de inferencias deseadas de implicaciones difusas. Estos criterios formarán la base para evaluar y calcular diferentes funciones de implicación difusa. </li></ul>
  213. 214. Razonamiento Aproximado <ul><li>Dada una distribución de posibilidad de la variable X y la posibilidad de implicación de X a Y, se infiere la distribución de posibilidad de Y. A continuación, se mostrará como se obtiene tal esquema de inferencia. </li></ul><ul><li>Dado: x = x i es posible AND </li></ul><ul><li>x = x i  y = y j es posible </li></ul><ul><li>______________________________ </li></ul><ul><li>Infer: Y = y j es posible </li></ul>
  214. 215. <ul><li>Mas generalmente, se tiene: </li></ul><ul><li>Dado: Π (X = x i ) = a AND </li></ul><ul><li>Π (X = x i  Y = y j ) = b </li></ul><ul><li>____________________________ </li></ul><ul><li>Infer: Π (Y = y j ) = a  b </li></ul><ul><li>donde  es un operador de conjunción difuso. </li></ul>
  215. 216. <ul><li>Cuando diferentes valores de X implican un valor idéntico de Y por ejemplo y j con grados de posibilidad variables, estas posibilidades inferidas acerca de Y = y j necesitan ser combinadas utilizando una disyunción difusa. Por lo tanto, la ecuación completa para calcular la distribución de posibilidad inferida de Y es: </li></ul><ul><li>la Ec. (3.37) es la regla composicional de inferencia. </li></ul>
  216. 217. <ul><li>Independientemente de que las reglas de implicación difusa como las de proyección difusa utilizan la regla composicional de inferencia para calcular sus inferencias resultantes, sus usos difieren en dos formas. Primero, la regla composicional de inferencia es aplicada a reglas de implicación individuales, mientras que la composición es aplicada a un conjunto de reglas de proyección difusas que aproximan una proyección funcional. </li></ul>
  217. 218. <ul><li>Segundo, la relación difusa de una regla de proyección difusa es un producto Cartesiano de los antecedentes de la regla y su parte consecuente. Sin embargo, una entrada en la relación de implicación difusa es la posibilidad de que un valor de entrada particular implique un valor de salida particular. </li></ul>
  218. 219. Criterios de Implicaciones Difusas <ul><li>Los criterios de inferencias deseadas que involucran los resultados de la implicación difusa pueden ser agrupados en seis grupos: </li></ul><ul><li>(1) El criterio Básico del Modus Ponens, </li></ul><ul><li>(2) El criterio generalizado del Modus Ponen que involucra hedges, </li></ul><ul><li>(3) El criterio mismatch, </li></ul><ul><li>(4) El criterio básico de Modus Tolens, </li></ul>
  219. 220. <ul><li>(5) El criterio generalizado de Modus Tolen que involucra hedges, </li></ul><ul><li>(6) El criterio de la Cadena de implicaciones. </li></ul><ul><li>Todos excluyendo el último criterio fueron introducidos por Fukami, Mizumoto y Tanaks (*). El último criterio fue presentado por Zadeh (**). </li></ul>(*) S. Fukuma, M. Mizumoto, and K Tamaka. “Somo considerations on fuzzy conditional inference”, Fuzzy Set and Systems, Vol. 4, pp243-273, 1980. (**) L. A. Zadeh. “On the analysis of large scale systems”. In Systems Approaches and Environment Problems, Vandenhoeck and Ruprecht, pp 233-37, 1994.
  220. 221. Criterios Intuitivos para involucrar la implicación Difusa x es A  y es B y es B x es more or less A III-2 y es more or less B x es more or less A III-1 y es B x es A’ and A’  A II-2* yY es B x es very A II-2 y es very B x es very A II-1 y es B x es A I Inferencia Dado Criterios
  221. 222. x es A  z es C y es B  z es C IX x es U (desconocida) y es B VIII x es nor (more or less A) y es not (more or less B) VII x es not (very A) y es not (very B) VI x es not A y es not B V y es V (desconocida) x es not A IV Inferencia Dado Criterios
  222. 230. Lógica Difusa Y Razonamiento Aproximado Material Anexo a 3.1. 3 Fundamentos de Reglas Difusas.
  223. 231. Lógica Difusa <ul><li>La Lógica es una base para el razonamiento . La lógica bivalente clásica trata con proposiciones las cuales pueden ser verdaderas (valor lógica 1) o falsas (valor lógico 0), lo que se conoce como valor de verdad de la proposición. </li></ul>
  224. 232. <ul><li>En general, las proposiciones son oraciones expresadas en algún lenguaje y pueden ser representadas en una forma canónica : </li></ul><ul><li>x es P, </li></ul><ul><li>x es el sujeto y P designa el predicado el cual caracteriza una propiedad del sujeto. </li></ul>
  225. 233. Operaciones Lógicas <ul><li>Las operaciones lógicas son funciones (lógicas) de dos proposiciones y son definidas vía Tablas de Verdad . </li></ul><ul><li>Si se tienen dos proposiciones A y B , las cuales pueden ser verdaderas o falsas. Entonces se pueden tener cuatro operaciones lógicas básicas que son: </li></ul>
  226. 234. <ul><li>La conjunción (  ), “ A y B ”. </li></ul><ul><li>La disyunción (  ), “ A o B ”. </li></ul><ul><li>La implicación (o condicional) (  ), “si A entonces B ”. </li></ul><ul><li>La equivalencia (o bidireccional) (  ), “ A si y solo si B ”. </li></ul>
  227. 235. Razonamiento Lógico <ul><li>El procedimiento de razonamiento es realizado a través de algunas reglas de inferencia. Algunas reglas de inferencia importantes son: </li></ul><ul><ul><ul><li>( A  ( A  B ))  B (modus ponens) </li></ul></ul></ul><ul><ul><ul><li>(  B  ( A  B ))  A (modus tollens) </li></ul></ul></ul><ul><ul><ul><li>(( A  B )  ( B  C ))  ( A  C ) (silogismo </li></ul></ul></ul><ul><ul><ul><li>hipotético) </li></ul></ul></ul>
  228. 236. <ul><li>El resultado de las proposiciones anteriores siempre es cierto no importando cuales sean los valores de verdad de las proposiciones A y B . </li></ul><ul><li>El modus ponens se utiliza para el control difuso; y el modus tollens se utiliza en sistemas expertos. </li></ul>
  229. 237. Generalidades de un sistema experto difuso <ul><li>Un sistema experto consiste de una base de conocimiento y de una maquina de inferencia. La base de conocimiento puede ser descompuesta en una base de datos y una base de reglas. </li></ul>
  230. 238. <ul><li>La importancia de los sistemas llamados &quot;sistemas expertos difusos&quot; , radica en sus habilidades de poder representar y razonar con imprecisión, lo cual es inherente a los sistemas expertos. </li></ul>
  231. 239. Base de conocimiento en la Lógica Difusa. <ul><li>Un hecho general en una base de conocimiento , especifica el valor de algún atributo para algún objeto que tenga la forma : X es A , donde X denota una variable que toma sus valores dentro de algún universo U, y A representa un conjunto difuso en U. </li></ul>
  232. 240. <ul><li>Un hecho general X es A , es transformado en una ecuación de asignación R (X) = A , lo que significa que el conjunto difuso A es considerado como una restricción difusa &quot; R (X) &quot;, sobre los valores que la variable X pueda tomar. </li></ul>
  233. 241. <ul><li>En el marco de la teoría de la posibilidad un hecho de la forma X es A , es traducido en una ecuación de asignación de posibilidad : </li></ul><ul><li>es la posibilidad de que X tome el valor u, dada la información de X es A </li></ul>
  234. 242. <ul><li>Una de las ventajas de los sistemas expertos difusos es que no es necesario un ajuste perfecto entre los antecedentes de las reglas y la información dada acerca de una de sus variables. </li></ul>
  235. 243. <ul><li>Por ejemplo, un hecho podría ser de la forma X es A’ , donde A’ es un subconjunto difuso de U y A’  A . </li></ul><ul><li>Entonces, las dos piezas de información dentro de la base de conocimiento , “X es A ” y “ Si X es A entonces Y es B ”, podrían ser ligadas por medio de una conectiva adecuada, para poder obtener información acerca de Y . </li></ul>
  236. 244. <ul><li>Es así, que a partir de esta información se pueden inferir las restricciones sobre Y , mediante su proyección en B . Esto conlleva, a los modus ponens generalizados (MPG) . </li></ul>
  237. 245. Modus Ponens Generalizado <ul><li>Los modelos matemáticos en los que se basa la inferencia difusa, provienen de la lógica proposicional, la cual es una área de la lógica tradicional que trata con las condiciones de variables lógicas que representan proposiciones y que se extienden hacia la lógica difusa, a través del uso de proposiciones que se expresan mediante un lenguaje sintético. </li></ul>
  238. 246. <ul><li>Uno de los principales objetivos de la lógica proposicional es el estudio de las reglas mediante las cuales se pueden producir nuevas variables lógicas en función de otras variables lógicas dadas. </li></ul>
  239. 247. <ul><li>Existe una regla básica de implicación difusa, comúnmente utilizada en el razonamiento aproximado, llamada modus ponens generalizados ( MPG ). </li></ul>
  240. 248. <ul><li>El modus ponens establece que, dadas dos proposiciones a y a  b llamadas premisas , donde “  “ representa a alguna función de implicación o relación difusa, el valor de verdad de la proposición b o conclusión puede ser inferido. </li></ul>
  241. 249. <ul><li>Para entender el significado del MPG, considérese una base de hechos y una base de reglas que contengan información imprecisa. Los hechos pueden ser representados de la forma “ X es A ” (donde X , representa a una variable o sujeto y A es un conjunto difuso o predicado difuso). </li></ul>
  242. 250. <ul><li>Respecto a las reglas que se utilizan más comúnmente en los sistemas de control difusos, generalmente éstas se proponen bajo el siguiente esquema: </li></ul><ul><ul><ul><li>SÍ < condición/ones >, ENTONCES <acción/es> (A.1) </li></ul></ul></ul><ul><li>En un lenguaje natural se tiene: </li></ul><ul><ul><ul><li>Si X es A, entonces Y es B (A.2) </li></ul></ul></ul><ul><li>donde: </li></ul><ul><ul><ul><li>A y B son conjuntos difusos definidos en los universos U y V (ent/sal) respectivamente. </li></ul></ul></ul>
  243. 251. <ul><li>La regla de la ecuación (A.1) es vista también como una proposición condicional canónica , la cual induce una distribución de posibilidad condicional de Y dada X , denotada por: </li></ul>
  244. 252. <ul><li>En la lógica difusa el modus ponens se formula mediante la llamada regla composicional de inferencia , la cual permite calcular la distribución de posibilidad de “ Y es B ”, dadas la distribución condicional de “ Sí X es A, entonces Y es B ” y la de “ X es A ”. </li></ul>
  245. 253. <ul><li>Esta regla equivale a la operación de composición realizada mediante: </li></ul><ul><li>La formulación más general de reglas se simboliza mediante el esquema de Modus ponens . </li></ul>
  246. 254. Lógica Difusa Y Razonamiento Aproximado Material Anexo a 3.1. 3 Fundamentos de Reglas Difusas.
  247. 255. Lógica Difusa y Razonamiento Aproximado: Proposiciones Difusas Material Anexo a 3.1.4.2 Reglas de Implicación Difusa.
  248. 256. Proposiciones Difusas <ul><li>Para proveer la capacidad del razonamiento aproximado, la lógica difusa permite la utilización de predicados difusos, modificadores de predicados difusos, cuantificadores difusos, y calificadores difusos en las proposiciones. </li></ul>
  249. 257. Predicados Difusos <ul><li>En la LD, el predicado puede ser difuso, por ejemplo: Alto, Joven, Pronto, Amigo de , </li></ul><ul><li>Por lo tanto, se puede tener una proposición como “María es Joven.” </li></ul><ul><li>La mayoría de los predicados en lenguaje natural son Difusos. </li></ul>
  250. 258. Modificadores De Predicados Difusos <ul><li>En lógica clásica el único modificador es la negación, NO. </li></ul><ul><li>En la LD además existe: VERY, RATHER, MORE OR LESS, SLIGHTLY, A LITTLE, EXTREMELY. </li></ul><ul><li>Tales modificadores se utilizan para generar los valores de una variable lingüística. </li></ul><ul><li>This house is EXTREMELY Expensive” </li></ul>
  251. 259. Cuantificadores Difusos (CD) <ul><li>En LD un CD se interpreta como un número difuso o una proporción difusa que provee una caracterización imprecisa de la cardinalidad de uno o mas conjuntos difusos o no-difusos. </li></ul><ul><li>Los CD deben ser utilizados para representar el significado de la probabilidad contenida en las proposiciones. </li></ul>
  252. 260. <ul><li>La LD permite el uso de cuantificadores difusos, como por ejemplo: Most, Many, Several, Few, Much of, Frequently, Occasionally, About Five. </li></ul><ul><li>Proposición difusa: </li></ul><ul><li>“ Many students are happy” </li></ul>
  253. 261. Calificadores Difusos (CalD) <ul><li>En la LD se tienen cuatro tipos de calificadores: </li></ul><ul><li>Calificación verdadera difusa (  ), </li></ul><ul><li>Calificación de probabilidad difusa,(  ) </li></ul><ul><li>Calificación de posibilidad difusa, (  ) </li></ul><ul><li>Calificación de usualidad difusa. “Usually (p)=Usually(Xes F)” </li></ul>
  254. 262. Lógica Difusa y Razonamiento Aproximado: Razonamiento Aproximado
  255. 263. Razonamiento Aproximado <ul><li>Como en cualquier lógica, las reglas de inferencia en la LD gobiernan la deducción de una proposición q desde un conjunto de premisas. </li></ul><ul><li>En la LD tanto las premisas como las conclusiones son proposiciones difusas. </li></ul>
  256. 264. <ul><li>Existen cuatro modos principales de razonamiento difuso (o razonamiento aproximado) en la LD: </li></ul><ul><li>Razonamiento Categórico, </li></ul><ul><li>Razonamiento Cualitativo, </li></ul><ul><li>Razonamiento silogístico, </li></ul><ul><li>Razonamiento disposicional. </li></ul>
  257. 265. Razonamiento Categórico <ul><li>Las premisas están en forma canónica “ X es A ” o en forma canonica condicional “SI X es A , Entonces Y es B ”, donde A y B son predicados difusos. </li></ul><ul><li>Notación: </li></ul><ul><ul><li>X , Y , Z ,...  variables (difusas) que toman valores en los universos U , V , W ,... </li></ul></ul><ul><ul><li>A , B , C ,...  Predicados difusos. </li></ul></ul>
  258. 266. <ul><li>Las principales reglas de inferencia del razonamiento categórico en LD son: </li></ul><ul><li>Regla de proyección de inferencia, </li></ul><ul><li>Conjunción o regla de producto cartesiano de inferencia, </li></ul><ul><li>Disyunción o Regla de particularización de inferencia, </li></ul><ul><li>Regla de Negación, </li></ul><ul><li>Regla de vinculación de inferencia, </li></ul><ul><li>Regla composicional de inferencia, </li></ul><ul><li>Modus ponens generalizado, </li></ul><ul><li>Principio de extensión. </li></ul>
  259. 267. Razonamiento Cualitativo <ul><li>En LD, el razonamiento cualitativo se refiere a un modo de razonamiento en el cual la relación entrada-salida de un sistema se expresa como una colección de reglas difusas IF-THEN en la cual las pre-condiciones y consecuentes involucran variables difusas o lingüísticas. </li></ul>
  260. 268. <ul><li>Por ejemplo, si X y Y son variables de entrada y Z es la variable de salida, la relación entre, X , Y , y Z se puede expresar de la siguiente forma: </li></ul><ul><ul><li>IF X es A 1 AND Y es B 1 , THEN Z es C 1 </li></ul></ul><ul><ul><li>IF X es A 2 AND Y es B 2 , THEN Z es C 2 </li></ul></ul><ul><ul><li>... ... ... </li></ul></ul><ul><ul><li>IF X es A n AND Y es B n , THEN Z es C n </li></ul></ul>
  261. 269. <ul><li>Donde: A i , B i , y C i , i=1,...,n, son subconjuntos difusos de sus respectivos universos de discurso. </li></ul><ul><li>Dado que Z depende de X y Y en las reglas anteriores, se puede emplear la regla composicional de inferencia para calcular el valor de Z dado los valores de X y Y . </li></ul>
  262. 270. Razonamiento Silogístico <ul><li>Al contrario del razonamiento Categórico, éste está relacionado con inferencias de premisas que contienen cuantificadores difusos. </li></ul><ul><li>En su forma genérica, un silogismo difuso se puede expresar como: </li></ul>
  263. 271. <ul><li>p = Q 1 A´s son B´s </li></ul><ul><li>q = Q 2 C´s son D´s </li></ul><ul><li>r = Q 3 E´s son F´s </li></ul><ul><li>Donde: </li></ul><ul><li>A, B, C, D, E, y F son predicados difusos ínter-relacionados; Q 1 , Q 2 , son cuantificadores difusos dados; y </li></ul><ul><li>Q 3 es el cuantificador a ser decidido. </li></ul>
  264. 272. <ul><li>Los seis silogismos difusos mas importantes son: </li></ul><ul><li>Intersección o silogismo producto, </li></ul><ul><li>Silogismo por encadenamiento, </li></ul><ul><li>Silogismo conjunción consecuente, </li></ul><ul><li>Silogismo disyunción consecuente, </li></ul><ul><li>Silogismo conjunción precondición, </li></ul><ul><li>Silogismo disyunción precondición. </li></ul>
  265. 273. Razonamiento Disposicional <ul><li>En éste, las premisas son disposiciones que deben contener, explícitamente o implícitamente, el cuantificador difuso “habitualmente” (“Usually”); o sea que, las proposiciones ( preponderantemente pero no necesariamente ) siempre son verdaderas. </li></ul>
  266. 274. <ul><li>Algunas reglas de inferencia de razonamiento disposicional son: </li></ul><ul><li>Regla de proyección disposicional de inferencia. </li></ul><ul><li>Regla de implicación disposicional de inferencia, </li></ul><ul><li>Modus ponens disposicional, </li></ul><ul><li>Hipersilogismo de encadenamiento disposicional, </li></ul><ul><li>Silogismo de conjunción consecuente disposicional. </li></ul>
  267. 275. Lógica Difusa y Razonamiento Aproximado: Modelo de Inferencia Difusa
  268. 276. Múltiples Reglas con Múltiples Antecedentes.
  269. 277. Reglas con n antecedentes y m consecuentes <ul><li>La interpretación de múltiples reglas generalmente se interpreta como la unión de las relaciones difusas correspondientes a las reglas difusas. Por lo tanto, para un problema de modus ponen generalizado del siguiente tipo: </li></ul>
  270. 278. <ul><li>premisa 1 (hecho) x es A' y y es B', </li></ul><ul><li>premisa 2 (regla 1) Si x es A 1 y y es B 1 </li></ul><ul><li>entonces z es C 1 , </li></ul><ul><li>premisa 2 (regla 2) Si x es A 2 y y es B 2 </li></ul><ul><li>entonces z es C 2 , </li></ul><ul><li>__________________________________ </li></ul><ul><li>Consecuente (conclusión): z es C' </li></ul>
  271. 279. <ul><li>Se puede emplear el razonamiento difuso mostrado en la Fig. A.1 como un procedimiento de inferencia para derivar la resultante salida el conjunto difuso C' . </li></ul><ul><li>Para verificar este procedimiento de inferencia, se tomara a R 1 = A 1 x B 1  C 1 y R 2 = A 2 x B 2  C 2 . </li></ul>
  272. 280. <ul><li>Debido a que el operador de composición max-min (  ) es distributivo, se puede usar el operador  para obtener la siguiente expresión: </li></ul>
  273. 281. <ul><li>Donde C' 1 y C' 2 son los conjuntos difusos inferidos por las reglas 1 y 2, respectivamente. </li></ul><ul><li>La Fig. A.1 muestra gráficamente la operación del razonamiento difuso para múltiples reglas con múltiples antecedentes. </li></ul>
  274. 282. <ul><li>Figura A.1 Razonamiento Difuso para múltiples reglas con múltiples antecedentes. </li></ul>
  275. 283. <ul><li>Cuando una regla difusa dada asume la forma &quot; Si x es A o y es B entonces z es C ,&quot; entonces la fuerza del disparo esta dado como el máximo grado de apareamiento sobre la parte del antecedente para una condición dada. </li></ul><ul><li>Esta regla difusa es equivalente a la unión de las dos reglas difusas &quot; si x es A entonces z es C &quot; y &quot; si y es B entonces z es C &quot;. </li></ul>
  276. 284. Definición De Los Planos De Inferencia. Inferencia en sistemas con múltiples reglas: (min, max, min)
  277. 285. Planos De Inferencia <ul><li>Se ha visto que para encontrar una conclusión difusa, en el caso de una sola regla, es necesario utilizar solamente operadores de conjunción difusa, llámese implicación difusa o conectiva &quot; y &quot;, por el hecho de representar alguna norma-t. </li></ul>
  278. 286. Planos De Inferencia <ul><li>Cuando se consideran sistemas con múltiples reglas, se introducen los operadores de unión difusa para ligar las acciones resultantes de cada regla y así, obtener una respuesta global difusa. Estos operadores pueden ser cualesquier conorma-t. </li></ul>
  279. 287. Planos De Inferencia <ul><li>Cada operador distinto dentro del proceso de inferencia difusa, va definiendo un plano de inferencia, comparándose esto con los circuitos combinatorios simples de la lógica booleana, del tipo suma de productos, donde se ubican solamente dos planos de operadores distintos: el plano &quot;Y&quot; y el plano &quot;O&quot;. </li></ul>
  280. 288. Planos De Inferencia <ul><li>Como se vio anteriormente, se requiere de la conectiva &quot; y &quot; ( min max min) cuando es necesario combinar varios antecedentes antes de llegar a una conclusión; el uso de esta conectiva se refiere al primer plano de inferencia ( al menos ). </li></ul>
  281. 289. Planos De Inferencia <ul><li>Cuando una sola regla apunta a un consecuente, ésta se aplica directamente sobre él mismo, a través del uso de una función de implicación (min max min ). </li></ul>
  282. 290. Planos De Inferencia <ul><li>Sin embargo, en todos los sistemas de la lógica difusa es común encontrar más de una regla que apunten a un mismo consecuente. </li></ul>
  283. 291. <ul><li>Para poder elegir a la regla que deba trascender al consecuente ( la regla con mayor peso o fuerza ), es necesario considerar a algún operador conorma-t que represente a la conectiva &quot;o&quot; (min max min), de manera que sirva como operador de liga entre reglas. </li></ul>Planos De Inferencia
  284. 292. Planos De Inferencia <ul><li>La aplicación de esta conectiva se refiere al segundo plano de inferencia ( a lo más ). </li></ul>
  285. 293. Planos De Inferencia <ul><li>De este último resultado, se concluye la inferencia al aplicar esta fuerza mediante una función de implicación al conjunto difuso elegido en el consecuente (min max min ), esta última operación se denota como el tercer plano de inferencia ( entonces ). </li></ul>
  286. 294. Planos de Inferencia en una Unidad de Inferencia Difusa
  287. 296. Lógica Difusa y Razonamiento Aproximado: Proposiciones Difusas Material Anexo a 3.1.4.2 Reglas de Implicación Difusa.
  288. 297. ESTRUCTURA BÁSICA Y OPERACIÓN DE LOS SISTEMAS DE CONTROL LÓGICOS DIFUSOS Material Anexo a: Modelos Basados en Reglas–Difusas para Aproximar una Función
  289. 298. Introducción <ul><li>En 1973 a raíz de un recien
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×