AI: Problem Set 3

Assigned: Feb. 16
Due: Mar. 2

Let L be the following first-order language, over a universe of people (that is, all terms refer to people):

c(X,Y) --- X is a child of Y.
g(X,Y) --- X is a grandchild of Y.
s(X,Y) --- X is a sibling of Y. (This includes half-siblings; also, a person is considered his own sibling.)
r(X) --- X is in room 400.
e -- Constant: Ed.

Problem 1

Represent the following statements in L.

Problem 2

Give a resolution proof of D from A, B, and C. Please note:

Problem 3.

Give a resolution proof of F from A and E.