Conference papers accepted
01/07/22/10:17 Filed in: Conference papers
N. Madrid, M. Ojeda-Aciego. Nuevos resultados sobre el f-índice de inclusión. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT En este documento presentamos alguno de los últimos resultados teóricos obtenidos sobre el f-índice de inclusión. Estos resultados motivan el uso de dicho índice como una nueva forma de representar la inclusión entre dos conjuntos difusos y como un operador de inferencia lógica. En este resumen recordamos dos: se satisfacen los axiomas de Sinha-Dougherty (convenientemente adaptados al marco teórico del f-índice de inclusión) y, además, corresponde a una elección optimal de una implicación difusa residuada para llevar a cabo la inferencia Modus Ponens.
I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, Manuel Ojeda-Aciego. Conexiones de Galois relacionales difusas entre digrafos transitivos difusos. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT Presentamos una versión difusa de la noción de conexión de Galois relacional entre grafos dirigidos transitivos difusos (digrafos T-difusos) en el entorno específico en el que el álgebra subyacente de valores de verdad es un álgebra de Heyting completa. Los componentes de dicha conexión de Galois difusa son relaciones difusas que satisfacen ciertas propiedades razonables expresadas en términos de lo que denominamos "full powering". Además, proporcionamos una condición necesaria y suficiente bajo la cual es posible construir un adjunto a la derecha para una relación difusa dada entre un digrafo T-difuso y un conjunto no estructurado.
F. Pérez-Gámez, P. Cordero, M. Enciso, Á. Mora, M. Ojeda-Aciego. Análisis de conceptos formales bajo una visión intuicionista. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT Contextos formales parciales son contextos con tres valores que nos permite establecer cuando una propiedad se satisface o no. Además, permite representar situaciones en las que existe ignorancia sobre si una propiedad se satisface o no. Esto puede ser bastante útil en diferentes aspectos como cuando hay información desconocida o, también, cuando aparece la información desconocida debido a intentamos reducir el tamaño de un contexto formal agrupando filas. En este artículo extendemos estas nociones e ideas para añadir grados de conocimiento.
M. Ojeda-Hernandez, I. P. Cabrera, P. Cordero, E. Muñoz-Velasco. Un estudio preliminar de relaciones de clausura difusas. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT Los operadores de clausura son elementos clave de las matemáticas tanto puras como aplicadas. Esta contribución trata la búsqueda de una definición de relación de clausura difusa que extienda de manera apropiada el concepto de operador de clausura en el marco de los retículos completos difusos. La condición que se busca extender es la correspondencia biyectiva con los sistemas de clausura difusos. Se parte de las definiciones existentes de relación de clausura difusa y se acotan las condiciones necesarias para la existencia de la biyección hasta que se encuentran las condiciones óptimas.
P. Cordero, M. Enciso, D. López-Rodríguez, Á. Mora. Uso de Lógica Difusa para Construir un Sistema Recomendador Médico. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT En este trabajo, se propone un motor automatizado basado en la Lógica de Simplificación difusa para realizar sugerencias a los usuarios.
Los sistemas de recomendación conversacional han demostrado ser un buen enfoque en telemedicina, construyendo un diálogo entre el usuario y el recomendador basado en las preferencias del usuario proporcionadas en cada paso de la conversación. Aquí proponemos un sistema de recomendación conversacional para el diagnóstico médico utilizando la lógica difusa.
ABSTRACT En este documento presentamos alguno de los últimos resultados teóricos obtenidos sobre el f-índice de inclusión. Estos resultados motivan el uso de dicho índice como una nueva forma de representar la inclusión entre dos conjuntos difusos y como un operador de inferencia lógica. En este resumen recordamos dos: se satisfacen los axiomas de Sinha-Dougherty (convenientemente adaptados al marco teórico del f-índice de inclusión) y, además, corresponde a una elección optimal de una implicación difusa residuada para llevar a cabo la inferencia Modus Ponens.
I.P. Cabrera, P. Cordero, E. Muñoz-Velasco, Manuel Ojeda-Aciego. Conexiones de Galois relacionales difusas entre digrafos transitivos difusos. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT Presentamos una versión difusa de la noción de conexión de Galois relacional entre grafos dirigidos transitivos difusos (digrafos T-difusos) en el entorno específico en el que el álgebra subyacente de valores de verdad es un álgebra de Heyting completa. Los componentes de dicha conexión de Galois difusa son relaciones difusas que satisfacen ciertas propiedades razonables expresadas en términos de lo que denominamos "full powering". Además, proporcionamos una condición necesaria y suficiente bajo la cual es posible construir un adjunto a la derecha para una relación difusa dada entre un digrafo T-difuso y un conjunto no estructurado.
F. Pérez-Gámez, P. Cordero, M. Enciso, Á. Mora, M. Ojeda-Aciego. Análisis de conceptos formales bajo una visión intuicionista. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT Contextos formales parciales son contextos con tres valores que nos permite establecer cuando una propiedad se satisface o no. Además, permite representar situaciones en las que existe ignorancia sobre si una propiedad se satisface o no. Esto puede ser bastante útil en diferentes aspectos como cuando hay información desconocida o, también, cuando aparece la información desconocida debido a intentamos reducir el tamaño de un contexto formal agrupando filas. En este artículo extendemos estas nociones e ideas para añadir grados de conocimiento.
M. Ojeda-Hernandez, I. P. Cabrera, P. Cordero, E. Muñoz-Velasco. Un estudio preliminar de relaciones de clausura difusas. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT Los operadores de clausura son elementos clave de las matemáticas tanto puras como aplicadas. Esta contribución trata la búsqueda de una definición de relación de clausura difusa que extienda de manera apropiada el concepto de operador de clausura en el marco de los retículos completos difusos. La condición que se busca extender es la correspondencia biyectiva con los sistemas de clausura difusos. Se parte de las definiciones existentes de relación de clausura difusa y se acotan las condiciones necesarias para la existencia de la biyección hasta que se encuentran las condiciones óptimas.
P. Cordero, M. Enciso, D. López-Rodríguez, Á. Mora. Uso de Lógica Difusa para Construir un Sistema Recomendador Médico. Simp. Nacional sobre Tecnología y Lógica Difusa (ESTYLF), Toledo, 2022.
ABSTRACT En este trabajo, se propone un motor automatizado basado en la Lógica de Simplificación difusa para realizar sugerencias a los usuarios.
Los sistemas de recomendación conversacional han demostrado ser un buen enfoque en telemedicina, construyendo un diálogo entre el usuario y el recomendador basado en las preferencias del usuario proporcionadas en cada paso de la conversación. Aquí proponemos un sistema de recomendación conversacional para el diagnóstico médico utilizando la lógica difusa.