Está en la página 1de 48

LÓGICA DIFUSA

Docente : Dr. (c) Ing. David Arauco Cabrera

Celular : 989-698282

e-mail : darauco2000@gmail.com
INTRODUCCIÓN A LA LÓGICA
DIFUSA

EL CONCEPTO DE LA LÓGICA DIFUSA

LA FORMA EN QUE LA GENTE PIENSA ES, INHERENTEMENTE, DIFUSA. LA FORMA EN QUE


PERCIBIMOS EL MUNDO ESTÁ CAMBIANDO CONTINUAMENTE Y NO SIEMPRE SE PUEDE
DEFINIR EN TÉRMINOS DE SENTENCIAS VERDADERAS O FALSAS. CONSIDEREMOS COMO
EJEMPLO EL CONJUNTO DE VASOS DEL MUNDO, QUE PUEDEN ESTAR VACÍOS O LLENOS DE
AGUA. AHORA TOMEMOS UN VASO VACÍO Y COMENCEMOS A ECHAR AGUA POCO A POCO,
¿EN QUÉ MOMENTO DECIDIMOS QUE EL VASO PASA DE ESTAR VACÍO A ESTAR LLENO?
INTRODUCCIÓN A LA LÓGICA
DIFUSA
EL CONCEPTO DE LA LÓGICA DIFUSA

EVIDENTEMENTE, HAY DOS SITUACIONES EXTREMAS QUE RECONOCEMOS SIN NINGUNA


DUDA, LA PRIMERA CUANDO EL VASO ESTÁ COMPLETAMENTE VACÍO, SIN UNA SOLA GOTA DE
AGUA EN SU INTERIOR, Y LA SEGUNDA CUANDO ESTÁ COMPLETAMENTE LLENO, CUANDO NO
CABE NI UNA SOLA GOTA MÁS EN ÉL, PERO UNA GOTA ANTES DE ESTAR COMPLETAMENTE
LLENO, ¿DIRÍAMOS QUE ES FALSO QUE EL VASO ESTÁ LLENO?, OBSERVA QUE PARA AFIRMAR
SU CONDICIÓN, EN LA FRASE ANTERIOR NO SOLLO HE USADO EL TÉRMINO LLENO, SINO QUE
HE AÑADIDO UN MODIFICADOR DICIENDO COMPLETAMENTE LLENO. SI A UN VASO LLENO DE
AGUA LE QUITO UNA GOTA DE AGUA... ¿DEJO DE CONSIDERARLO LLENO Y
AUTOMÁTICAMENTE PERTENECE PARA MÍ A OTRA CLASIFICACIÓN?
INTRODUCCIÓN A LA LÓGICA
DIFUSA
LAS DEFINICIONES DE VASO COMPLETAMENTE VACÍO Y VASO COMPLETAMENTE LLENO SON
DEMASIADO ESTRICTAS COMO PARA QUE RESULTEN INTERESANTES EN UN RAZONAMIENTO
EN EL QUE SE CONSIDERAN OPERACIONES DE LLENADO Y VACIADO DE VASOS, Y ENTRE LOS
TÉRMINOS DE LLENO Y VACÍO HAY UN ÁREA QUE NO ESTÁ CLARAMENTE DEFINIDA DE
PERTENENCIA A NINGUNO DE ESOS EXTREMOS. EN EL LENGUAJE NATURAL QUE USAMOS EN
EL MUNDO REAL HEMOS CUBIERTO ESTA IMPRECISIÓN POR MEDIO DE UNA JERARQUÍA DE
TÉRMINOS INTERMEDIOS JUNTO CON MODIFICADORES QUE PERMITEN CUBRIR UN
ESPECTRO MÁS GRANDE DE ÁREAS USANDO UN NÚMERO LIMITADO DE ELLOS, Y PODEMOS
HABLAR DE LLENO, MEDIO LLENO, COMPLETAMENTE LLENO, CASI LLENO, ETC.
MATEMÁTICAMENTE, LOS CONCEPTOS DE SÍ/NO, VERDADERO/FALSO ESTÁN
REPRESENTADOS POR MEDIO DEL CONCEPTO CLÁSICO DE CONJUNTO, PERO NECESITAMOS
EXTENDERLO PARA PODER REPRESENTAR ESTE TIPO DE INFORMACIÓN MÁS DIFUSA.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
INTRODUCCIÓN A LA LÓGICA
DIFUSA

UN CONJUNTO DIFUSO PERMITE A SUS ELEMENTOS TENER UN GRADO DE PERTENENCIA. SI


EL VALOR 1 SE ASIGNA A LOS ELEMENTOS QUE ESTÁN COMPLETAMENTE EN EL CONJUNTO, Y
0 A LOS QUE ESTÁN COMPLETAMENTE FUERA, ENTONCES LOS OBJETOS QUE ESTÁN
PARCIALMENTE EN EL CONJUNTO TENDRÁN UN VALOR DE PERTENENCIA ESTRICTAMENTE
ENTRE 0 Y 1. POR TANTO, SI UN VASO COMPLETAMENTE LLENO TIENE UN GRADO DE
PERTENENCIA A LOS VASOS LLENOS DE VALOR 1, Y UN VASO COMPLETAMENTE VACÍO UN
GRADO DE PERTENENCIA A LOS VASOS LLENOS DE VALOR 0, ENTONCES AL AÑADIR UNA
GOTA A ESTE ÚLTIMO, SU GRADO DE PERTENENCIA A LOS VASOS LLENOS SERÍA
LIGERAMENTE SUPERIOR A 0.
INTRODUCCIÓN A LA LÓGICA
DIFUSA

