Instantiation to Support the Integration of Logical and Probabilistic Knowledge

Abstract

Integrating the expressive power of first-order logic with the ability of probabilistic reasoning of Bayesian networks has attracted the interest of many researchers for decades. We present an approach to integration that translates logical knowledge into Bayesian networks and uses Bayesian network composition to build a uniform representation that supports… (More)
View Slides

Topics

Cite this paper

@inproceedings{Wang2011InstantiationTS, title={Instantiation to Support the Integration of Logical and Probabilistic Knowledge}, author={Jingsong Wang and Marco G. Valtorta}, year={2011} }