|Divide and conquer inference
allows us to perform inference separately over different parts of the
knowledge base, and to combine results by sending a “message” involving only
a small number of entities, e.g. (in this simple case), those in the
intersection between the parts. In
general, this extends to hierarchical structures.