The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for performing inference. Thus, under time pressure, there is a tradeoff between the time dedicated to reformulating the network and the time applied to the implementation of a solution. We investigate this partition of resources into time applied to reformulation and time used for inference. We shall describe first general principles for computing the ideal partition of resources under uncertainty. These principles have applicability to a wide variety of problems that can be divided into interdependent phases of problem solving. After, we shall present results of our empirical study of the problem of determining the ideal amount of time to devote to searching for clusters in belief networks. In this work, we acquired and made use of probability distributions that characterize (1) the performance of alternative heuristic search methods for reformulating a network instance into a set of cliques, and (2) the time for executing inference procedures on various belief networks. Given a preference model describing the value of a solution as a function of the delay required for its computation, the system selects an ideal time to devote to reformulation. ∗This work was supported by Rockwell International Science Center and the National Science Foundation under Grant IRI-8703710.
[1]
Ross D. Shachter,et al.
Simulation Approaches to General Probabilistic Inference on Belief Networks
,
2013,
UAI.
[2]
John S. Breese,et al.
CONSTRUCTION OF BELIEF AND DECISION NETWORKS
,
1992,
Comput. Intell..
[3]
Eric Horvitz,et al.
Bounded Conditioning: Flexible Inference for Decisions under Scarce Resources
,
2013,
UAI 1989.
[4]
Eric Horvitz,et al.
Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study
,
1989,
IJCAI.
[5]
Judea Pearl,et al.
Fusion, Propagation, and Structuring in Belief Networks
,
1986,
Artif. Intell..
[6]
Robert E. Tarjan,et al.
Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
,
1984,
SIAM J. Comput..
[7]
Judea Pearl,et al.
Probabilistic reasoning in intelligent systems - networks of plausible inference
,
1991,
Morgan Kaufmann series in representation and reasoning.
[8]
David J. Spiegelhalter,et al.
Local computations with probabilities on graphical structures and their application to expert systems
,
1990
.