DEFINICIÓN MATEMÁTICA DE CONJUNTOS DIFUSOS


MATEMÁTICAMENTE, UN CONJUNTO ES UNA COLECCIÓN DE OBJETOS QUE VERIFICAN
ALGUNA PROPIEDAD, DE FORMA QUE UN OBJETO O BIEN PERTENECE AL CONJUNTO, O NO
PERTENECE. POR EJEMPLO, SUPONGAMOS QUE DECIMOS QUE UNA PERSONA ES ALTA SI SU
ALTURA ESTÁ POR ENCIMA DE 180CM, ALGO QUE PUEDE SER REPRESENTADO
GRÁFICAMENTE DE LA SIGUIENTE FORMA:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
INTRODUCCIÓN A LA LÓGICA
DIFUSA
LA FUNCIÓN ANTERIOR DESCRIBE LA
PERTENENCIA AL CONJUNTO DE LOS ALTOS, O
ESTÁS DENTRO O ESTÁS FUERA. ESTAS
FUNCIONES NÍTIDAS FUNCIONAN MUY BIEN CON
LAS OPERACIONES MATEMÁTICAS CLÁSICAS,
PERO NO FUNCIONAN TAN BIEN DESCRIBIENDO EL
MUNDO REAL. POR UNA PARTE, NO HACE
DISTINCIÓN ENTRE INDIVIDUOS QUE MIDAN 181CM
Y LOS QUE MIDEN 215CM, AUNQUE HAY UNA
CLARA DISTINCIÓN ENTRE ELLOS. EL OTRO
PROBLEMA ES LA DIFERENCIA ENTRE UNA
PERSONA QUE MIDA 180CM Y OTRA DE 181CM,
APENAS 1CM DE DIFERENCIA ENTRE ELLOS Y EL
PRIMERO DE ELLOS NO ESTÁ EN EL CONJUNTO DE
LOS ALTOS, Y EL SEGUNDO SÍ.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
INTRODUCCIÓN A LA LÓGICA
DIFUSA

LA APROXIMACIÓN DE LOS CONJUNTOS


DIFUSOS AL CONJUNTO DE LOS ALTOS
PROPORCIONA UNA REPRESENTACIÓN
MUCHO MEJOR SOBRE LA PROPIEDAD SER
ALTO DE UNA PERSONA. EL CONJUNTO SE
DEFINE POR MEDIO DE UNA FUNCIÓN
CONTINUA QUE PUEDE TOMAR VALORES
INTERMEDIOS ENTRE LOS EXTREMOS 0 Y 1.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
LA FUNCIÓN DE PERTENENCIA DEFINE EL
CONJUNTO DIFUSO PARA LOS POSIBLES
VALORES DE ALTURA (MOSTRADOS EN EL EJE
HORIZONTAL) Y PROPORCIONA EL GRADO DE
PERTENENCIA DE LA ALTURA AL CONJUNTO
DIFUSO (MOSTRADO EN EL EJE VERTICAL CON
VALORES ENTRE 0 Y 1). DE ESTA FORMA, EL
GRADO DE PERTENENCIA DE LA PRIMERA
PERSONA ES 0.3 Y, POR TANTO, NO ES MUY
ALTO, MIENTRAS QUE EL SEGUNDO TIENE UN
GRADO DE PERTENENCIA DE 0.95 Y,
DEFINITIVAMENTE, ES ALTO.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
LOS CONJUNTOS DIFUSOS FUERON PROPUESTOS INICIALMENTE POR LOFTI A. ZADEH EN SU
ARTÍCULO DE 1965 TITULADO "FUZZY SETS". ESTE ARTÍCULO ESTABLECE LOS FUNDAMENTOS
DE LA LÓGICA DIFUSA QUE SE DEDUCE DE LA DEFINICIÓN DE CONJUNTO DIFUSO Y SUS
PROPIEDADES. ESTA DEFINICIÓN ES:
SEA XX UN CONJUNTO CLÁSICO. UN CONJUNTO DIFUSO, AA, EN XX VIENE CARACTERIZADO POR
LA FUNCIÓN DE PERTENENCIA FA(X)FA(X), QUE ASOCIA A CADA PUNTO X ∈XX ∈X UN NÚMERO
REAL DEL INTERVALO [0,1][0,1], DONDE LOS VALORES DE FA(X)FA(X) REPRESENTAN EL "GRADO
DE PERTENENCIA" DE XX EN AA, DE FORMA QUE, CUANTO MÁS CERCA ESTÉ EL VALOR DE
FA(X)FA(X) A 11, MAYOR ES EL GRADO DE PERTENENCIA DE XX A AA.
INTRODUCCIÓN A LA LÓGICA
DIFUSA

