A probabilistic logic with polynomial weight formulas

Authors:
Aleksandar Perović;Zoran Ognjanović;Miodrag Rašković;Zoran Marković
Affiliations:
Saobraćajni fakultet, Beograd, Srbija;Matematički Institut SANU, Beograd, Sbija;Matematički Institut SANU, Beograd, Sbija;Matematički Institut SANU, Beograd, Sbija
Venue:
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Year:
2008

Citing 7
Cited 6

Probabilistic logic

Artificial Intelligence
Some algebraic and geometric computations in PSPACE

STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Some first-order probability logics

Theoretical Computer Science
Probabilistic Default Reasoning with Conditional Constraints

Annals of Mathematics and Artificial Intelligence
Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation

International Journal of Approximate Reasoning
Generalized qualitative probability: savage revisited

UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence

Interpolative Boolean Logic

AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm

Fuzzy Sets and Systems
A branching time logic with two types of probability operators

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
A probabilistic temporal logic that can model reasoning about evidence

FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
On real-valued evaluation of propositional formulas

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A propositional probabilistic logic with discrete linear time for reasoning about evidence

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.