Abstract
A Theory of Abduction and Induction is outlined within the framework of Labelled Deductive Systems (LDS). It is argued that abductive principles are dependent on the computation procedures and are to be considered as items of data in the database.
Research Supported by SERC grant GR/G29861, Rule Based Systems. I am grateful to M D'Agustino for critically reading the manuscript.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
D M Gabbay, Labelled Deductive Systems, manuscript 1989, to appear as a book with OUP. Part 1 published as CIS Report, Munich 1990.
D M Gabbay, Labelled Deductive Systems, A Position Paper, in Proceedings Logic Colloquium 90, Springer Verlag 1991.
D M Gabbay, R Kempson, Labelled Abduction and Relevance, unpublished draft.
K Eshghi, R A Kowalski, Abduction Compared with Negation by Failure, Proc 6th ICLP 89, MIT Press 1989.
N Oliveti, L Terracini, N-Prolog and Equivalence of Logic programs Part 1, Manuscript, University of Torino, 1991.
D M Gabbay, U Reyle, N-Prolog, An Extension of Prolog with Hypothetical Implication, Journal of Logic Programming, 4, 319–355, 1984.
D M Gabbay, N-Prolog Part II, Journal of Logic Programming 5, 251–283, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gabbay, D.M. (1991). Abduction in labelled deductive systems a conceptual abstract. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_58
Download citation
DOI: https://doi.org/10.1007/3-540-54659-6_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54659-7
Online ISBN: 978-3-540-46426-6
eBook Packages: Springer Book Archive