Prev Up
Go backward to Solution to part (a)
Go up to 5 Proofs (with variables)

Solution to part (b)

Are there any other answers? If so, explain where a different choice could be made in the derivation in the previous answer, and continue the derivation showing another example. If there are no other answers explain why not.

Yes, there is one more answer (if you weren't sure you should have run the program!).

   at *** choose clause 2 under
   {T2/c(b,T3),L/c(b,c(Y,E1)),H/b,R/c(b,c(a,emp)),T/T3}
yes(Y) <- ap(T3,c(b,c(Y,E1)),c(b,c(a,emp)))
   choose clause 1 under {T3/emp,L/c(b,c(a,emp)),Y/a,E1/emp}
yes(a) <-

Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998

Prev Up