Sep 24, 2003
-------------

- Getting comfortable with first order predicates
        - creating your own vocabulary
        - forming sentences

- Many ways of modeling sentences
        - e.g., Richard has brothers.
                - p
                - HasBrothers(Richard).
                - Ex: Brother(Richard,x).
                - Ex,y: Brother(Richard,x) ^
                        Brother(Richard,y) ^
                        ~Equal(x,y).
        - E denotes "there exists"

- More complex examples
        - Richard has at least two brothers.
        - Richard has exatly two brothers.
        - Richard has at most two brothers.

- Capturing facts about the real world
        - Marcus and Caesar example
        - Bill and Sue example

- Domain theories: 1
        - Marcus was a man.
        - Marcus was a Pompeiian.
        - Caesar was a ruler.
        - Marcus tried to assassinate Caesar.
        - All Pompeians were Romans.
        - All Romans were either loyal to Caesar or hated him.
        - Everyone is loyal to someone.
        - People try to assassinate rulers they are not loyal to.
                - slightly tricky
        - what more do you need?

- Domain theories: 2
        - Apples are food.
        - Chicken is food.
        - John likes all kinds of food.
        - Anything anyone eats and isn't killed by is food.
        - Bill eats peanuts and is alive.
        - Sue eats everything Bill eats.