Abstract

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. /// 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.