Synthese 144 (2):181 - 248 (2005)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
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 downloads16 ( #74,784 of 549,683 )
Recent downloads (6 months)1 ( #63,425 of 549,683 )
How can I increase my downloads?