✦ LIBER ✦
On consistency in probabilistic logic for logical formulas represented by B-hypertrees
✍ Scribed by Kim Allan Andersen
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 983 KB
- Volume
- 108
- Category
- Article
- ISSN
- 0377-2217
No coin nor oath required. For personal study only.
✦ Synopsis
One of the problems (mainly unsolved) in probabilistic logic is to consistently assign probabilities to logical formulas. In this paper we consider Horn formulas represented by B-hypertrees. We give a set of necessary conditions that any valid assignment of probabilities to the logical formulas should fulfill. If a certain condition is imposed on the B-hypertree, the necessary conditions are also sufficient, thus describing exactly which rules the assigned probabilities should obey to be consistent.