Actas de congresos
Surviving Abduction
Registro en:
Logic Journal Of The Igpl. , v. 14, n. 2, p. 237 - 256, 2006.
13670751
10.1093/jigpal/jzk016
2-s2.0-33750168132
Autor
Carnielli W.
Institución
Resumen
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of searching, and the function of providing an explanans to the explanandum) is a kind of complement for usual argumentation. There is, however, an inferential step from the explanandum to the (one or more) abductive explanans (that is, to the facts that will explain it). Whether this inferential step can be captured by logical machinery depends upon a number of assumptions, but in any case it suffers in principle from the triviality objection: any time a singular contradictory explanans occurs, the system collapses and stops working. The traditional remedies for such collapsing are the expensive (indeed, NP-complete) mechanisms of consistency maintenance, or complicated theories of non-monotonic derivation that keep the system running at a higher cost. I intend to show that the robust logics of formal inconsistency, a particular category of paraconsistent logics which permit the internalization of the concepts of consistency and inconsistency inside the object language, provide simple yet powerful techniques for automatic abduction. Moreover, the whole procedure is capable of automatization by means of the tableau proof-procedures available for such logics. Some motivating examples are discussed in detail. © 2006 Oxford University Press. 14 2 237 256 Carnielli, W.A., Possible-translations semantics for paraconsistent logics (1998) "Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paxaconsistency", pp. 149-163. , In Ghent, (editors D. Batens, C. Mortensen, G. Priest, and J.-P. van Bendegem). Baldock: Research Studies Press, King's College Publications, London, 2000 Caxiiielli, W.A., Marcos, J., A taxonomy of C-systems (2002) "Paraconsistency: The Logical, Way to the Inconsistent - Proceedings of WCP'2000", 1 (5), pp. 1-94. , http://www.cle.uaicamp.br/e-prints/abstract_5.htm, In (editors W.A. Carnielli, M. E. Coniglio and I. M. L. D'Ottaviano) Marcel Dekker, New York, Pre-print available at CLE e-Prints, 2001: URL = Magnani, L., Inconsistencies and creative abduction in science (1999) "AI and Scientific Creativity.'Proceedings of the AISB99 Symposium on Scientific Creativity", pp. 1-8. , In Society for the Study of Artificial Intelligence and Simulation of Behaviour Edinburgh College of Art and Division of Informatics, University of Edinburgh, Edinburgh Peirce, C.S., (1931) The Collected Papers of Charles Sanders Peirce, 1-6. , Edited by Charles Hartshone and Paul and Arthur Burks (volumes 7-8). Harvard University Press, Cambridge, Massachusetts Carnielli, W.A., Marcos, J., de Amo, S., Formal inconsistency and evolutionary databases (2000) Logic and Logical Philosophy, 16, pp. 115-152 Carnielli, W.A., Coniglio, M.E., Marcos, J., Logics of Formal Inconsistency (2005) Handbook of Philosophical Logic, , (editors D. Gabbay and F. Guenthner), Kluwer Academic Publishers, In print de Amo, S., Carnielli, W.A., Marcos, J., A logical framework for integrating inconsistent information in multiple databases (2002) Proceedings of the II International Symposium an Foundations of Information and Knowledge Systems- FoIKS 2002, pp. 67-84. , Lecture Notes in Computer Science 2284, Springer-Verlag, Berlin, Thomas Eiter and Klaus-Dieter Schewe, editors Bocheński, I.M., (1961) A History of Formal Logic, , Trranslated and edited by Ivo Thomas Notre Dame, Indiana Ashworth, E.J., Propositional logic in the sixteenth and early seventeenth Centuries (1968) Notre Dame Journal of Formal Logic, 9 (2). , April Tweedale, M., Abelard and the culmination of the old logic (1982) The Cambridge History of Later Medieval Philosophy, pp. 143-157. , In N. Kretzmann, A. Kenny, J. Pinborg (eds.), Cambridge, Cambridge University Press Anderson, D.R., (1987) Creativity and the Philosophy of C.S. Peirce, , Martinus Nijhoff, Dordrecht Aliseda, A., Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence (1997), http://www.wins.uva.nl/research/illc/Dissertations, Ph.D. Dissertation. Stanford University. Institute for Logic, Language and Information (ILLC), Dissertation Series, Universiteit van Amsterdam. 1997. Available from: URL =Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M., Coherent integration of databases by abductivelogic programming (2004) Journal of Artificial Intelligence Research, 21, pp. 2451-3286 Bueno-Soler, J., Carnielli, W.A., Possible-translations algebraization for paraconsistent logics (2005) Bulletin of The Section of Logic, 34 (2), pp. 77-92 Carnielli, W.A., Systematization of the finite many-valued logics through the method of tableaux (1987) The Journal of Symbolic Logic, 52, pp. 473-493 Carnielli, W.A., Marcos, J., Tableau systems for logics of formal inconsistency (2001) Proc. Int. Conf. on Artificial Intelligence (IC-AI'0l), 2, pp. 848-852. , In CSREA Press Carnielli, W.A., Lima-Marques, M., Reasoning under Inconsistent Knowledge (1992) Journal of Applied Non-Classical Logics, 2 (1), pp. 49-79 Carnielli, W.A., Coniglio, M.E., Marcos, J., Logics of Formal Inconsistency (2005) Handbook of Philosophical Logic, 14. , http://www.cle.unicamp.br/e-prints/articies.html, (editors D. Gabbay and F. Guenthner),Kluwer Academic Publishers,. Preliminary version available at CLE e-Prints, 5(1) 2005. URL = Caleiro, C., Carnielli, W.A., Coniglio, M.E., Marcos, J., Two's company: "The humbug of many logical values" (2005) Logica Universalis, pp. 169-189. , In: J.-Y. Bziau, editor, Birkhuser Verlag Coniglio, M.E., Obtención de respuestas en bases de conocimiento a partir de completaciones (1992) Query Procedures in Knowledge Bases By Means of Completions- Proceedings of XXI JAIIO (Argentinian Symposium on Informatics and Operational Research), pp. 1.31-1.63. , In: SADIO Epstein, R.L., (2005), On mathematics. manuscript, OctoberMarcos, J., (1999) Semânticas De Traduções Possiveis, , (Possible Translations Semantics, in Portuguese). Master Thesis, IFCH-UNICAMP, Campinas, Brazil Mancosu, P., Mathematical explanation: Problems and prospects (2001) Topoi, 20, pp. 97-117 Boolos, G., Trees and finite satisfiability: Proof of a conjecture of Burgess (1984) Notre Dame J. Formal Logic, 25 (3), pp. 193-197