62 citations · 161 across the 16 of their papers we have counts for
9 papers · 2 filters
A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition
Gregory M. Provan
We formulate Dempster Shafer Belief functions in terms of Propositional Logic using the implicit notion of provability underlying Dempster Shafer Theory. Given a set of proposition…
What is an Optimal Diagnosis?
David L. Poole, Gregory M. Provan
Within diagnostic reasoning there have been a number of proposed definitions of a diagnosis, and thus of the most likely diagnosis, including most probable posterior hypothesis, mo…
Dynamic Network Updating Techniques For Diagnostic Reasoning
Gregory M. Provan
A new probabilistic network construction system, DYNASTY, is proposed for diagnostic reasoning given variables whose probabilities change over time. Diagnostic reasoning is formula…
Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams
Gregory M. Provan
This paper addresses the tradeoffs which need to be considered in reasoning using probabilistic network representations, such as Influence Diagrams (IDs). In particular, we examine…
Knowledge Engineering for Large Belief Networks
Malcolm Pradhan, Gregory M. Provan, Blackford Middleton +1
We present several techniques for knowledge engineering of large belief networks (BNs) based on the our experiences with a network derived from a large medical knowledge base. The…
An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning
Max Henrion, Gregory M. Provan, Brendan del Favero +1
Qualitative and infinitesimal probability schemes are consistent with the axioms of probability theory, but avoid the need for precise numerical probabilities. Using qualitative pr…