SciELO - Scientific Electronic Library Online

 
vol.40 número118Wittgenstein, Geertz y la comprensión de metáforasLa doctrina platónica de los colores: una interpretación realista índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay artículos similaresSimilares en SciELO

Compartir


Crítica (México, D.F.)

versión impresa ISSN 0011-1503

Resumen

SOLER TOSCANO, Fernando  y  NEPOMUCENO FERNANDEZ, Ángel. Abducción en modelos finitos. Crítica (Méx., D.F.) [online]. 2008, vol.40, n.118, pp.57-78.  Epub 30-Abr-2020. ISSN 0011-1503.  https://doi.org/10.22201/iifs.18704905e.2008.1021.

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.

Palabras llave : lógica de primer orden; resolución dual; tablas semánticas.

        · resumen en Inglés     · texto en Español