ESTA DEFINICIÓN DE CONJUNTO DIFUSO EXTIENDE DE ALGUNA FORMA LA DEFINICIÓN CLÁSICA


DE CONJUNTO, QUE SERÍA EL CASO PARTICULAR EN EL QUE FA(X) ∈{0,1}FA(X) ∈{0,1}. PERO
PARA TRABAJAR CON ELLOS TAMBIÉN TENDREMOS QUE EXTENDER LAS OPERACIONES
CLÁSICAS ENTRE CONJUNTOS (UNIÓN, INTERSECCIÓN, ETC.), LO QUE NOS LLEVARÁ A
EXTENDER LAS OPERACIONES LÓGICAS BINARIAS HABITUALES (CONJUNCIÓN, DISYUNCIÓN,
ETC.).
OBSÉRVESE QUE NO INDICAMOS CÓMO HA DE SER LA FUNCIÓN DE PERTENENCIA, YA QUE ESO
DEPENDERÁ DE LAS CARACTERÍSTICAS PROPIAS DEL CONJUNTO REAL QUE SE QUIERE
REPRESENTAR, PERO SUELEN USARSE ALGUNAS FUNCIONES CLÁSICAS COMUNES COMO LAS
QUE SE MUESTRAN A CONTINUACIÓN:
INTRODUCCIÓN A LA LÓGICA
DIFUSA

OBSÉRVESE QUE NO INDICAMOS CÓMO


HA DE SER LA FUNCIÓN DE
PERTENENCIA, YA QUE ESO DEPENDERÁ
DE LAS CARACTERÍSTICAS PROPIAS DEL
CONJUNTO REAL QUE SE QUIERE
REPRESENTAR, PERO SUELEN USARSE
ALGUNAS FUNCIONES CLÁSICAS
COMUNES COMO LAS QUE SE MUESTRAN
A CONTINUACIÓN:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
MATIZADORES LINGÜÍSTICOS
PERO ANTES DE PASAR A LAS DEFINICIONES FORMALES DE LAS OPERACIONES BINARIAS
HABITUALES, VEAMOS CÓMO ESTA APROXIMACIÓN TAMBIÉN NOS PERMITE REPRESENTAR
MATEMÁTICAMENTE LOS MODIFICADORES LINGÜÍSTICOS A LOS QUE HACÍAMOS MENCIÓN EN LA
INTRODUCCIÓN.
EL PRIMER PASO PARA CONVERTIR EL LENGUAJE DIFUSO EN UNA FUNCIÓN DE PERTENENCIA DE
LA LÓGICA DIFUSA CONSISTE EN TOMAR LOS TÉRMINOS (NORMALMENTE ADJETIVOS O
EXPRESIONES QUE INDICAN PROPIEDADES) Y ASOCIARLES UNA FUNCIÓN DE PERTENENCIA
ADECUADA A NUESTRA EXPERIENCIA DEL MUNDO REAL. AQUÍ NO HAY REGLAS FIJAS, SALVO LAS
RESTRICCIONES PROPIAS DE LA LÓGICA.
INTRODUCCIÓN A LA LÓGICA
DIFUSA

MATIZADORES LINGÜÍSTICOS

EL SIGUIENTE PASO ES ELEGIR CÓMO ACTÚAN LOS MATIZADORES LINGÜÍSTICOS SOBRE EL


LENGUAJE. ESTOS MATIZADORES DEBEN MODIFICAR LA FUNCIÓN DE PERTENENCIA DE LA
PROPIEDAD SOBRE LA QUE ACTÚAN, DE FORMA QUE PODAMOS REFLEJAR ADECUADAMENTE LAS
ACCIONES DE PARTÍCULAS COMO "MUCHO", "MUY", "CASI", "LIGERAMENTE", "EXTREMADAMENTE",
"MUCHÍSIMO", ETC...
INTRODUCCIÓN A LA LÓGICA
DIFUSA
MATIZADORES LINGÜÍSTICOS

EL SIGUIENTE PASO ES ELEGIR CÓMO


ACTÚAN LOS MATIZADORES LINGÜÍSTICOS
SOBRE EL LENGUAJE. ESTOS MATIZADORES
DEBEN MODIFICAR LA FUNCIÓN DE
PERTENENCIA DE LA PROPIEDAD SOBRE LA
QUE ACTÚAN, DE FORMA QUE PODAMOS
REFLEJAR ADECUADAMENTE LAS ACCIONES
DE PARTÍCULAS COMO "MUCHO", "MUY",
"CASI", "LIGERAMENTE", "EXTREMADAMENTE",
"MUCHÍSIMO", ETC...
INTRODUCCIÓN A LA LÓGICA
DIFUSA
MATIZADORES LINGÜÍSTICOS
NORMALMENTE, LO QUE SE HACE ES TOMAR LA FAMILIA DE
FUNCIONES DE LA FORMA:
HΑ(X)=XΑHΑ(X)=XΑ
Y SE ASOCIAN VALORES DE ΑΑ DETERMINADOS A LOS
DISTINTOS MATIZADORES. POR EJEMPLO:
Α(MUY)=2Α(MUY)=2
Α(EXTREMADAMENTE)=6Α(EXTREMADAMENTE)=6
Α(LIGERAMENTE)=12Α(LIGERAMENTE)=12

