Lecture 13

For the second assignment you're going to have to come up with some heuristics, some that we've been talking about.
Assignment 2 is game playing.

Non-compositional sentences.

x believes that the morning star is difference from the evening star.;

Propositional logic is nice, complete, but it doesn't have much power.
We want to be able to move beyond that and reason about collections of objects and their properties.
First Order Logic
Objects: Plants, animals, nu,mber.
Properties - yummy, big
Relations - faster than

Syntax
Constants A, B, Sally
Variables x y z
Functions of Terms f(sally), g(f(Sally))

Sentences
Atomic
Complex

FOL - First Order Languages
Mapping from syntax to world.

M(term) = object