Abstract
The general purpose of this paper is to demonstrate through a well defined example how philosophy of science and Artificial Intelligence (AI) can benefit from each other by sharing some of their ideas, methods and techniques developed to tackle similar problems. The problem we will focus is the expression of non-deductive inferences, which is performed in AI by the use of nonmonotonic logics, and in philosophy of science by the attempt of constructing inductive logics. After analyzing to what extent one of the most wide spread nonmonotonic formalisms – default logic – can be taken as a logic of induction in the philosophical sense, and carefully considering the similarities and dissimilarities of the problems faced in these contexts, an expanded version of default logic, called by us a logic of logic of inductive implication, is introduced. It is then shown how this new framework can be used to represent different types of inductive calculi that may be of relevance to AI.
This work is partially supported by CNPq trough the LOCIA (Logic, Science and Artificial Intelligence) Project.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bèziau, J.Y.: S5 is a Paraconsistent Logic and so is First-Order Classical Logic. Logical Studies 9 (2002), http://www.logic.ru/LogStud/09/No9-01.html
Buchsbaum, A., Pequeno, T., Pequeno, M.: The Logical Expression of Reasoning. In: Béziau, J., Krause, D. (eds.) New Threats in Foundations of Science. Papers Dedicated to the Eightieth Birthday of Patrick Suppes, Kluver, Dordrecht (2005) (to appear)
Carnap, R.: Logical Foundations of Probability. U. of Chicago Press, Chicago (1950)
Ford, M., Glymour, C., Hayes, P. (eds.): Android Epistemology. The MIT Press, Cambridge (1995)
Gabbay, D., Hunter, A.: Making Inconsistency Respectable. In: Jorrand, P., Kelemen, J. (eds.) Proc. of Fundamental of AI Research, pp. 19–32. Springer, Heidelberg (1991)
Hempel, C.G.: Studies in the Logic of Confirmation. Mind 54, 1–26, 97-121 (1945)
Makinson, D.: General Patterns in Nonmonotonic Reasoning. In: Gabbay, D., Hogger, D., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3. Oxford University Press, Oxford (1994)
McCarthy, J.: Applications of Circumscription to Formalizing Commonsense Knowledge. Artificial Intelligence 26, 89–116 (1986)
Morris, P.H.: The Anomalous Problem in Default Reasoning. Artificial Intelligence 35, 383–399 (1988)
Pequeno, T., Buchsbaum, A.: The Logic of Epistemic Inconsistency. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proc. of Second International Conference, pp. 453–460. Morgan Kaufmann, San Mateo (1991)
Perlis, D.: On the Consistency of Commonsense Reasoning. Computational Intelligence 2, 180–190 (1987)
Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13, 81–132 (1980)
Reiter, R., Criscuolo, G.: On Interacting Defaults. In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, pp. 270–276. Morgan Kaufmann Publishers, San Francisco (1981)
Silvestre, R., Pequeno, T.: A Logical Treatment of Scientific Anomalies or AI Meets Philosophy of Science. In: Proceedings of the 2003 Int. Conference on Artificial Intelligence, pp. 669–675. CSRA Press (2003)
Silvestre, R., Pequeno, T.: Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol. 3171, pp. 124–133. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Silvestre, R.S., Pequeno, T.H.C. (2005). A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II. In: Kégl, B., Lapalme, G. (eds) Advances in Artificial Intelligence. Canadian AI 2005. Lecture Notes in Computer Science(), vol 3501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424918_25
Download citation
DOI: https://doi.org/10.1007/11424918_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25864-3
Online ISBN: 978-3-540-31952-8
eBook Packages: Computer ScienceComputer Science (R0)