Abduction via C-tableaux and δ-resolution

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

Our Archive

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

References found in this work BETA

Trees and Finite Satisfiability: Proof of a Conjecture of Burgess.George Boolos - 1984 - Notre Dame Journal of Formal Logic 25 (3):193-197.

Add more references

Citations of this work BETA

No citations found.

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
27 ( #302,937 of 2,242,756 )

Recent downloads (6 months)
11 ( #105,063 of 2,242,756 )

How can I increase my downloads?


My notes

Sign in to use this feature