LING 364: Introduction to Formal Semantics Lecture 9 February 9th.

Slides:



Advertisements
Similar presentations
Computational Semantics Aljoscha Burchardt, Alexander Koller, Stephan Walter, Universität des Saarlandes,
Advertisements

October 2004CSA4050: Semantics III1 CSA4050: Advanced Topics in NLP Semantics III Quantified Sentences.
Review of Homework 4 November 20, Exercise 1 (A) 1 pt Modify the DCG to accept the omission of the complementizer that for object relative clauses.
CSA2050: DCG I1 CSA2050 Introduction to Computational Linguistics Lecture 8 Definite Clause Grammars.
LING 388: Language and Computers Sandiway Fong Lecture 5: 9/5.
LING 364: Introduction to Formal Semantics Lecture 24 April 13th.
CSA4050: Advanced Topics in NLP Semantics IV Partial Execution Proper Noun Adjective.
LING 364: Introduction to Formal Semantics Lecture 18 March 21st.
LING 388: Language and Computers Sandiway Fong Lecture 15.
LING 364: Introduction to Formal Semantics Lecture 8 February 7th.
LING 581: Advanced Computational Linguistics Lecture Notes April 23rd.
LING 438/538 Computational Linguistics Sandiway Fong Lecture 7: 9/12.
LING 364: Introduction to Formal Semantics Lecture 10 February 14th.
LING 364: Introduction to Formal Semantics Lecture 12 February 21st.
LING 364: Introduction to Formal Semantics Lecture 14 February 28th.
LING 438/538 Computational Linguistics Sandiway Fong Lecture 9: 9/21.
LING 364: Introduction to Formal Semantics
LING 364: Introduction to Formal Semantics Lecture 17 March 9th.
LING 388 Language and Computers Lecture 14 10/16/03 Sandiway FONG.
LING/C SC/PSYC 438/538 Computational Linguistics Sandiway Fong Lecture 7: 9/11.
LING 364: Introduction to Formal Semantics Lecture 4 January 24th.
LING/C SC/PSYC 438/538 Computational Linguistics Sandiway Fong Lecture 6: 9/6.
LING 364: Introduction to Formal Semantics Lecture 11 February 16th.
LING 364: Introduction to Formal Semantics Lecture 2 January 17th.
LING 364: Introduction to Formal Semantics Lecture 19 March 20th.
LING 388 Language and Computers Take-Home Final Examination 12/9/03 Sandiway FONG.
LING 364: Introduction to Formal Semantics Lecture 7 February 2nd.
1 Introduction to Computational Linguistics Eleni Miltsakaki AUTH Fall 2005-Lecture 2.
LING 364: Introduction to Formal Semantics Lecture 16 March 7th.
LING 388 Language and Computers Lecture 20 11/6/03 Sandiway FONG.
LING 364: Introduction to Formal Semantics Lecture 3 January 19th.
LING 388 Language and Computers Lecture 18 10/30/03 Sandiway FONG.
LING 364: Introduction to Formal Semantics Lecture 13 February 23rd.
LING 364: Introduction to Formal Semantics Lecture 5 January 26th.
LING 388 Language and Computers Lecture 17 10/28/03 Sandiway FONG.
LING 388: Language and Computers Sandiway Fong Lecture 13: 10/10.
LING 388 Language and Computers Lecture 12 10/9/03 Sandiway FONG.
LING 388 Language and Computers Lecture 15 10/21/03 Sandiway FONG.
LING 388: Language and Computers Sandiway Fong Lecture 8.
LING 388: Language and Computers Sandiway Fong 10/4 Lecture 12.
October 2004csa4050: Semantics II1 CSA4050: Advanced Topics in NLP Semantics II The Lambda Calculus Semantic Representation Encoding in Prolog.
Context Free Grammars Reading: Chap 12-13, Jurafsky & Martin This slide set was adapted from J. Martin, U. Colorado Instructor: Paul Tarau, based on Rada.
LING 388: Language and Computers Sandiway Fong Lecture 17.
LING 388: Language and Computers Sandiway Fong Lecture 7.
ASPECTS OF LINGUISTIC COMPETENCE 4 SEPT 09, 2013 – DAY 6 Brain & Language LING NSCI Harry Howard Tulane University.
LING 388: Language and Computers Sandiway Fong Lecture 3.
LING 388: Language and Computers Sandiway Fong Lecture 18.
Topic 7: participant role Introduction to Semantics.
NLP. Introduction to NLP Is language more than just a “bag of words”? Grammatical rules apply to categories and groups of words, not individual words.
LING 388: Language and Computers Sandiway Fong Lecture 10.
Today Phrase structure rules, trees Constituents Recursion Conjunction
SYNTAX 6 ON-LINE PROCESSING DAY 35 – NOV 18, 2013 Brain & Language LING NSCI Harry Howard Tulane University.
October 2004CSA4050: Semantics III1 CSA4050: Advanced Topics in NLP Semantics III Quantified Sentences.
Context Free Grammars Reading: Chap 9, Jurafsky & Martin This slide set was adapted from J. Martin, U. Colorado Instructor: Rada Mihalcea.
LING 388: Language and Computers Sandiway Fong Lecture 13.
Semantic Construction lecture 2. Semantic Construction Is there a systematic way of constructing semantic representation from a sentence of English? This.
LING 388: Language and Computers Sandiway Fong Lecture 12.
Rules, Movement, Ambiguity
The man bites the dog man bites the dog bites the dog the dog dog Parse Tree NP A N the man bites the dog V N NP S VP A 1. Sentence  noun-phrase verb-phrase.
CSA2050 Introduction to Computational Linguistics Parsing I.
 Chapter 8 (Part 2) Transformations Transformational Grammar Engl 424 Hayfa Alhomaid.
