Professional Documents
Culture Documents
Painter(Leonardo)
Composer (Palistrina)
Country(Italy)
Lived-In(Leonardo, Italy)
In(Italy, Europe)
Climate(Europe, moderate)
Painter(Rubens)
Lived-In(Rubens, Europe)
x,y (In(x, y) Climate(y, moderate) Climate(x, moderate))
Painter(Leonardo)
Composer(Palistrina)
Country(Italy)
Lived-In(Leonardo, Italy)
In(Italy,Europe)
Climate(Europe, moderate)
Painter(Rubens)
Lived-In(Rubens, Europe)
Italy/y
In(x, y) Climate(y, moderate)Climate(x, moderate) Climate(Italy, moderate)
Italy/x
In(Italy,Europe) In(Italy, y) Climate(y, moderate)
Europe/y
Climate(Europe, moderate) Climate(Europe, moderate)
Does Isaac Know Marcus?
Given:
x [Roman(x) know(x, Marcus)] [hate(x, Caesar) (y (z hate(y, z)) thinkcrazy(x, y))]
Prove:
know(Isaac, Marcus) * know(Isaac, Marcus)
Does Isaac Know Marcus?
• With 1 (Isaac/x) gives ** Roman(Isaac) hate(Isaac, Caesar)
hate(y, z) thinkcrazy (Isaac, y)
• With 2 gives hate(Isaac, Caesar) hate(y, z) thinkcrazy (Isaac, y)
• With 3 gives hate(y, z) thinkcrazy(Isaac, y)
• With 5 (Paulus/y) gives hate(Paulus, z)
• With 4 (Marcus/z) gives nil
Example of Resolution in Predicate Logic
(John Likes Peanuts)
Example of Resolution in Predicate Logic
(John Likes Peanuts)