Abducción en modelos finitos
Contenido principal del artículo
Resumen
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante conocida. Empleando una variante del cálculo de tablas semánticas y resolución dual, construimos un procedimiento efectivo para encontrar soluciones abductivas minimales dentro de la semántica propuesta.
Descargas
Los datos de descargas todavía no están disponibles.
Detalles del artículo
Cómo citar
Soler Toscano, F., & Fernández, Ángel N. (2019). Abducción en modelos finitos. Crítica. Revista Hispanoamericana De Filosofía, 40(118). https://doi.org/10.22201/iifs.18704905e.2008.1021
Métricas de PLUMX
Crítica, Revista Hispanoamericana de Filosofía by Universidad Nacional Autónoma de México is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional License.
Creado a partir de la obra en http://critica.filosoficas.unam.mx/index.php/critica.