probabilistic inference systems that take a holistic
view of the assertion graph and try to reconcile the
results of multiple paths of exploration.

Hypothesis IdentificationAs figure 2 shows, the process can go through multi-ple iterations, during which the nodes that were theanswers to the previous round of questions can beused to ask the next round of questions, producingmore nodes and edges in the graph.

After each iteration we may do hypothesis identification, where some nodes in the graph are identi-