Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox


Integrating Logical and Probabilistic Reasoning for Decision Making

Mar 27, 2013
John S. Breese, Edison Tse


Share this with someone who'll enjoy it:


We describe a representation and a set of inference methods that combine logic programming techniques with probabilistic network representations for uncertainty (influence diagrams). The techniques emphasize the dynamic construction and solution of probabilistic and decision-theoretic models for complex and uncertain domains. Given a query, a logical proof is produced if possible; if not, an influence diagram based on the query and the knowledge of the decision domain is produced and subsequently solved. A uniform declarative, first-order, knowledge representation is combined with a set of integrated inference procedures for logical, probabilistic, and decision-theoretic reasoning.

* Appears in Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (UAI1987) 


   Access Paper Source



Share this with someone who'll enjoy it: