We identify various situations in probabilistic intelligent systems in which conditionals (rules) as mathematical entities as well as their conditional logic operations are needed. In discussing Bayesian updating procedure and belief function construction, we provide a new method for modeling if. .
Automatic derivation of probabilistic inference rules
โ Scribed by Manfred Jaeger
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 229 KB
- Volume
- 28
- Category
- Article
- ISSN
- 0888-613X
No coin nor oath required. For personal study only.
โฆ Synopsis
A probabilistic inference rule is a general rule that provides bounds on a target probability given constraints on a number of input probabilities. Example: from P AjB T r infer P XAjB P 1 ร r; 1. Rules of this kind have been studied extensively as a deduction method for propositional probabilistic logics. Many dierent rules have been proposed, and their validity proved ยฑ often with substantial eort. Building on previous work by Hailperin, in this paper we show that probabilistic inference rules can be derived automatically, i.e. given the input constraints and the target probability, one can automatically derive the optimal bounds on the target probability as a functional expression in the parameters of the input constraints.
๐ SIMILAR VOLUMES
NOTE ON RULES OF INFERENCE by HAO WANG in Cambridge, Massachusetts This note contains several simple model-theoretic remarks on the contrast of theorems with rules of inference, and a distinction studied by SCHUTTE ([S], pp.35-46) following a suggestion of LORENZEN ([a], pp. 19-20) and emphasized in