Servicios Personalizados
Revista
Articulo
Indicadores
Citado por SciELO
Accesos
Links relacionados
Similares en SciELO
Compartir
Crítica (México, D.F.)
versión impresa ISSN 0011-1503
Resumen
SOLER TOSCANO, Fernando y NEPOMUCENO FERNANDEZ, Ángel. Abduction in Finite Models. 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.
We present an approach to abductive reasoning on C-structures, that is, structures with a finite domain such that each of its elements is the interpretation of a known constant of the language. We use a modification of the tableaux calculus and dual resolution to make a process which finds minimal abductive solutions within the proposed semantics.
Palabras llave : first order logic; dual resolution; semantic tableaux.