Abduction in Finite Models

Abstract

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.