1 Introduction to Computational Linguistics Eleni Miltsakaki AUTH Spring 2006-Lecture 2.
LING 388: Language and Computers Sandiway Fong Lecture 16.
SYNTAX 1 NOV 9, 2015 – DAY 31 Brain & Language LING NSCI Fall 2015.
LING 364: Introduction to Formal Semantics Lecture 21 April 4th.
กำหนดการเรียนการสอนครั้งที่ ๙
LING/C SC/PSYC 438/538 Lecture 24 Sandiway Fong.
LING/C SC/PSYC 438/538 Lecture 26 Sandiway Fong.
Complex sentences embedding phrases in phrases, phrases in clauses, clauses in clauses Kuiper and Allan Chapter 8.1.
Semantics 2: Syntax-Semantics Interface
Presentation transcript:

LING 364: Introduction to Formal Semantics Lecture 9 February 9th

Administrivia Reminder –Homework 2 due next Tuesday –need help getting started?

Administrivia today –(3:30pm – 4:40pm) lecture here in Comm 214 –(4:45pm – 5:45pm) (EXTRA) lab practice in Social Sciences Lab 224 we’ll begin doing the homework exercises in the lab

Today’s Topics Grammar Rule Recursion –Prolog behavior Handout (from Tuesday) –Chapter 3: More about Predicates Short Quiz #3 on Thursday

Grammar Rule Recursion Recursion: –A phrase may contain embedded inside another instance of the same phrase Example: –sentence with a relative clause –[ Sbar [ S I saw [ NP the man [ Sbar who [ S attacked me]]]]] –[ Sbar [ S I saw [ NP the man [ Sbar who [ S attacked [ NP the dog [ Sbar who [ S attacked me ]]]]]]]]

Grammar Rule Recursion Example: –assuming NP (not DP analysis) for simplicity... –[ NP [ NP John] ’s mother] –[ NP [ NP [ NP John]’s mother]’s cat] DCG rules: –np --> np, [‘‘‘s‘], n. –n --> [mother]. –n --> [cat]. –np --> [john]. ‘‘‘s‘ = ‘s

Grammar Rule Recursion Prolog Computation Rule: –select “first” matching grammar rule each time we call a non-terminal –“first” = first line that matches DCG rules: –np --> np, [‘‘‘s‘], n. –n --> [mother]. –n --> [cat]. –np --> [john]. –Leads to infinite loop here...

Grammar Rule Recursion General Rule for writing recursive rules: –put recursive case last –i.e. place non-recursive rules for a non-terminal ahead of the recursive ones DCG rules: –np --> [john]. –np --> np, [‘‘‘s‘], n. –n --> [mother]. –n --> [cat]. –no looping here...

Grammar Rule Recursion You’ll need it for homework 2... Examples: –[ Sbar [ NP Who] [ S [ VP [ V is] [ NP [ NP [ DET a][ N student]]]]][ CONJ and][ NP [ DET a][ N baseball fan]]]]]] –[ Sbar [ NP Who] [ S [ VP [ V is] [ NP [ NP [ DET a][ N student]]]]][ CONJ and][ NP [ NEG not][ NP [ DET a][ N baseball fan]]]]]]] Consider a possible NP rule for conjoining two NPs: –np --> np, conj, np. –conj --> [and].

More about Predicates 3.1 Other Types of Predicates: Adjectives, Predicate Nominals –(1) Shelby is small –(2) Shelby is a dog Semantics of is and a. Possibilities: –Meaningless –Non-interfering meaning - trivial meaning

More about Predicates 3.1 Other Types of Predicates: Adjectives, Predicate Nominals –(1) Shelby is small –(2) Shelby is a dog Semantics of (indefinite determiner) a. –(3) a dog bit me –(4) the/one/every dog bit me –quantifier?

More about Predicates Semantics of (indefinite determiner) a. –(3) a dog bit me –(4) the/one/every dog bit me –quantifier? –(3’) there exists a dog x such that bit(x,me) –(4’) every: for each dog x, bit(x,me)

More about Predicates Semantics of (indefinite determiner) a. –(3) a dog bit me –(3’) there exists a dog x such that bit(x,me) –(2) Shelby is a dog –semantics involving “there exist a dog x”

More about Predicates Semantics of (indefinite determiner) a. –(3) a dog bit me –(3’) there exists a dog x such that bit(x,me) –(2) Shelby is a dog –semantics involving “there exist a dog x” –No...

More about Predicates 3.2 Transitive Verbs –(5) Shelby saw Hannibal 3.3 Relative Clauses –(7) Hannibal is [who Shelby saw] –semantics of [who Shelby saw]

More about Predicates 3.3 Relative Clauses –(7) Hannibal is [who Shelby saw] –semantics of [who Shelby saw] –Shelby saw whosaw(shelby,who). –(with logic variable)saw(shelby,X).

More about Predicates 3.4 Topicalization –(9) Shelby, Mary saw Semantics? Paraphrase (9) as: –(10) Shelby is who 1 Mary saw e 1

More about Predicates 3.5 Sub-atomic Semantics Event semantics –(11) Sylvia petted Shelby introduce an event variable, call it e Prolog-style, we can say: –event(e), agent(e,sylvia), patient(e,shelby). Notions like: –agent, patient, instrument etc. are called thematic roles

More about Predicates lambda calculus: –easy to introduce now... Example: barks: λx.x barksbarks(X). –Shelby barks –[λx.x barks](Shelby) –barks(X), X = shelby Generalization: –[λx.[λy.y saw x]

Quiz 3 (3pts) Give lambda calculus semantics for: –likes –likes Mary –John likes Mary