We are given the following KB.

A ( P B) X

X Y P

B X Y

P R

R Q

A

B

a. Convert the knowledge base into CNF. Next, apply resolution to prove that KB |= Q. Which rule in the

KB you did not need to use in the inference?

b. Convert the knowledge base into Horn clausal form and apply backward chaining to infer KB |= Q.

c. Which of the above two is more efficient in terms of the number of inference steps?