Abstract
The intention here is to develop a theory of machine learning (in particular, abductive reasoning) using the framework of D. Gabbay's Labelled Deductive Systems (LDS), in the light of Gillies' perspective on the dichotomy ‘deductive versus inductive logic’ where controlled inference serves as the bridging notion. From this point of view, abductive reasoning, a topic that attracts much interest in AI and automated reasoning research, can be seen as a kind of controlled deduction where the control component will be represented by the labels of the LDS framework; this work investigates the possibility of treating the meta-level considerations of the abductive reasoning in terms of the informations handled by the labels on the labelled formulae of such framework.
Preview
Unable to display preview. Download preview PDF.
References
Luca Console, Daniele Theseider Dupre, and Pietro Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661–690, 1991.
Ruy J. G. B. de Queiroz and Dov M. Gabbay. An introduction to labelled natural deduction. Proc 3dr Adv. Summer Sch. in AI, Sept 21–25'92, 1992. Paper available via anonymous ftp from theory.doc.ic.ac.uk, file intro-Ind.i,ps.gz in /papers/deQueiroz.
Dov M. Gabbay. LDS — Labelled Deductive Systems, Volume I — Foundations. Oxford University Press, 1994. First Draft 1989. Current Draft, 465pp.,May 1994. Published as MPI-I-94-223, Max-Planck-Institut für Informatik, Saarbrücken, Germany.
Donald Gillies. A rapprochement between deductive and inductive logic. Bulletin of the Interest Group in Pure and Apllied Logics, 2(2):149–166, 1994.
Marta Cialdea Mayer and Fiora Pirri. First order abduction via tableau and sequent calculi. Bulletin of the Interest Group in Pure and Applied Logics, 1(1):99–117, 1993.
Marta Cialdea Mayer and Fiora Pirri. Prepositional abduction in modal logic. Bulletin of the Interest Group in Pure and Applied Logics, 1995. Special Issue on Proc. Tableaux Workshop 1994, (to appear).
Marta Cialdea Mayer and Fiora Pirri. Towards a logical characterization of abductive reasoning. Bulletin of the Interest Group in Pure and Applied Logics, 1995. Special Issue on Mechanised Deduction on the Logics of Practical Reasoning, (to appear).
Prawitz, D. Natural Deduction. A Proof-Theoretical Study, volume 3 of Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy. Almqvist & Wiksell, Stockholm, 113pp, 1965.
Thomas A. Sebeok and Jean Umiker Sebeok. “Você conhece o meu método”: Uma justaposição de Charles S. Peirce e Sherlock Holmes. In O signo de três. Editora Perspectiva, 1991. From the original: The sign of three. Indiana University Press, 1983.
Francesca Toni. Abductive Logic Programming. PhD thesis, University of London, February 1995. Department of Computing, Imperial College of Science, Technology and Medicine.
Wlodek Zadrozny. Is there a prototypical rule of abduction? (yes, e.g. in proximity based explanation). J. Expt. Theor. Artif. Intell., 6:147–162, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Riccio, N.C.R., de Queiroz, R.J.G.B. (1995). Labelled abduction. In: Wainer, J., Carvalho, A. (eds) Advances in Artificial Intelligence. SBIA 1995. Lecture Notes in Computer Science, vol 991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034802
Download citation
DOI: https://doi.org/10.1007/BFb0034802
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60436-5
Online ISBN: 978-3-540-47467-8
eBook Packages: Springer Book Archive