ASÍ, SI QUEREMOS MODIFICAR EL COMPORTAMIENTO DE LA


FUNCIÓN DE PERTENENCIA "ALTO" PARA OBTENER "MUY
ALTO", BASTA CONSIDERAR:
FMUY ALTO(X)=HMUY(FALTO(X))FMUY
ALTO(X)=HMUY(FALTO(X))
INTRODUCCIÓN A LA LÓGICA
DIFUSA
OPERACIONES LÓGICAS DIFUSAS
LA LÓGICA TRADICIONAL BIVALUADA USA LOS OPERADORES BOOLEANOS ∧∧ (AND), ∨∨ (OR), Y ¬¬
(NOT) PARA LLEVAR A CABO LAS OPERACIONES DE CONJUNTOS DE INTERSECCIÓN, UNIÓN Y
COMPLEMENTARIO. ESTOS OPERADORES FUNCIONAN BIEN CON CONJUNTOS NÍTIDOS, CLÁSICOS,
Y SE PUEDEN DEFINIR SENCILLAMENTE A PARTIR DE LAS FUNCIONES DE VERDAD ASOCIADAS A
CADA OPERADOR (NORMALMENTE, ESTAS FUNCIONES SE REPRESENTAN POR MEDIO DE LO QUE
SE CONOCE COMO TABLAS DE VERDAD)
ESTAS TABLAS DE VERDAD FUNCIONAN BIEN PARA LA LÓGICA BIVALUADA, PERO DEBIDO A QUE
LOS CONJUNTOS DIFUSOS NO TIENEN PORQUÉ TOMAR UNA CANTIDAD FINITA DE VALORES, NO ES
FÁCIL EXTENDER LAS TABLAS PARA SU USO EN ESTE CASO. ESTOS OPERADORES NECESITAN SER
REDEFINIDOS COMO FUNCIONES PARA TODOS LOS POSIBLES VALORES DIFUSOS DE LOS GRADOS
DE PERTENENCIA, ES DECIR, PARA TODO EL INTERVALO [0,1][0,1], Y NO SOLO PARA LOS VALORES
EXTREMOS
INTRODUCCIÓN A LA LÓGICA
DIFUSA

OPERACIONES LÓGICAS DIFUSAS

LA LÓGICA DIFUSA ES REALMENTE UN SUPERCONJUTO DE LA LÓGICA CLÁSICA YA QUE INCLUYE


LOS VALORES EXTREMOS JUNTO A TODOS LOS VALORES INTERMEDIOS, POR LO QUE CONSEGUIR
UNA FORMA GENERALIZADA DE ESTOS OPERADORES QUE EXTIENDAN A LOS OPERADORES
CLÁSICOS PUEDE SER DE MUCHA UTILIDAD. UNA POSIBLE GENERALIZACIÓN VENDRÍA DADA POR:

X ∧ Y=MIN(X,Y)X ∧ Y=MIN(X,Y)
X ∨ Y=MAX(X,Y)X ∨ Y=MAX(X,Y)
¬ X=1−X¬ X=1−X
INTRODUCCIÓN A LA LÓGICA
DIFUSA
OPERACIONES LÓGICAS DIFUSAS

ESTAS DEFINICIONES SE PUEDEN USAR TANTO PARA APLICAR LOS OPERADORES CLÁSICOS
COMO PARA OBTENER COMBINACIONES DIFUSAS. LAS SIGUIENTES GRÁFICAS REPRESENTAN EL
RESULTADO OBTENIDO CON LAS DEFINICIONES ANTERIORES SOBRE TODOS LOS POSIBLES
VALORES DE ENTRADA:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
OPERACIONES LÓGICAS DIFUSAS

EXISTEN MUCHAS OTRAS DEFINICIONES ALTERNATIVAS PARA ESTOS OPERADORES, PERO TODAS
ELLAS SUELEN COMPARTIR PROPIEDADES SIMILARES (QUE EXITIENDEN EL FUNCIONAMIENTO Y
SIGNIFICADO CLÁSICO):
1. LA DEFINICIÓN MATEMÁTICA MÁS GENERAL DEL OPERADOR AND SE LLAMA NORMA TRIANGULAR
(O T-NORMA) Y ES, POR DEFINICIÓN, UN OPERADOR BINARIO, DEFINIDO DE [0,1]2 ↦[0,1][0,1]2 ↦[0,1],
CONMUTATIVO, ASOCIATIVO, QUE LLEVA EL PAR (1,1)(1,1) AL VALOR 11, Y ES CRECIENTE EN CADA
VARIABLE.
2. PARA EL OPERADOR OR LAS PROPIEDADES SON LAS MISMAS, SALVO QUE LLEVA EL PAR (0,0)
(0,0) AL VALOR 00, Y SE LLAMA T-CONORMA.
3. EL OPERADOR NOT PUEDE SER REDEFINIDO SIEMPRE Y CUANDO SEA CONTINUO Y
ESTRICTAMENTE DECRECIENTE.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
LA SIGUIENTE FIGURA MUESTRA ALGUNOS EJEMPLOS DE DEFINICIÓN:
INTRODUCCIÓN A LA LÓGICA
REGLAS DIFUSAS DIFUSA

