Note: The solutions to problem set 3 will be posted on or about March 30. You should check that you are starting from the right first-order encoding of the sentences.
Consider the following knowledge base:
Facts:What new facts can be inferred using forward chaining? (You should explain how facts are combined with the rules to get new facts; e.g.
11. parent(X,Y) => child(Y,X).
12. child(X,Y) ^ male(X) => son(X,Y).
13. child(X,Y) ^ female(X) => daughter(X,Y).
14. parent(X,Y) => ancestor(X,Y)
15. parent(X,Y) ^ ancestor(Y,Z) => ancestor(X,Z).
Combining rule 11 with fact 1 under the substitution X=ed Y=anne gives the new fact
You should trace paths that do not lead to a solution as well as those that do. Assume that backward chaining is executed in Prolog order. Your trace should follow the form in the backward chaining handout.