1 / 9

LING 581: Advanced Computational Linguistics

LING 581: Advanced Computational Linguistics. Lecture Notes April 5th. Today’s Topics. Homework Revisited Part 3: Presentations Proposal for FNA/Treatise corpora experiments. Last Time: Montague-style. One possible solution:. Last Time: Barwise -Cooper style.

ira
Download Presentation

LING 581: Advanced Computational Linguistics

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. LING 581: Advanced Computational Linguistics Lecture Notes April 5th

  2. Today’s Topics • Homework Revisited • Part 3: Presentations • Proposal for FNA/Treatise corpora experiments

  3. Last Time: Montague-style • One possible solution:

  4. Last Time: Barwise-Cooper style • Possible solution (needs modification):

  5. Last Time: Barwise-Cooper style fails because it stops for each instantiation (reading) of _G312

  6. Last Time: Barwise-Cooper style • Use Var^ with setof or findall:

  7. Quantifiers: Homework Part 3: Coordination • Extend your two grammars to handle • Every man and every woman likes John

  8. Other Quantifiers • Other quantifiers can also be expressed using set relations between two predicates: Example: no: {X: P1(X)} ∩ {Y: P2(Y)} = ∅ ∩ = set intersection ∅ = empty set no man smokes {X: man(X)} ∩ {Y: smokes(Y)} = ∅ should evaluate to true for all possible worlds where there is no overlap between men and smokers men smokers

  9. Other Quantifiers • Other quantifiers can also be expressed using set relations between two predicates: Example: some: {X: P1(X)} ∩ {Y: P2(Y)} ≠∅ ∩ = set intersection ∅ = empty set some men smoke {X: man(X)} ∩ {Y: smokes(Y)} ≠ ∅ men smokers

More Related