Thus, the cost of H is the sum of the costs of p ∈ P, such that p is included in the hypothesis (h p = 1) and is not explained (r p = 0).
the backchaining bottoms out in p. The space of candidate hypotheses is restricted by several ILP constraints.