Introduction to Artificial Intelligence - 21
If the hypotheses become empty, then we conclude that the initial hypothesis is true under the substitution θ. The following is the back-inference procedure. In this procedure, Hyp and θ are local variables in the procedure. The initial value of Hyp is the initial list of hypotheses (representing ...












