Artificial Intelligence: Problem Set 3: Solutions

Assigned: Oct. 3
Due: Oct. 10

Problem 1

Let U be a universe containing people and songs. Let L be a language with the following primitives.
c(P,S) --- Person P composed song S.
l(P,S) --- Person P likes song S.
s(P,S) --- Person P sings song S.
m(S) --- Song S is in a major key.
Constants: a --- Amy; b --- Barry; d --- David; y -- Yankee Doodle.
Express the following statements in L: