How do we ensure coherent inference?
Theorem: After CommunicateBelief, answers to queries from any agent is identical to what is obtained from an equivalent homogeneous BN.
Implication: Distribution causes no loss of coherence.
Complexity of inference computation
- Inference at one agent: O(k 2^m), where m is the maximal size of a clique and k is the number of cliques in the JT.
- CommunicateBelief: O(t g k 2**m), where t is the number of agents and g is the maximal number of linkages in a hyperlink.