Semantics and Time in Language
description
Transcript of Semantics and Time in Language
Semantics and Time in Language
MAS.S60Rob Speer
Catherine HavasiSome slides: James Pustejovsky
Lexical semantics• We’ve been trying to make word meanings
into a functional programming language• Applying functions to each other, up the parse
tree, gives us a logic expression in the end• But how do we figure out crazy functions like:
\X \y. X(\x. chase(y, x))
Being an un-parser• Work backwards from the result you want• Un-parse your way down the parse tree
“A dog barks.”• A dog barks.
exists x. (dog(x) & bark(x))
“A dog barks.”• A dog barks.
exists x. (dog(x) & bark(x))• (A dog) (barks)
A dog:barks:
“A dog barks.”• A dog barks.
exists x. (dog(x) & bark(x))• (A dog) (barks)
A dog: \P. exists x. (dog(x) & P(x))barks: \z. bark(z)
“A dog barks.”• A dog barks.
exists x. (dog(x) & bark(x))• (A dog) (barks)
A dog: \P. exists x. (dog(x) & P(x))barks: \z. bark(z)
• (A(dog)) (barks)A: dog:
“A dog barks.”• A dog barks.
exists x. (dog(x) & bark(x))• (A dog) (barks)
A dog: \P. exists x. (dog(x) & P(x))barks: \z. bark(z)
• (A(dog)) (barks)A: \Q. \P. exists x. (Q(x) & P(x))dog: \z. dog(z)
Lexical items we learnedA: \Q. \P. exists x. (Q(x) & P(x))dog: \z. dog(z)barks: \z. bark(z)
“Angus chases a dog.”Angus chases a dog: exists x. (dog(x) & chase(Angus, x))
“Angus chases a dog.”Angus chases a dog: exists x. (dog(x) & chase(Angus, x))
• Angus(chases a dog)chases a dog: \y. exists x. (dog(x) & chase(y, x)a dog: \P. exists x. (dog(x) & P(x)) from earlier slides
“Angus chases a dog.”Angus chases a dog: exists x. (dog(x) & chase(Angus, x))
• Angus(chases a dog)chases a dog: \y. exists x. (dog(x) & chase(y, x)a dog: \P. exists x. (dog(x) & P(x)) from earlier slides
• (chases) (a dog)• Let’s try to make something like this:
(\P. exists x. (dog(x) & P(x)) (\z. chase(y, z))
“Angus chases a dog.”Angus chases a dog: exists x. (dog(x) & chase(Angus, x))
• Angus(chases a dog)chases a dog: \y. exists x. (dog(x) & chase(y, x)a dog: \P. exists x. (dog(x) & P(x)) from earlier slides
• (chases) (a dog)• Let’s try to make something like this:
(\P. exists x. (dog(x) & P(x)) (\z. chase(y, z))
“Angus chases a dog.”Angus chases a dog: exists x. (dog(x) & chase(Angus, x))
• Angus(chases a dog)chases a dog: \y. exists x. (dog(x) & chase(y, x)a dog: \P. exists x. (dog(x) & P(x)) from earlier slides
• (chases) (a dog)• Let’s try to make something like this:
(\P. exists x. (dog(x) & P(x)) (\z. chase(y, z))
chases: \y. doSomethingWith(\z. chase(y, z))
“Angus chases a dog.”Angus chases a dog: exists x. (dog(x) & chase(Angus, x))
• Angus(chases a dog)chases a dog: \y. exists x. (dog(x) & chase(y, x)a dog: \P. exists x. (dog(x) & P(x)) from earlier slides
• (chases) (a dog)• Let’s try to make something like this:
(\P. exists x. (dog(x) & P(x)) (\z. chase(y, z))
chases: \X. \y. X(\z. chase(y, z))
Your turn• We add a feature grammar rule that allows for
ditransitive (two-object) verbs:VP[SEM=<?v(?obj,?pp)>] -> DTV[SEM=?v] NP[SEM=?obj] PP[+TO,SEM=?pp]
• What are the semantics of a DTV?
High-level overview of C&C• Parses using a Combinatorial Categorial
Grammar (CCG)– fancier than a CFG– includes multiple kinds of “slash rules” for gaps
and fillers– lots of grad student time spent transforming
Treebank
High-level overview of C&C• MaxEnt “supertagger” tags each word with a
semantic value• Possible semantic values for verbs determined
by VerbNet
High-level overview of C&C• Combine the resulting semantic “tags”• Find the highest-probability result with
coherent semantics• Doesn’t this create billions of parses that need
to be checked?
High-level overview of C&C• Find the highest-probability result with
coherent semantics• Doesn’t this create millions of parses that
need to be checked?• Yes. A typical sentence uses 25 GB of RAM to
find the best parse.• That’s where the Beowulf cluster comes in.
Questions about time?• The Pierre Vinken example• Events in FrameNet• Question answering
Time in Q&A• When are finals this semester?• Who is currently president of the United
States?• How many different airports has Pittsburgh
had?• How many classes have we had since January?• When did the Berlin wall fall?
Difficulties• More than 66% of times in documents are
relative• Only 15% of documents refer to the “date of
creation” (DOC)• 42% percent of the uses of the word “today”
are non-specific
James Allen• Created a temporal logic• 13 basic relations– 6 types, their inverses and equal
Allen’s Relations
Types of Information• Properties – Hold over an interval and all subintervals– “Rob was asleep all morning.”
• Events– Hold over a interval and no sub events– “Lance wrote a program last night.”
• Processes– Hold over some sub intervals– “Brett demoed during sponsor week.”
What is TimeML?• (ISO) Standard language for the mark-up of:– temporal expressions– events– temporal anchoring of events
(relations between events and temporal expressions)
– temporal ordering of events (relations between events and other events)
Labeling What?• Events are taken to be situations that occur or
happen, punctual or lasting for a period of time.
• Times may be either points, intervals, or durations.
• Relations can hold between events and events and times.
An example“Two Russians and a Frenchman left the Mir and endured a rough landing on the snow-covered plains of Central Asia on Thursday. The two Russians arrived on the Mir last August. Solovyou celebrated his 50th birthday during his six-month space voyage.”
An example“Two Russians and a Frenchman left the Mir and endured a rough landing on the snow-covered plains of Central Asia on Thursday. The two Russians arrived on the Mir last August. Solovyou celebrated his 50th birthday during his six-month space voyage.”
Events and Relations• Event expressions; – tensed verbs; has left, was captured, will resign; – stative adjectives; sunken, stalled, on board; – Nominals: merger, Military Operation, Gulf War;
• Dependencies between events and times:– Anchoring; John left on Monday.– Orderings; The party happened after midnight.– Embedding; John said Mary left.
LINKs• Temporal: TLINK
It represents the temporal relationship holding between events or between an event and a timex:
Mary arrived in Boston last Thursday.
• Aspectual: ALINKIt represent the relationship between an aspectual event and its argument event.
She finished assembling the table.
• Subordination: SLINKIt is used for contexts introducing relations between an I-ACTION/I-STATE event and its event argument, or an event and a negation or modal :
She tried to buy some wine.
TARSQI• Add and tag time expressions in text• TempEx (MITRE)– Determines extents and nomalizations
• GUTime (Brandeis)– Ground things like “last week”
• Evita (Brandeis)– Recognize events in time
TARSQI • GUTenLink (Georgetown)– Temporal Tagger
• Slinket (Brandeis)– Event logging
• SputLink – Based on James Allen’s time logic
Open a Document
Processed Document
Results
Making a timeline