LA MAYORÍA DE LAS DECISIONES QUE LA GENTE TOMA SON DECISIONES LÓGICAS, MIRAN LA
SITUACIÓN, LA VALORAN, Y TOMAN UNA DECISIÓN BASÁNDOSE EN ELLA. LA FORMA
GENERALIZADA DE UNA DECISIÓN DE ESTE TIPO SE LLAMA MODUS PONENS GENERALIZADO, QUE
TIENE LA FORMA:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
REGLAS DIFUSAS

ESTA FORMA DE RAZONAMIENTO LÓGICO ES BASTANTE ESTRICTO. LA LÓGICA DIFUSA PIERDE


ESTA FORMA ESTRICTA DICIENDO QUE B SE DARÁ CON MÁS OPCIONES SI LA VERACIDAD DE A ES
MÁS ALTA. DONDE AHORA A Y B TOMAN VALORES DIFUSOS. EL RAZONAMIENTO ANTERIOR
REQUIERE QUE SE DEFINA UN CONJUNTO DE REGLAS QUE LO LLEVEN A CABO. ESTAS REGLAS
SON REGLAS LINGÜÍSTICAS QUE RELACIONAN DIFERENTES CONJUNTOS Y VALORES DIFUSOS. LA
FORMA GENERAL DE ESTAS REGLAS ES: "SI X ESTÁ EN A, ENTONCES Y ESTÁ EN B", DONDE XX E
YY SON VALORES DIFUSOS EN LOS CONJUNTOS DIFUSOS AA Y BB, RESPECTIVAMENTE (Y QUE
VENDRÁN DEFINIDOS POR MEDIO DE SUS FUNCIONES DE PERTENENCIA).
INTRODUCCIÓN A LA LÓGICA
REGLAS DIFUSAS DIFUSA
LAS REGLAS LINGÜÍSTICAS SE USAN PARA RELACIONAR LAS ENTRADAS CON LAS SALIDAS, Y
VAMOS A VER A CONTINUACIÓN CÓMO SE PUEDE HACER UNA VALORACIÓN CORRECTA DE LAS
MISMAS. HA HABIDO VARIAS PROPUESTAS PARA DETERMINAR LA EJECUCIÓN DE ESTAS REGLAS,
LAS MÁS IMPORTANTES HAN SIDO LOS MÉTODOS DE INFERENCIA Y AGREGACIÓN DE MAMDANI,
LARSEN, TAKAGI-SUGENO-KANG, Y TSUKAMOTO.
DESDE UN PUNTO DE VISTA PRÁCTICO SE USAN FUNDAMENTALMENTE DOS MÉTODOS PARA
MODELAR LA IMPLICACIÓN, UNO DE ELLAS ES POR MEDIO DEL MÍNIMO (QUE TRUNCA LA FUNCIÓN
DE PERTENENCIA DEL CONSECUENTE CON EL VALOR DEL ANTECEDENTE), Y EL OTRO POR MEDIO
DEL PRODUCTO (QUE ESCALA LA FUNCIÓN DEL CONSECUENTE DE ACUERDO AL ANTECEDENTE).
LAS FIGURAS SIGUIENTES MUESTRAN LA APLICACIÓN DE ESTOS MÉTODOS SOBRE LAS MISMAS
REGLAS CON LOS MISMOS VALORES, DONDE LA GRÁFICA VERDE MUESTRA EL RESULTADO DE LA
IMPLICACIÓN SUPERPUESTA AL CONJUNTO BORROSO DE LA CONSECUENCIA, PARA QUE SE VEA
CLARAMENTE EL EFECTO OBTENIDO:
INTRODUCCIÓN A LA LÓGICA
REGLAS DIFUSAS
DIFUSA
DESDE UN PUNTO DE VISTA PRÁCTICO SE USAN FUNDAMENTALMENTE DOS MÉTODOS PARA
MODELAR LA IMPLICACIÓN, UNO DE ELLAS ES POR MEDIO DEL MÍNIMO (QUE TRUNCA LA FUNCIÓN
DE PERTENENCIA DEL CONSECUENTE CON EL VALOR DEL ANTECEDENTE), Y EL OTRO POR MEDIO
DEL PRODUCTO (QUE ESCALA LA FUNCIÓN DEL CONSECUENTE DE ACUERDO AL ANTECEDENTE).
LAS FIGURAS SIGUIENTES MUESTRAN LA APLICACIÓN DE ESTOS MÉTODOS SOBRE LAS MISMAS
REGLAS CON LOS MISMOS VALORES, DONDE LA GRÁFICA VERDE MUESTRA EL RESULTADO DE LA
IMPLICACIÓN SUPERPUESTA AL CONJUNTO BORROSO DE LA CONSECUENCIA, PARA QUE SE VEA
CLARAMENTE EL EFECTO OBTENIDO:
INTRODUCCIÓN A LA LÓGICA
REGLAS DIFUSAS
DIFUSA
DESDE UN PUNTO DE VISTA PRÁCTICO SE USAN FUNDAMENTALMENTE DOS MÉTODOS PARA
MODELAR LA IMPLICACIÓN, UNO DE ELLAS ES POR MEDIO DEL MÍNIMO (QUE TRUNCA LA FUNCIÓN
DE PERTENENCIA DEL CONSECUENTE CON EL VALOR DEL ANTECEDENTE), Y EL OTRO POR MEDIO
DEL PRODUCTO (QUE ESCALA LA FUNCIÓN DEL CONSECUENTE DE ACUERDO AL ANTECEDENTE).
LAS FIGURAS SIGUIENTES MUESTRAN LA APLICACIÓN DE ESTOS MÉTODOS SOBRE LAS MISMAS
REGLAS CON LOS MISMOS VALORES, DONDE LA GRÁFICA VERDE MUESTRA EL RESULTADO DE LA
IMPLICACIÓN SUPERPUESTA AL CONJUNTO BORROSO DE LA CONSECUENCIA, PARA QUE SE VEA
CLARAMENTE EL EFECTO OBTENIDO:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO

