Using First-Order Probability Logic for the Construction of Bayesian Networks

03/06/2013
by   Fahiem Bacchus, et al.
0

We present a mechanism for constructing graphical models, specifically Bayesian networks, from a knowledge base of general probabilistic information. The unique feature of our approach is that it uses a powerful first-order probabilistic logic for expressing the general knowledge base. This logic allows for the representation of a wide range of logical and probabilistic information. The model construction procedure we propose uses notions from direct inference to identify pieces of local statistical information from the knowledge base that are most appropriate to the particular event we want to reason about. These pieces are composed to generate a joint probability distribution specified as a Bayesian network. Although there are fundamental difficulties in dealing with fully general knowledge, our procedure is practical for quite rich knowledge bases and it supports the construction of a far wider range of networks than allowed for by current template technology.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/27/2013

Generating Bayesian Networks from Probability Logic Knowledge Bases

We present a method for dynamically generating Bayesian networks from kn...
research
03/27/2013

A Dynamic Approach to Probabilistic Inference

In this paper we present a framework for dynamically constructing Bayesi...
research
07/04/2012

Of Starships and Klingons: Bayesian Logic for the 23rd Century

Intelligent systems in an open world must reason about many interacting ...
research
03/27/2013

Maintenance in Probabilistic Knowledge-Based Systems

Recent developments using directed acyclical graphs (i.e., influence dia...
research
04/21/2015

Reasoning about Unmodelled Concepts - Incorporating Class Taxonomies in Probabilistic Relational Models

A key problem in the application of first-order probabilistic methods is...
research
10/19/2012

A possibilistic handling of partially ordered information

In a standard possibilistic logic, prioritized information are encoded b...
research
08/01/2011

Scaling Inference for Markov Logic with a Task-Decomposition Approach

Motivated by applications in large-scale knowledge base construction, we...

Please sign up or login with your details

Forgot password? Click here to reset