The formalization of abductive reasoning has received increasing attention from logicians. However, few work is found beyond abduction in propositional logic, given that in a first order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial intelligence allow finite domains to work with, and this gives an opportunity to apply abduction in first order logic with restricted domains. In this paper, we present an approach to abductive reasoning in C-structures, first order structures with a finite domain in which each of its elements has a corresponding constant representing its interpretation. By using semantic tableaux with bounded depth, that is, C-tableaux and δ-resolution calculus, we build an effective procedure for the searching of minimal abductive solutions within the proposed semantics.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.3166/jancl.19.211-225
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,639
Through your library

References found in this work BETA

A Machine-Oriented Logic Based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
Trees and Finite Satisfiability: Proof of a Conjecture of Burgess.George Boolos - 1984 - Notre Dame Journal of Formal Logic 25 (3):193-197.

View all 6 references / Add more references

Citations of this work BETA

A Verisimilitudinarian Analysis of the Linda Paradox.Gustavo Cevolani, Vincenzo Crupi & Roberto Festa - 2012 - VII Conference of the Spanish Society for Logic, Methodology and Philosphy of Science.

Add more citations

Similar books and articles

Deduction and Abduction.Fernando Soler Toscano & Angel Nepomuceno Fernandez - 2008 - Teorema: International Journal of Philosophy 27 (1):5-16.
Metamodeling Abduction.Angel Nepomuceno Fernández & Fernando Soler Toscano - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):285-293.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Lacunae, Empirical Progress and Semantic Tableaux.Atocha Aliseda - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):169-189.
Deducción y abducción.Fernando Soler Toscano & Ángel Nepomuceno Fernández - 2008 - Teorema: International Journal of Philosophy 27 (1):00-00.
Scientific Explanation and Modified Semantic Tableaux.Angel Nepomuceno-Fernandez - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 181--198.


Added to PP index

Total views
31 ( #313,345 of 2,331,363 )

Recent downloads (6 months)
1 ( #588,490 of 2,331,363 )

How can I increase my downloads?


My notes