Integrating Logical and Probabilistic Reasoning for Decision Making

03/27/2013
by   John S. Breese, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

page 7

page 8

research
03/06/2013

Using Potential Influence Diagrams for Probabilistic Inference and Decision Making

The potential influence diagram is a generalization of the standard "con...
research
01/23/2013

Time-Critical Dynamic Decision Making

Recent interests in dynamic decision modeling have led to the developmen...
research
03/13/2013

Integrating Model Construction and Evaluation

To date, most probabilistic reasoning systems have relied on a fixed bel...
research
03/27/2013

Exact Reasoning Under Uncertainty

This paper focuses on designing expert systems to support decision makin...
research
07/01/2020

Reasoning with Contextual Knowledge and Influence Diagrams

Influence diagrams (IDs) are well-known formalisms extending Bayesian ne...
research
03/06/2013

A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging

We describe the integration of logical and uncertain reasoning methods t...
research
03/20/2013

Representation Requirements for Supporting Decision Model Formulation

This paper outlines a methodology for analyzing the representational sup...

Please sign up or login with your details

Forgot password? Click here to reset