lecture28

Information about lecture28

Published on November 16, 2007

Author: Heather

Source: authorstream.com

Content

LING 364: Introduction to Formal Semantics:  LING 364: Introduction to Formal Semantics Lecture 28 May 2nd Administrivia:  Administrivia Homework 6 was due at the beginning of class Administrivia:  Administrivia Today’s Agenda: A Note on Grading and Course Objectives Homework 6 Review Homework Final Class Evaluations Back at the Beginning:  Back at the Beginning [Lecture 1: Slide 13] Mix of homeworks and short quizzes expect approx. 6 homework assignments longer and more in-depth in nature worth many more points a short quiz (just about) every week gauge your understanding Grading In total, homeworks will generally be worth much more than the short quizzes about a 75-70% / 25-30% ratio There may or may not be a final exam depends on how the class is doing (if so) view it as an opportunity to improve your score if given, it will be a take-home exam worth about 25% of the grade due by midnight the next day Grading:  Grading Points-wise Course objectives were...:  Course objectives were... Two goals: (1) on the theoretical side Understand what is meant by natural language semantics what does it mean to work out the “meaning” of a sentence, phrase or utterance what quasi-technical terms like entailment, possible worlds, truth conditions, quantification, scope ambiguity, synonymy, presupposition, logical deduction, reference, inference rule etc. mean the relation between natural language and formal logic the relation between syntax and semantics with respect to formal grammars awareness of issues and data etc... Course objectives were...:  Course objectives were... Two goals: (2) on the practical side gain experience with formal systems and build something tangible first-hand experience on how to write logic expressions practice how to formalize notions how to run logical deduction on computers use and write grammars for semantics we’ll use SWI-Prolog by the end of this course you will be able to write formal grammars integrating the computation of meaning as well as syntax for fragments of English Nature of the Course:  Nature of the Course Formalization of natural language involves... being mathematical being used to thinking precisely with respect to manipulating formalisms being comfortable with logic (lambda-calculus) learning to write logic that runs on a computer (otherwise course would be mostly theoretical Each of these can be challenging first time around Homework 6 Review:  Homework 6 Review Homework 6 Review:  Homework 6 Review A simple grammar for tense and time sbar(R) --> adjunct(R1), s(R2), {append(R1,R2,R)}. sbar(R) --> s(R). s(R) --> np, vp(R). np --> [i]. np --> [noah]. vp(R) --> v(R1,go), [for,a,hike], {append([(subset(e,t))],R1,R)}. vp(R) --> v(R1,have), [a,rash], {append([intersect(e,t)],R1,R)}. v([(t<s)],go) --> [went]. v([(t=s)],go) --> [go]. v([(s<t)],go) --> [will,go]. v([(t<s)],have) --> [had]. v([(t=s)],have) --> [have]. v([(s<t)],have) --> [will,have]. adjunct([(t<s),t=last_month(s)]) --> [last,month]. adjunct([(t<s),t=yesterday(s)]) --> [yesterday]. adjunct([(s=t),t=today(s)]) --> [today]. adjunct([(s<t),t=tomorrow(s)]) --> [tomorro infer(R,[(Z<Y)]) :- select((X<Y),R,R1), select(subset(Z,X),R1,_). % select(X,L,L’) % selects X a member of list L, % L’ is the list L with X removed select(X,[X|L],L). select(X,[Y|L],[Y|Lp]) :- select(X,L,Lp). Homework 6 Review:  Homework 6 Review Exercise 1: Tomorrow, I will go for a hike Run: ?- sbar(X,[tomorrow,i,will,go,for,a,hike],[]). X = [s<t,t=tomorrow(s),subset(e,t),s<t] ? ; no ?- sbar(X,[tomorrow,i,will,go,for,a,hike],[]), infer(X,Y). X = [s<t,t=tomorrow(s),subset(e,t),s<t], Y = [s<e] ? ; X = [s<t,t=tomorrow(s),subset(e,t),s<t], Y = [s<e] ? ; no If X < Y and Z ⊆ Y we can infer: X < Z infer(R,[(X<Z)]) :- select((X<Y),R,R1), select(subset(Z,Y),R1,_). s<t e⊆t s<e Homework 6 Review:  Homework 6 Review Exercise 2: Diagram “Yesterday, Noah had a rash” v([(t<s)],have) --> [had]. vp(R) --> v(R1,have), [a,reash], {append([intersect(e,t)],R1,R)}}. [t<s] [intersect(e,t),t<s] [intersect(e,t),t<s] s(R) --> np, vp(R). adjunct([(t<s),yesterday(s)]) --> [yesterday]. [(t<s),t=yesterday(s)] sbar(R) --> adjunct(R1), s(R2), {append(R1,R2,R)}. [t<s,t=yesterday(s),intersect(e,t),t<s] Homework 6 Review:  Homework 6 Review Exercise 3: Inconsistency Explain formally what is wrong with the following sentences: (i) # Yesterday, I will go for a hike (ii) # Tomorrow, Noah had a rash ?- sbar(X,[yesterday,i,will,go,for,a,hike],[]). X = [t<s,t=yesterday(s),subset(e,t),s<t] ? ; no ?- sbar(X,[tomorrow,noah,had,a,rash],[]). X = [s<t,t=tomorrow(s),intersect(e,t),t<s] ? ; no ?- sbar(X,[yesterday,i,will,go,for,a,hike],[]), inconsistent(X). X = [t<s,t=yesterday(s),subset(e,t),s<t] ? ; X = [t<s,t=yesterday(s),subset(e,t),s<t] ? ; no ?- sbar(X,[tomorrow,noah,had,a,rash],[]), inconsistent(X). X = [s<t,t=tomorrow(s),intersect(e,t),t<s] ? ; X = [s<t,t=tomorrow(s),intersect(e,t),t<s] ? ; no inconsistent(R) :- select((X<Y),R,R1), select((Y<X),R1,_). Homework Final:  Homework Final Homework Final:  Homework Final Instructions 7 Questions Due tomorrow by midnight in my mailbox deductions if you’re late zero points if you are a day late Answer as many questions as you can in the time available Attempt every question It’s a second chance to show you understand the course material, homework reviews, etc. Good luck! Homework Final:  Homework Final Instructions Do not panic. Consult referenced homework slides Consult homework reviews All questions on this homework final can be answered with the knowledge in those lecture slides You may discuss the homework final you must cite classmates or other sources Question 1:  Question 1 [Homework 1: Lecture 3] Introduction to Prolog and Truth Conditions Let database fact p represent the proposition “All dogs bark” [4pts] Construct the Prolog statement for “it is not the case that both all dogs bark and not all dogs bark” [4pts] Show that the translated (into Prolog) statement is a tautology. (Submit your Prolog run.) Question 2:  Question 2 [Homework 2: Lecture 8] Phrase Structure and Meaning Grammars [8pts] Give a phrase structure grammar for the following sentences. Why is John sad? [CP [Adv why][Cbar [C is][[IP [NP John][VP [V trace][AP [NP trace][Abar [A sad]]]]]] Why is John not sad? [CP [Adv why][Cbar [C is][[IP [NP John][NegP [Neg not][[VP [V trace][AP [NP trace][Abar [A sad]]]]]]] Why isn’t John sad? [CP [Adv why][Cbar [C isn’t][[IP [NP John][NegP [Neg trace][[VP [V trace][AP [NP trace][Abar [A sad]]]]]]] [Follow the bracketing given exactly. Treat trace as if it was a real word. Treat isn’t as a single word in Prolog: ‘isn\’t’.] Question 2:  Question 2 [Homework 2: Lecture 8] Phrase Structure and Meaning Grammars [3pts] Show your grammar works. Why is John sad? ?- cp(PS,[why,is,john,trace,trace,sad],[]). Why is John not sad? ?- cp(PS,[why,is,john,not,trace,trace,sad],[]). Why isn’t John sad? ?- cp(PS,[why,’isn\’t’,john,trace,trace,trace,sad],[]). (Submit your runs.) Question 2:  Question 2 [Homework 2: Lecture 8] Phrase Structure and Meaning Grammars [6pts] Modify your rules involving trace to allow empty categories as follows: Old rule: x(x(trace)) --> [trace]. New rule: x(x(trace)) --> []. Show your new rules work. How many parses for each of the following queries? Why is John sad? ?- cp(PS,[why,is,john,sad],[]). Why is John not sad? ?- cp(PS,[why,is,john,not,sad],[]). Why isn’t John sad? ?- cp(PS,[why,’isn\’t’,john,sad],[]). (Submit your runs.) Question 3:  Question 3 [Homework 3: Lecture 13] Phrase Structure and Meaning Grammars Contd. [8pts] Give a meaning grammar for sentence/meaning pairs: dog(shelby). Shelby is a dog (white(shelby),dog(shelby)). Shelby is a white dog [Assume white is an intersective adjective.] [6pts] Evaluate your generated meanings against the Prolog versions of the following possible worlds: (A) Shelby is a dog and Shelby is white (B) Shelby is a dog and Shelby is brown (Submit your runs and possible worlds.) Question 4:  Question 4 [Homework 4: Lecture 18] Plural and Mass Terms. Assume the lattice-style definition for the plural dogs: :- dynamic dog/1. dogs(Plural) :- findall(X,dog(X),L), plural(L,Plural). plural(L,X+Y) :- selectone(X,L,L1), selectone(Y,L1,_). plural(L,X+PL) :- selectone(X,L,L1), plural(L1,PL). selectone(X,[X|L],L). selectone(X,[Y|L],L2) :- selectone(X,L,L2). [4pts] Give a Prolog query for “two dogs” [4pts] Give a Prolog query for “two or more dogs” [4pts] Give a Prolog query for “not more than two dogs” Question 5:  Question 5 [Homework 5: Lecture 22] Truth Tables and Quantification. Assume the Prolog definitions given in HW 5 for logical implication (⇒) and negation (¬) [8pts] Are P⇒Q and ¬Q⇒¬P equivalent? Prove your answer using Prolog truth tables (Submit your Prolog query and run.) Question 6:  Question 6 [Homework 5: Lecture 22] Truth Tables and Quantification. Define |S| to be the size of set S examples: |{a,b}| = 2 |{a,b,c}| / 2 > |{a}| [10pts] Give the set-theoretic, i.e. Generalized Quantifier-based, semantics for the sentences: Most men smoke Most smokers are men (You may use set notation or Prolog notation.) (There is no need to run a Prolog query.) Question 7:  Question 7 [Homework 6: Lecture 27] Tense and Aspect. [8pts] Give the relations between S, E, T for the sentences: John had left yesterday John has left [3pts] According to the theory, what is semantically odd about? # John has left yesterday Summary:  Summary Total: 82 pts Q1: 8pts Q2: 19pts Q3: 14pts Q4: 12pts Q5: 8pts Q6: 10pts Q7: 11pts

Related presentations


Other presentations created by Heather

nanotechnology presentation
13. 10. 2007
0 views

nanotechnology presentation

MMLA group ppt 11 28 05
08. 10. 2008
0 views

MMLA group ppt 11 28 05

Sadiq
08. 05. 2008
0 views

Sadiq

Mun101806
08. 05. 2008
0 views

Mun101806

ch09r
08. 05. 2008
0 views

ch09r

louise baur
08. 05. 2008
0 views

louise baur

Obesity
07. 05. 2008
0 views

Obesity

radev
07. 05. 2008
0 views

radev

pp pres sptconfrday
06. 05. 2008
0 views

pp pres sptconfrday

pp pres sptconfrday
06. 05. 2008
0 views

pp pres sptconfrday

Communication skills notes
26. 11. 2007
0 views

Communication skills notes

L12 Superconductivity
12. 10. 2007
0 views

L12 Superconductivity

Development of behavior
11. 10. 2007
0 views

Development of behavior

Silver Sword Review
19. 10. 2007
0 views

Silver Sword Review

Notes Russia
27. 09. 2007
0 views

Notes Russia

thesis
30. 09. 2007
0 views

thesis

spiritual warefare combined2
01. 10. 2007
0 views

spiritual warefare combined2

ASAPJan06 Presentation Millonig
03. 10. 2007
0 views

ASAPJan06 Presentation Millonig

symp04 pp liming e
10. 10. 2007
0 views

symp04 pp liming e

China India Web FINAL POST
10. 10. 2007
0 views

China India Web FINAL POST

reptile powerpoint
12. 10. 2007
0 views

reptile powerpoint

Heatsub
12. 10. 2007
0 views

Heatsub

Notes Europe
15. 10. 2007
0 views

Notes Europe

Funding Biomedical Research
16. 10. 2007
0 views

Funding Biomedical Research

NEW chpt 4
17. 10. 2007
0 views

NEW chpt 4

ATUG power point presentation
17. 10. 2007
0 views

ATUG power point presentation

ANT3141 20 Peru
19. 10. 2007
0 views

ANT3141 20 Peru

Implication du Personnel
24. 10. 2007
0 views

Implication du Personnel

lecture 45
02. 10. 2007
0 views

lecture 45

McK CIT 05 PC2A
15. 10. 2007
0 views

McK CIT 05 PC2A

chapter2 notes
15. 10. 2007
0 views

chapter2 notes

brun
28. 10. 2007
0 views

brun

Branson HIV and Privacy 2
29. 10. 2007
0 views

Branson HIV and Privacy 2

Oracle OTC
05. 11. 2007
0 views

Oracle OTC

Darwinismo
06. 11. 2007
0 views

Darwinismo

WRITING unit 3 summaries 95
18. 10. 2007
0 views

WRITING unit 3 summaries 95

VirologyReview2005
19. 11. 2007
0 views

VirologyReview2005

Martha
20. 11. 2007
0 views

Martha

gender selection
21. 11. 2007
0 views

gender selection

ulrich 120203
30. 10. 2007
0 views

ulrich 120203

LPP600 ch5 rev
06. 11. 2007
0 views

LPP600 ch5 rev

dance
23. 11. 2007
0 views

dance

rutas de putaendo
24. 10. 2007
0 views

rutas de putaendo

Insomnia 2
28. 11. 2007
0 views

Insomnia 2

marktoberdorf
30. 10. 2007
0 views

marktoberdorf

PacketSwitching1
30. 12. 2007
0 views

PacketSwitching1

Manshadi impact
03. 01. 2008
0 views

Manshadi impact

Ionizing Radiation 2
04. 01. 2008
0 views

Ionizing Radiation 2

egov ma
23. 10. 2007
0 views

egov ma

chap15a
05. 01. 2008
0 views

chap15a

lecture hazard individual choice
04. 10. 2007
0 views

lecture hazard individual choice

Spanish presentation
22. 10. 2007
0 views

Spanish presentation

presentazione estetismo
01. 10. 2007
0 views

presentazione estetismo

BVS Panama
22. 10. 2007
0 views

BVS Panama

Hollywood
25. 10. 2007
0 views

Hollywood

astro12Summer11
13. 11. 2007
0 views

astro12Summer11

ryud
09. 10. 2007
0 views

ryud

MetaphorsWeLiveBy
24. 10. 2007
0 views

MetaphorsWeLiveBy

AMMA briefing
06. 11. 2007
0 views

AMMA briefing

west africa down
03. 01. 2008
0 views

west africa down

zhping PHD
04. 10. 2007
0 views

zhping PHD

Ch02
15. 10. 2007
0 views

Ch02

02Coelho Review
16. 10. 2007
0 views

02Coelho Review

RUSSIA transition
26. 10. 2007
0 views

RUSSIA transition

39124236 GEOMORPHOLOGY RIVERS
19. 10. 2007
0 views

39124236 GEOMORPHOLOGY RIVERS

AFlood2005
03. 01. 2008
0 views

AFlood2005

26 Beautiful One liners 09 12 06
07. 10. 2007
0 views

26 Beautiful One liners 09 12 06

milia v10
21. 02. 2008
0 views

milia v10

BRT LA Metro
29. 10. 2007
0 views

BRT LA Metro

18531
24. 02. 2008
0 views

18531

gulf war 2 desert storm
26. 02. 2008
0 views

gulf war 2 desert storm

NDBs MSC SA Mondi
27. 02. 2008
0 views

NDBs MSC SA Mondi

t2nd edn
16. 03. 2008
0 views

t2nd edn

AsiaPacificUpdate
25. 03. 2008
0 views

AsiaPacificUpdate

Lecture23 SmallSats
15. 11. 2007
0 views

Lecture23 SmallSats

BU NSF06 kannan
31. 10. 2007
0 views

BU NSF06 kannan

Macro Chapter 4
10. 04. 2008
0 views

Macro Chapter 4

mini supercells jmm final
03. 10. 2007
0 views

mini supercells jmm final

SPS CM Seminar
14. 04. 2008
0 views

SPS CM Seminar

lecture13 Online Games
22. 04. 2008
0 views

lecture13 Online Games

IDN Gold WebEx BSE
22. 04. 2008
0 views

IDN Gold WebEx BSE

NIV oncall
01. 05. 2008
0 views

NIV oncall

history stuff
14. 12. 2007
0 views

history stuff

abadinsky08 ppt ch03
07. 01. 2008
0 views

abadinsky08 ppt ch03

The BioArtificial Liver2
02. 05. 2008
0 views

The BioArtificial Liver2

Katrina RRC
02. 05. 2008
0 views

Katrina RRC

angusallyouneed tcm4 123635
02. 10. 2007
0 views

angusallyouneed tcm4 123635

ladeau
21. 10. 2007
0 views

ladeau

Presentation10
09. 04. 2008
0 views

Presentation10

Food web of the Arctic
10. 10. 2007
0 views

Food web of the Arctic

Barbara 01
26. 09. 2007
0 views

Barbara 01

Befmod Dog Pony Big
17. 04. 2008
0 views

Befmod Dog Pony Big

TC
09. 10. 2007
0 views

TC

EHaro Presentacion Casablanca
24. 10. 2007
0 views

EHaro Presentacion Casablanca

Turner Powerpoint
31. 12. 2007
0 views

Turner Powerpoint

Feb27
07. 10. 2007
0 views

Feb27

2005 Kobe
09. 10. 2007
0 views

2005 Kobe

liberal jun2000 tapia
15. 10. 2007
0 views

liberal jun2000 tapia

hiv and smoking
29. 10. 2007
0 views

hiv and smoking

157 4s1 10p35 voloshin
26. 10. 2007
0 views

157 4s1 10p35 voloshin

cicognani
11. 10. 2007
0 views

cicognani

paper55
29. 10. 2007
0 views

paper55

Mission and Vision
07. 01. 2008
0 views

Mission and Vision

2004 07 01 rochoa
15. 11. 2007
0 views

2004 07 01 rochoa

Seva activities at Bridgewater
10. 12. 2007
0 views

Seva activities at Bridgewater

African lag
05. 10. 2007
0 views

African lag

8 Barbra Morgante RFI
15. 10. 2007
0 views

8 Barbra Morgante RFI

Vajente GWDAW11 StatusOfVirgo
01. 12. 2007
0 views

Vajente GWDAW11 StatusOfVirgo

papineni
15. 10. 2007
0 views

papineni

housemtg 20040907
16. 10. 2007
0 views

housemtg 20040907

ClevelandStateF2005
02. 11. 2007
0 views

ClevelandStateF2005

IDC prezentace LinuxWorld
24. 10. 2007
0 views

IDC prezentace LinuxWorld

stassun
01. 01. 2008
0 views

stassun

Models User Guide
05. 10. 2007
0 views

Models User Guide

Suite Sensation General
07. 12. 2007
0 views

Suite Sensation General

Suchman Virology 2005
16. 10. 2007
0 views

Suchman Virology 2005

jd graz
18. 03. 2008
0 views

jd graz

veronarda
03. 10. 2007
0 views

veronarda

RHIC spin talk
15. 11. 2007
0 views

RHIC spin talk

Nian Cai Liu presentation
15. 10. 2007
0 views

Nian Cai Liu presentation