David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 144 (2):181 - 248 (2005)
Inductive probabilistic reasoning is understood as the application of inference patterns that use statistical background information to assign (subjective) probabilities to single events. The simplest such inference pattern is direct inference: from “70% of As are Bs” and “a is an A” infer that a is a B with probability 0.7. Direct inference is generalized by Jeffrey’s rule and the principle of cross-entropy minimization. To adequately formalize inductive probabilistic reasoning is an interesting topic for artificial intelligence, as an autonomous system acting in a complex environment may have to base its actions on a probabilistic model of its environment, and the probabilities needed to form this model can often be obtained by combining statistical background information with particular observations made, i.e., by inductive probabilistic reasoning. In this paper a formal framework for inductive probabilistic reasoning is developed: syntactically it consists of an extension of the language of first-order predicate logic that allows to express statements about both statistical and subjective probabilities. Semantics for this representation language are developed that give rise to two distinct entailment relations: a relation ⊨ that models strict, probabilistically valid, inferences, and a relation that models inductive probabilistic inferences. The inductive entailment relation is obtained by implementing cross-entropy minimization in a preferred model semantics. A main objective of our approach is to ensure that for both entailment relations complete proof systems exist. This is achieved by allowing probability distributions in our semantic models that use non-standard probability values. A number of results are presented that show that in several important aspects the resulting logic behaves just like a logic based on real-valued probabilities alone.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Richard Jeffrey (1983). The Logic of Decision. University of Chicago Press.
Leonard J. Savage (1954). The Foundations of Statistics. Wiley Publications in Statistics.
Rudolf Carnap (1962). Logical Foundations of Probability. Chicago]University of Chicago Press.
Judea Pearl (1988). Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann.
Glenn Shafer (1976). A Mathematical Theory of Evidence. Princeton University Press.
Citations of this work BETA
No citations found.
Similar books and articles
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Samir Okasha (2003). Probabilistic Induction and Hume's Problem: Reply to Lange. Philosophical Quarterly 53 (212):419–424.
Yao-Hua Tan (1997). Is Default Logic a Reinvention of Inductive-Statistical Reasoning? Synthese 110 (3):357-379.
Angelo Gilio (2005). Probabilistic Logic Under Coherence, Conditional Interpretations, and Default Reasoning. Synthese 146 (1-2):139 - 152.
Alberto Mura (1990). When Probabilistic Support is Inductive. Philosophy of Science 57 (2):278-289.
Peter Railton (1978). A Deductive-Nomological Model of Probabilistic Explanation. Philosophy of Science 45 (2):206-226.
Jon Williamson, Jan-Willem Romeijn, Rolf Haenni & Gregory Wheeler (2008). Logical Relations in a Statistical Problem. In Benedikt Lowe, Jan-Willem Romeijn & Eric Pacuit (eds.), Proceedings of the Foundations of the Formal Sciences VI: Reasoning about probabilities and probabilistic reasoning. College Publications
Roger M. Cooke (1986). Probabilistic Reasoning in Expert Systems Reconstructed in Probability Semantics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:409 - 421.
Added to index2009-01-28
Total downloads45 ( #89,231 of 1,790,336 )
Recent downloads (6 months)8 ( #106,521 of 1,790,336 )
How can I increase my downloads?