zbMATH — the first resource for mathematics

A probabilistic logic with polynomial weight formulas. (English) Zbl 1138.03315
Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 239-252 (2008).
Summary: The paper presents a sound and strongly complete axiomatization of reasoning about polynomial weight formulas. In addition, the PSPACE decision procedure for polynomial weight formulas developed by Fagin, Halpern and Megiddo works for our logic as well. The introduced formalism allows the expression of qualitative probability statements, conditional probability and Bayesian inference.
For the entire collection see [Zbl 1138.68304].

03B48 Probability and inductive logic
Full Text: DOI