Computing with uncertain truth degreesa convolution-based approach

Resumen

La teoría de los conjuntos difusos puede contemplarse como un conjunto de herramientas matemáticas excepcionalmente adaptadas para trabajar con información incompleta, falta de nitidez e incertidumbre no aleatoria. De hecho, como herramienta en ingeniería, para traducir el lenguaje natural humano impreciso en un objeto matemático, los conjuntos difusos juegan un papel decisivo para superar la brecha entre el hombre y los ordenadores. Sin embargo, es ampliamente conocido que la asignación de un valor preciso como pertenencia no es una tarea sencilla. En la literatura, se han propuesto y estudiado varias generalizaciones de los conjuntos difusos para resolver esta dificultad. Más aún, estas generalizaciones han demostrado ser una herramienta útil, al mejorar los resultados en diferentes aplicaciones. Las generalizaciones difieren de los conjuntos difusos en el objeto matemático que se utiliza para modelar la imprecisión y/o incertidumbre. Específicamente, los conjuntos difusos toman elementos en el intervalo unidad [0, 1] mientras que las generalizaciones toman objetos matemáticos más complejos como intervalos (conjuntos difusos intervalo-valorados), subconjuntos del intervalo unidad (conjuntos difusos "conjunto-valorados") o funciones (conjuntos difusos tipo-2), entre otros. No obstante, el uso de las generalizaciones de los conjuntos difusos tiene un gran inconveniente. Antes de aplicar las generalizaciones de los conjuntos difusos es necesario adaptar ad hoc cada noción teórica al correspondiente objeto matemático que modela la incertidumbre en la aplicación, es decir, es necesario redefinir cada noción teórica reemplazando el intervalo unidad [0, 1] por objetos matemáticos más complejos. En la historia de los conjuntos difusos quedó claro relativamente pronto que la relación natural entre la teoría de conjuntos y la lógica clásica podía ser imitada generando una relación entre la teoría de los conjuntos difusos y la lógica multivaluada. Hoy en día esta lógica multivaluada recibe el nombre de lógica difusa. Del mismo modo, cada generalización de los conjuntos difusos genera un nuevo sistema lógico. Todos estos sistemas lógicos coinciden en que intentan modelar incertidumbre, pero difieren en el objeto matemático que representa esta incertidumbre. Es fácil comprobar que el mismo problema entre conjuntos difusos y sus generalizaciones puede encontrarse en los distintos sistemas lógicos, es decir, aunque todos ellos son similares, cada noción teórica tiene que ser redefinida para cada lógica. Este problema, junto con el gran número de lógicas que modelan incertidumbre, nos ha llevado a estudiar si es o no posible encontrar un sistema que englobe estas lógicas y nos ha motivado a proponer un sistema lógico que permita modelar la incertidumbre de manera más flexible. Centrándonos especialmente en sistemas lógicos provenientes de la lógica difusa, en esta tesis doctoral proponemos un nuevo sistema lógico que recupera varias de las lógicas de la literatura. La principales ventajas de nuestra propuesta son: • evitará la excesiva repetición de las nociones teóricas; • _ permitirá adaptar la aplicación a la generalización de los conjuntos difusos más adecuada de una manera mucho más sencilla. En esta tesis doctoral presentamos la semántica del modelo lógico propuesto junto con un estudio en profundidad de la operación de convolución que se utiliza para definir las conectivas disyunción y conjunción del sistema.