DESDE UN PUNTO DE VISTA PRÁCTICO, HEMOS DE APRENDER A PASAR DE LOS CONCEPTOS


LINGÜÍSTICOS DIFUSOS A VARIABLES NUMÉRICAS DIFUSAS, COMBINARLAS USANDO LOS
OPERADORES LÓGICOS DIFUSOS, OBTENER LA DEDUCCIÓN DE CADA REGLA DE FORMA
NUMÉRICA, AGREGAR LAS DIVERSAS RESPUESTAS DE LAS DISTINTAS REGLAS, Y VOLVER A PASAR
DE LA RESPUESTA NUMÉRICA AGREGADA A LA LINGÜÍSTICA.
EN EL SIGUIENTE DIAGRAMA (EXTRAÍDO DE "FUZZY LOGIC FOR SOCIAL SIMULATION USING
NETLOGO ") SE MUESTRA EL PROCESO COMPLETO SOBRE UNA BASE DE 3 REGLAS (A
CONTINUACIÓN ANALIZAREMOS EN DETALLE SOBRE EL MISMO EJEMPLO CÓMO ES EL PROCESO
COMPLETO):
• R1: SI (HOUSE IS INEXPENSIVE OR CLOSE-TO-WORK), ENTONCES SUITABILITY IS GOOD.
• R2: SI (HOUSE IS EXPENSIVE OR FAR-FROM-WORK), ENTONCES SUITABILITY IS LOW.
• R3: SI (HOUSE IS AVERAGELY-PRICED AND ABOUT-50-KM-FROM-WORK), ENTONCES
SUITABILITY IS REGULAR.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
EN GENERAL, EL PROCESO MOSTRADO ANTERIORMENTE RESPONDE A UN ESQUEMA DE
MODELADO QUE PERMITE MANIPULAR REGLAS DE INFERENCIA SOBRE CONJUNTOS DIFUSOS, Y
QUE PUEDE SER RESUMIDO DE LA SIGUIENTE FORMA:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
FUZZYFICADOR: CONVIERTE LAS ENTRADAS DEL SISTEMA, QUE SON VALORES NUMÉRICOS
NÍTIDOS EN CONJUNTOS BORROSOS APLICANDO UNA FUNCIÓN DE BORROSIFICACIÓN.
BASE DE CONOCIMIENTO (REGLAS DIFUSAS): ALMACENA LAS REGLAS SI-ENTONCES OBTENIDAS
DE LOS EXPERTOS.
MOTOR DE INFERENCIA: SIMULA EL RAZONAMIENTO HUMANO HACIENDO INFERENCIA SOBRE LAS
ENTRADAS RECIBIDAS Y LAS REGLAS SI-ENTONCES ALMECENADAS.
DESFUZZYFICADOR: CONVIERTE EL CONJUNTO BORROSO OBTENIDO POR EL MOTOR DE
INFERENCIA EN UN VALOR NUMÉRICO NÍTIDO QUE PUEDE SER REUTILIZADO.

EL PROCEDIMIENTO DE RAZONAMIENTO DIFUSO LO EXPLICAREMOS ILUSTRÁNDOLO POR MEDIO


DE UN PROBLEMA SENCILLO Y CONCRETO EXTRAÍDO DEL TUTORIAL DE LA PROPIA EXTENSIÓN
DE LÓGICA DIFUSA EXISTENTE PARA NETLOGO , QUE TRATA SOBRE LA ADECUACIÓN DE
ALQUILAR UNA VIVIENDA DEPENDIENDO DEL PRECIO Y LA DISTANCIA AL TRABAJO.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO

EN CONCRETO, SUPONDREMOS QUE RESPECTO AL PRECIO TENEMOS TRES APRECIACIONES


