Artículo
Abducción en modelos finitos
Autor/es | Soler Toscano, Fernando
Nepomuceno Fernández, Ángel |
Departamento | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia |
Fecha de publicación | 2008 |
Fecha de depósito | 2018-05-07 |
Publicado en |
|
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 ... 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. |
Cita | Soler Toscano, F. y Nepomuceno Fernández, Á. (2008). Abducción en modelos finitos. Crítica: Revista Hispanoamericana de Filosofía, 40 (118), 57-78. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Modelos Finitos.pdf | 153.8Kb | [PDF] | Ver/ | |