G22.2590 - Natural Language Processing -- Spring 2003 -- Prof. Grishman

Assignment #10

April 11, 2005

(Predicate calculus practice)
 
[1 point each]

  1. For at least some speakers, the sentence

        Everyone noticed a cat.

    is ambiguous.  Formalize this ambiguity by expressing its two readings in predicate calculus (without event reification).

  2. Formalize the different between the following two sentences

        John read a book and Mary read it too.
        John read a book and Mary read one too

    by expressing their meanings in predicate calculus (without event reification).

  3. Using predicate calculus with event reification, and treating vegetarians and hamburgers as sets of objects (to be quantified over), represent the meaning of

        Vegetarians do not eat hamburgers.

  4. Express the following in idiomatic English

       (forall x) loves(Arthur,x)
       loves(Fred, Fred)
       (forall x) (rich(x) implies loves(George, x))
       ~(exists x) (forall y) loves(x, y)
Due April 25th.