Probabilistic Logic with Conditional Independence Formulae

Authors:
Magdalena Ivanovska;Martin Giese
Affiliations:
University of Oslo, Norway, email: magdalei/martingi@ifi.uio.no;University of Oslo, Norway, email: magdalei/martingi@ifi.uio.no
Venue:
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Year:
2010

Citing 6
Cited 1

A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Bayesian logic

Decision Support Systems - Special issue on logic modeling
Credal networks

Artificial Intelligence
Learning Bayesian Networks

Learning Bayesian Networks
Probabilistic logic with independence

International Journal of Approximate Reasoning
Probabilistic Logic with Conditional Independence Formulae

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence

Probabilistic Logic with Conditional Independence Formulae

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate a probabilistic propositional logic that is an extension of the logic proposed by Fagin et al. [4] with conditional independence formulae. We give an axiomatization which we show to be complete for the kind of inferences allowed by Bayesian networks.