DIFUSAS: BARATO, CARO, O PRECIO MEDIO; RESPECTO A LA DISTANCIA AL TRABAJO, TENEMOS
OTRAS TRES APRECIACIONES DIFUSAS: CERCA, LEJOS O ALREDEDOR DE 50KM. COMO
RESULTADO, PODEMOS VALORAR LA VIVIENDA COMO: MUY ADECUADA, POCO ADECUADA, O
MEDIANAMENTE ADECUADA. ADEMÁS, LOS EXPERTOS (EN ESTE CASO, NOSOTROS MISMOS)
IDENTIFICAN TRES REGLAS DIFUSAS QUE PUEDEN AYUDARNOS A TOMAR LA DECISIÓN EN
FUNCIÓN DE LAS CARACTERÍSTICAS DE LAS VIVIENDAS QUE ENCONTRAMOS:
SI LA VIVIENDA ES BARATA O ESTÁ CERCA DEL TRABAJO, ENTONCES ES MUY ADECUADA.
SI LA VIVIENDA ES CARA O ESTÁ LEJOS DEL TRABAJO, ENTONCES ES POCO ADECUADA.
SI LA VIVIENDA ES DE PRECIO MEDIO Y ESTÁ ALREDEDOR DE 50KMS DEL TRABAJO,
ENTONCES ES MEDIANAMENTE ADECUADA.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
SUPONDREMOS QUE EL PRECIO SE PUEDE
MOVER ENTRE 0 Y 200€ POR SEMANA, Y
LAS VIVIENDAS HAN SIDO CONSIDERADAS
A UNA DISTANCIA MÁXIMA DE 100KMS. LA
ADECUACIÓN LA VAMOS A VALORAR ENTRE
0 Y 10. VAMOS A SUPONER QUE LOS
CONJUNTOS DIFUSOS RELACIONADOS CON
EL PRECIO SIGUEN FUNCIONES LINEALES A
TROZOS, MIENTRAS QUE AQUELLOS
ASOCIADOS A LA DISTANCIA Y LA
ADECUACIÓN SE MODELAN CON
FUNCIONES GAUSSIANAS, TAL Y COMO
MUESTRA LA SIGUIENTE FIGURA:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
Y QUE USANDO LA EXTENSIÓN ANTERIOR SE PUEDEN DEFINIR CON EL SIGUIENTE CÓDIGO DE
NETLOGO:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO

NUESTRO OBJETIVO ES USAR LÓGICA DIFUSA


PARA EXTRAER UN VALOR DE ADECUACIÓN
PARA CADA CASA QUE NOS ENCONTRAMOS, Y
DE ESA FORMA PODER COMPARAR MEJOR LAS
DIVERSAS OPCIONES QUE HAY A NUESTRO
ALCANCE. DE CADA VIVIENDA A EVALUAR
OBTENEMOS DOS VALORES NUMÉRICOS QUE
CORRESPONDEN AL PRECIO Y DISTANCIA A LA
QUE SE ENCUENTRA.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO

EL PROCESO QUE SE SIGUE ES EL SIGUIENTE:

1. CONVERTIR EN BORROSO (CODIFICACIÓN) LOS DATOS DE ENTRADA.


2. PARA CADA REGLA, EVALUAR EL ANTECEDENTE DE LA REGLA SOBRE LOS DATOS DE
ENTRADA, PARA ELLO, BASTA APLICAR EL MÉTODO DEL OPERADOR LÓGICO QUE
INTERVIENE EN EL ANTECEDENTE SOBRE LOS VALORES BORROSOS DE LOS DATOS DE
ENTRADA OBTENIDOS EN EL APARTADO ANTERIOR.
3. OBTENER LA CONCLUSIÓN DE LA REGLA BORROSA APLICADA. PARA ELLO, BASTA APLICAR
EL OPERADOR ASOCIADO A LA IMPLICACIÓN LÓGICA SOBRE EL RESULTADO DEL
ANTECEDENTE, Y CONSIDERAR EL CONJUNTO DIFUSO ASOCIADO A LA CONCLUSIÓN DE LA
REGLA.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO

EL PROCESO QUE SE SIGUE ES EL SIGUIENTE:


4. AGREGAR LAS CONCLUSIONES DE TODAS LAS REGLAS CONSIDERADAS, LO QUE PRODUCE
UN NUEVO CONJUNTO BORROSO, APLICANDO LA FUNCIÓN DE AGREGACIÓN SELECCIONADA
PARA AGREGAR TODAS LAS REGLAS DE NUESTRO SISTEMA. DEBE TENERSE EN CUENTA QUE
AQUÍ SE OBTIENE UN CONJUNTO DIFUSO, NO UN VALOR. LOS OPERADORES MÁS COMUNES DE
AGREGACIÓN SON EL MÁXIMO, LA SUMA, O EL EQUIVALENTE AL OR VISTO ANTERIORMENTE.
5. DECODIFICACIÓN DEL NUEVO CONJUNTO (AGREGADO) BORROSO OBTENIDO, APLICANDO EL
TIPO DE DESFUZZYFICACIÓN DESEADO SE OBTIENE UN VALOR NUMÉRICO QUE INDICA LA
ADECUACIÓN DE LA VIVIENDA CONCRETA QUE ESTAMOS EVALUANDO. PARA ELLO HAY MUCHOS
MÉTODOS HABITUALES (Y NINGÚN MECANISMO PARA SABER CUÁL ES EL QUE MÁS CONVIENE),
DE LOS CUALES LA EXTENSIÓN DE NETLOGO IMPLEMENTA ALGUNOS DE ELLOS (FIRST OF
MAXIMA, LAST OF MAXIMA, MIDDLE OF MAXIMA, MEAN OF MAXIMA, CENTRO DE GRAVEDAD).
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
EL PROCESO QUE SE SIGUE ES EL SIGUIENTE:
EN EL EJEMPLO QUE ESTAMOS DESARROLLANDO, EL CÓDIGO DE NETLOGO QUE RESUELVE ESTE PROCESO ES:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
EL PROCESO QUE SE SIGUE ES EL SIGUIENTE:
DONDE, TAL Y COMO MUESTRA LA SIGUIENTE FIGURA, LAS FUNCIONES QUE IMPLEMENTAN LOS OPERADORES LÓGICOS, DE
IMPLICACIÓN, AGREGACIÓN Y DESBORRIFICACIÓN, SE DECIDEN POR EL USUARIO EN LA INTERFAZ DE TRABAJO:
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
¿POR QUÉ USAR LOS SISTEMAS DE INFERENCIA BORROSA?

