Abducción en modelos finitos

• Autores: Fernando Soler Toscano, Ángel Nepomuceno Fernández
• Localización: Crítica: revista hispanoamericana de filosofía, ISSN 0011-1503, Vol. 40, Nº. 118, 2008, págs. 57-78
• Idioma: español
• Enlaces
  • Texto completo
• 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.