Crítica, Revista Hispanoamericana de Filosofía, Volume 40, number 118, abril 2008
Abducción en modelos finitos
[Abduction in Finite Models]
Fernando Soler Toscano
Departamento de Filosofía, Lógica y Filosofía de la Ciencia
Universidad de Sevilla

fsoler@us.es
Ángel Nepomuceno Fernández
Departamento de Filosofía, Lógica y Filosofía de la Ciencia
Universidad de Sevilla

nepomuce@us.es

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.
Keywords: first order logic, dual resolution, semantic tableaux

Abstract in Spanish | PDF en Spanish (154 Kb)