A LA HORA DE DECIDIR SI USAR UN SISTEMA DE RAZONAMIENTO BORROSO HEMOS DE TENER


EN CUENTA ALGUNAS CONSIDERACIONES ADICIONALES QUE QUIZÁS NOS AYUDEN A DECIDIR
DE FORMA ADECUADA:

1.- LA LÓGICA BORROSA NO RESUELVE PROBLEMAS NUEVOS, SINO QUE UTILIZA NUEVOS
MÉTODOS PARA RESOLVER LOS PROBLEMAS DE SIEMPRE.
2.- LOS CONCEPTOS MATEMÁTICOS DENTRO DEL RAZONAMIENTO BORROSO SON MUY
SIMPLES Y SE PUEDEN IMPLEMENTAR CON RELATIVA FACILIDAD.
3.- LA LÓGICA BORROSA ES FLEXIBLE: ES FÁCIL TRANSFORMAR UN SISTEMA BORROSO
AÑADIENDO O ELIMINANDO REGLAS SIN TENER QUE EMPEZAR DESDE CERO.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO

4.- LA LÓGICA BORROSA ADMITE DATOS IMPRECISOS (PERO CUIDADO, NO ESTUDIA LA


INCERTIDUMBRE): MANEJA ELEMENTOS DE UN CONJUNTO BORROSO, ES DECIR, VALORES
DE UNA FUNCIÓN DE PERTENENCIA. POR EJEMPLO, EN LUGAR DE MANEJAR EL DATO "MIDE
180 CM", MANEJA "ES ALTO CON UNA PRECISIÓN DE 0.8".
5.- LA LÓGICA BORROSA SE CONSTRUYE SOBRE LA EXPERIENCIA DE LOS EXPERTOS: CONFÍA
EN LA EXPERIENCIA DE QUIEN YA CONOCE EL SISTEMA.
6.- LA LÓGICA BORROSA PUEDE MEZCLARSE CON OTRAS TÉCNICAS CLÁSICAS DE CONTROL.
HAY MUY BUEN MATERIAL YA DISPONIBLE PARA ENTRAR EN EL MUNDO DE LA LÓGICA
DIFUSA DESDE UN PUNTO DE VISTA MÁS TÉCNICO, POR ELLO, SE RECOMIENDA ACCEDER A
LOS RECURSOS QUE SE PUEDEN ENCONTRAR A CONTINUACIÓN.
INTRODUCCIÓN A LA LÓGICA
DIFUSA
SISTEMA DE RAZONAMIENTO DIFUSO
HAY MUY BUEN MATERIAL YA DISPONIBLE PARA ENTRAR EN EL MUNDO DE LA LÓGICA
DIFUSA DESDE UN PUNTO DE VISTA MÁS TÉCNICO, POR ELLO, SE RECOMIENDA ACCEDER A
LOS RECURSOS QUE SE PUEDEN ENCONTRAR EN LA BIBLIOGRAFÍA.

HAY LENGUAJES QUE MOTIVAN EL DESCUBRIMIENTO Y LA EXPERIMENTACIÓN (CADA UNO DE


NOSOTROS PUEDE ENCONTRAR EL SUYO... COMO ES EL CASO DE NOSOTROS PUEDE SER,
LOGO, HASKELL, SCHEME, ELM, NETLOGO, JULIA), Y OTROS (COMO C, C++, JAVA, PYTHON, R,
JAVASCRIPT,...). ASÍ MISMO LLEVARNOS LA SORPRESA DE ENCONTRARNOS CON UN LENGUAJE
ANTIGUO (YA CASI 30 AÑOS), PERO ESTÁN BIEN CONSTRUIDOS QUE NOS DA LA SENSACIÓN DE
QUE MUCHO DE LO QUE HA LLEGADO DESPUÉS HA SIDO COMO UN RETROCESO DE IDEAS Y
NOS DA LA SENSACIÓN DE QUE SE ABRE UN NUEVO CAMINO QUE MERECE LA PENA SER
EXPLORADO.
PREGUNTA
S
PREGUNTA
S

También podría gustarte