Relacionando programas lógicos normales multiadjuntos con programas centrales de conjuntos de respuestas difusas desde un enfoque semántico
Autores: Cornejo, M. Eugenia; Lobo, David; Medina, Jesús
Idioma: Inglés
Editor: MDPI
Año: 2020
Acceso abierto
Artículo científico
2020
Relacionando programas lógicos normales multiadjuntos con programas centrales de conjuntos de respuestas difusas desde un enfoque semántico
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Papel
Programación lógica difusa
Enfoque semántico
Programación central de conjuntos de respuestas difusas
Programación lógica normal multiadjunta
Traducción
Semántica
Modelos estables
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 38
Citaciones: Sin citaciones
Este documento relaciona dos paradigmas interesantes en la programación lógica difusa desde un enfoque semántico: la programación central de conjuntos de respuestas difusas y la programación lógica normal multiadjunta. Específicamente, se muestra cómo los programas centrales de conjuntos de respuestas difusas pueden traducirse en programas lógicos normales multiadjuntos y viceversa, preservando la semántica del programa inicial. Esta traducción nos permite combinar la expresividad de la programación lógica normal multiadjunta con la concisión y simplicidad del lenguaje de programación central de conjuntos de respuestas difusas. Como consecuencia, se obtienen propiedades y resultados teóricos que relacionan los conjuntos de respuestas con los modelos estables de los marcos de programación lógica respectivos. Entre otros, este estudio permite la aplicación del teorema de existencia de modelos estables desarrollado para programas lógicos normales multiadjuntos para asegurar la existencia de conjuntos de respuestas en programas centrales de conjuntos de respuestas difusas.
Descripción
Este documento relaciona dos paradigmas interesantes en la programación lógica difusa desde un enfoque semántico: la programación central de conjuntos de respuestas difusas y la programación lógica normal multiadjunta. Específicamente, se muestra cómo los programas centrales de conjuntos de respuestas difusas pueden traducirse en programas lógicos normales multiadjuntos y viceversa, preservando la semántica del programa inicial. Esta traducción nos permite combinar la expresividad de la programación lógica normal multiadjunta con la concisión y simplicidad del lenguaje de programación central de conjuntos de respuestas difusas. Como consecuencia, se obtienen propiedades y resultados teóricos que relacionan los conjuntos de respuestas con los modelos estables de los marcos de programación lógica respectivos. Entre otros, este estudio permite la aplicación del teorema de existencia de modelos estables desarrollado para programas lógicos normales multiadjuntos para asegurar la existencia de conjuntos de respuestas en programas centrales de conjuntos de respuestas difusas.