AI: Problem Set 4

Assigned: Mar. 9
Due: Mar. 30

Let L be the following first-order language, over a universe of whole numbers.

l(X,Y) --- Predicate. X is less than or equal to Y.
p(X,Y) --- Function. X+Y.
0, 1, 5, 8 --- Constants.
Consider the following axioms:

Problem 1

Give a backward-chaining proof of l(p(5,1), p(p(1,1),8)).

Problem 2

Give a forward-chaining proof of l(p(5,1), p(p(1,1),8)).