49 citations · 184 across the 18 of their papers we have counts for
14 papers · 1 filter
Convergent Deduction for Probabilistic Logic
Peter Haddawy, Alan M. Frisch
This paper discusses the semantics and proof theory of Nilsson's probabilistic logic, outlining both the benefits of its well-defined model theory and the drawbacks of its proof th…
Probability as a Modal Operator
Alan M. Frisch, Peter Haddawy
This paper argues for a modal view of probability. The syntax and semantics of one particularly strong probability logic are discussed and some examples of the use of the logic are…
Time, Chance, and Action
Peter Haddawy
To operate intelligently in the world, an agent must reason about its actions. The consequences of an action are a function of both the state of the world and the action itself. Ma…
Abstracting Probabilistic Actions
Peter Haddawy, AnHai Doan
This paper discusses the problem of abstracting conditional probabilistic actions. We identify two distinct types of abstraction: intra-action abstraction and inter-action abstract…
Generating Bayesian Networks from Probability Logic Knowledge Bases
Peter Haddawy
We present a method for dynamically generating Bayesian networks from knowledge bases consisting of first-order probability logic sentences. We present a subset of probability logi…
A Theoretical Framework for Context-Sensitive Temporal Probability Model Construction with Application to Plan Projection
Liem Ngo, Peter Haddawy, James Helwig
We define a context-sensitive temporal probability logic for representing classes of discrete-time temporal Bayesian networks. Context constraints allow inference to be focused on…