Abstract
n-tableaux [1] and δ-resolution [2], which are based, respectively, on semantic tableaux and resolution, have been properly used for the resolution of abductive problems. The tool we present is a Prolog implementation of an abductive solver which combines both calculi to attack first order abductive problems by reducing them to finite versions, that is, propositional rewritings of the problems which presuppose a context representable with finite models with a known cardinality.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Reyes-Cabello, A.L., Aliseda-Llera, A., Nepomuceno-Fernández, A.: Abductive reasoning in first order logic. Logic Journal of the IGPL 14(2), 287–304 (2006)
Soler-Toscano, F., Nepomuceno-Fernández, A., Aliseda-Llera, A.: Model-based abduction via dual resolution. Logic Journal of the IGPL 14(2), 305–319 (2006)
Nepomuceno, A.: Scientific explanation and modified semantic tableaux. In: Magnani, L., Nerssessian, N., Pizzi, C. (eds.) Logical and Computational Aspects of Model-Based Reasoning. Applied Logic Series, pp. 181–198. Kluwer Academic Publishers, Dordrecht (2002)
Cialdea Mayer, M., Pirri, F.: First order abduction via tableau and sequent calculi. Bulletin of the IGPL 1, 99–117 (1993)
Beckert, B., Posegga, J.: leanTAP: Lean tableau-based deduction. Journal of Automated Reasoning 15(3), 339–358 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soler-Toscano, F., Nepomuceno-Fernández, Á. (2006). tarfa: Tableaux and Resolution for Finite Abduction. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_49
Download citation
DOI: https://doi.org/10.1007/11853886_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)