dynamic interval temporal logic - cs 112cs112.org/wp-content/uploads/2016/11/ditl-slides.pdfjames...
TRANSCRIPT
![Page 1: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/1.jpg)
Dynamic Interval Temporal Logic
James PustejovskyBrandeis University
CS 112Fall 2016
James Pustejovsky Brandeis University DITL
![Page 2: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/2.jpg)
Outline
Pustejovsky and Moszkowicz (2011)
Capturing the Dynamics of Event Semantics
Events are Programs initiating and tracking Change
Distinguish the operational semantics of path and mannerverbs
Mani and Pustejovsky (2012)
Use mereotopological relations to distinguish distinct mannerverbs
James Pustejovsky Brandeis University DITL
![Page 3: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/3.jpg)
Spatial Relations in Motion Predicates
Topological Path Expressionsarrive, leave, exit, land, take off
Manner Expressionsrun, walk, swim, amble, fly
Orientation Path+Manner Expressionsclimb, descend
Topo-metric Path Expressionsapproach, near, distance oneself
Topo-metric orientation Expressionsjust below, just above
James Pustejovsky Brandeis University DITL
![Page 4: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/4.jpg)
Path and Manner Motion Predication
m: manner, p: path
(1) a. The ball rolledm.b. The ball crossedp the room.
(2) a. The ball rolledm across the room.b. The ball crossedp the room rolling.
James Pustejovsky Brandeis University DITL
![Page 5: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/5.jpg)
Motion Predication in Languages
Manner construction languagesPath information is encoded in directional PPs and otheradjuncts, while verb encode manner of motionEnglish, German, Russian, Swedish, Chinese
Path construction languagesPath information is encoded in matrix verb, while adjunctsspecify manner of motionModern Greek, Spanish, Japanese, Turkish, Hindi
James Pustejovsky Brandeis University DITL
![Page 6: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/6.jpg)
Defining Motion (Talmy 1985)
(3) a. The event or situation involved in the change of location ;b. The object (construed as a point or region) that isundergoing movement (the figure);c. The region (or path) traversed through the motion;d. A distinguished point or region of the path (the ground);e. The manner in which the change of location is carried out;f. The medium through which the motion takes place.
James Pustejovsky Brandeis University DITL
![Page 7: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/7.jpg)
Manner Predicates
(4) SHHH
HH
�����
NP �figure
VP
John Vact
biked
James Pustejovsky Brandeis University DITL
![Page 8: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/8.jpg)
Path Predicates
(5) SHHH
HH
�����
NP �figure
VP
John
�����
Vtrans
departed
HHHHH
NP-ground
Boston
James Pustejovsky Brandeis University DITL
![Page 9: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/9.jpg)
Manner with Path Adjunction
(6) SHHH
HH
�����
NP �figure
VP
John Vact
biked
� ground XXXXXX
XXX
PP
transto the store
James Pustejovsky Brandeis University DITL
![Page 10: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/10.jpg)
Path with Manner Adjunction
(7) SHHH
HH
�����
NP �figure
VP
John
�����
Vtrans
departed
HHHHH
NP-ground
Boston
XXXXXX
XXX
PP
actby car
James Pustejovsky Brandeis University DITL
![Page 11: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/11.jpg)
Need for Conceptual Modeling
Lexical semantic distinctions are formal stipulations in amodel, often with few observable correlations to data.
Path verbs: arrive, leave, enter.
aspectPP modification
Manner verbs: drive, walk, run, crawl, fly, swim, drag, slide,hop, roll
aspectadverbial modification
James Pustejovsky Brandeis University DITL
![Page 12: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/12.jpg)
Simulations as Minimal Models
Theorem proving (essentially type satisfaction of a verb in oneclass as opposed to another) provides a “negative handle” onthe problem of determining consistency and informativenessfor an utterance (Blackburn and Bos, 2008; Konrad, 2004)
Model building provides a “positive handle” on whether twomanner of motion processes are distinguished in the model.
The simulation must specify how they are distinguished,demonstrating the informativeness of a distinction in oursimulation.
James Pustejovsky Brandeis University DITL
![Page 13: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/13.jpg)
Region Connection Calculus (RCC8)
(8) a. Disconnected (DC): A and B do not touch each other.b. Externally Connected (EC): A and B touch each other attheir boundaries.c. Partial Overlap (PO): A and B overlap each other inEuclidean space.d. Equal (EQ): A and B occupy the exact same Euclideanspace.e. Tangential Proper Part (TPP): A is inside B and touchesthe boundary of B.f. Non-tangential Proper Part (NTPP): A is inside B anddoes not touch the boundary of B.g. Tangential Proper Part (TPPi): B is inside A and touchesthe boundary of A.h. Non-tangential Proper Part Inverse (NTPPi): B is inside Aand does not touch the boundary of A.
James Pustejovsky Brandeis University DITL
![Page 14: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/14.jpg)
Region Connection Calculus (RCC-8)
James Pustejovsky Brandeis University DITL
![Page 15: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/15.jpg)
Galton Analysis of enter in RCC8
AA
AA A
B B B B B
DC(A,B) PO(A,B) TPP(A,B) NTPP(A,B)EC(A,B)
t1 t2 t3 t4 t5
James Pustejovsky Brandeis University DITL
![Page 16: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/16.jpg)
Linguistic Approaches to Defining Paths
Talmy (1985): Path as part of the Motion Event Frame
Jackendoff (1983,1996): GO-function
Langacker (1987): COS verbs as paths
Goldberg (1995): way-construction introduces path
Krifka (1998): Temporal Trace function
Zwarts (2006): event shape: The trajectory associated withan event in space represented by a path.
James Pustejovsky Brandeis University DITL
![Page 17: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/17.jpg)
Subatomic Event Structure
(9) a. event → state | process | transitionb. state: → ec. process: → e1 . . . end. transitionach: → state statee. transitionacc : → process state
Pustejovsky (1991), Moens and Steedman (1988)
James Pustejovsky Brandeis University DITL
![Page 18: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/18.jpg)
Dynamic Extensions to GL
Qualia Structure: Can be interpreted dynamically
Dynamic Selection: Encodes the way an argument participatesin the event
Tracking change: Models the dynamics of participantattributes
James Pustejovsky Brandeis University DITL
![Page 19: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/19.jpg)
Frame-based Event Structure
Φ ¬Φ
Φ
Φ/p Φ/¬p Φ/p Φ/¬p+
State (S)
DerivedTransition
Transition (T)
Process (P)
Φ/p Φ/¬p Φ/p Φ/¬p+
ΦP(x)
¬Φ¬P(x)
2nd Conference on CTF, Pustejovsky (2009)
James Pustejovsky Brandeis University DITL
![Page 20: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/20.jpg)
Dynamic Event Structure
Events are built up from multiple (stacked) layers of primitiveconstraints on the individual participants.
There may be many changes taking place within one atomicevent, when viewed at the subatomic level.
James Pustejovsky Brandeis University DITL
![Page 21: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/21.jpg)
Dynamic Interval Temporal Logic
(Pustejovsky and Moszkowicz, 2011)
Formulas: φ propositions. Evaluated in a state, s.
Programs: α, functions from states to states, s × s.Evaluated over a pair of states, (s, s ′).
Temporal Operators: ©φ, 3φ, 2φ, φ Uψ.
Program composition:1 They can be ordered, α;β ( α is followed by β);2 They can be iterated, a∗ (apply a zero or more times);3 They can be disjoined, α ∪ β (apply either α or β);4 They can be turned into formulas
[α]φ (after every execution of α, φ is true);〈α〉φ (there is an execution of α, such that φ is true);
5 Formulas can become programs, φ? (test to see if φ is true,and proceed if so).
James Pustejovsky Brandeis University DITL
![Page 22: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/22.jpg)
Capturing Motion as Change in Spatial Relations
Dynamic Interval Temporal Logic
Path verbs designate a distinguished value in the change oflocation, from one state to another.The change in value is tested.
Manner of motion verbs iterate a change in location fromstate to state.The value is assigned and reassigned.
James Pustejovsky Brandeis University DITL
![Page 23: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/23.jpg)
Labeled Transition System (LTS)
The dynamics of actions can be modeled as a Labeled TransitionSystems (LTS).
An LTS consists of a 3-tuple, 〈S ,Act,→〉, where
(10) a. S is the set of states;b. Act is a set of actions;c. → is a total transition relation: →⊆ S × Act × S .
(11) (e1, α, e2) ∈→
cf. Fernando (2001, 2013)
James Pustejovsky Brandeis University DITL
![Page 24: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/24.jpg)
Labeled Transition System (LTS)
An action, α provides the labeling on an arrow, making it explicitwhat brings about a state-to-state transition.
As a shorthand for
(12) a. (e1, α, e2) ∈→, we will also use:
b. e1α−→ e3
S1 S2
A
James Pustejovsky Brandeis University DITL
![Page 25: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/25.jpg)
Labeled Transition System (LTS)
If reference to the state content (rather than state name) isrequired for interpretation purposes, then as shorthand for:({φ}e1 , α, {¬φ}e2) ∈→, we use:
(13) φe1
α−→ ¬φe2
S1 S2
p ¬pA
James Pustejovsky Brandeis University DITL
![Page 26: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/26.jpg)
Temporal Labeled Transition System (TLTS)
With temporal indexing from a Linear Temporal Logic, we candefine a Temporal Labeled Transition System (TLTS). For a state,e1, indexed at time i , we say e1@i .({φ}e1@i , α, {¬φ}e2@i+1) ∈→(i ,i+1), we use:
(14) φi
e1
α−→ ¬φi+1
e2
James Pustejovsky Brandeis University DITL
![Page 27: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/27.jpg)
Basic Transition Structure (Pustejovsky and Moszkowicz, 2011)
(15) e [i,i+1]
HHHHH
�����
e i1-α
e i+12
φ ¬φ
James Pustejovsky Brandeis University DITL
![Page 28: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/28.jpg)
Simple First-order Transition
(16) x := y (ν-transition)“x assumes the value given to y in the next state.”〈M, (i , i + 1), (u, u[x/u(y)])〉 |= x := yiff 〈M, i , u〉 |= s1 ∧ 〈M, i + 1, u[x/u(y)]〉 |= x = y
(17) e [i,i+1]
HHHHH
�����e i1
-x := ye i+12
A(z) = x A(z) = y
James Pustejovsky Brandeis University DITL
![Page 29: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/29.jpg)
Processes
With a ν-transition defined, a process can be viewed as simply aniteration of basic variable assignments and re-assignments:
(18)eHHH
HH
�����
e1-ν e2 . . . -ν en
James Pustejovsky Brandeis University DITL
![Page 30: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/30.jpg)
Directed Motion
(19)
x 6=y?x
loc(z) = x e1ν−→ loc(z) = y e2
When this test references the ordinal values on a scale, C, thisbecomes a directed ν-transition (~ν), e.g., x 4 y , x < y .
(20) ~ν =df
C?xei
ν−→ ei+1
James Pustejovsky Brandeis University DITL
![Page 31: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/31.jpg)
Directed Motion
(21) e [i,i+1]
HHHHH
�����
x 4 y?xe i1
-x := ye i+12
A(z) = x A(z) = y
James Pustejovsky Brandeis University DITL
![Page 32: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/32.jpg)
Accomplishment Event Structure (Paths)
(22) eHHHHH
�����
e1 -αe2
¬φ?
φ?x
-
φ
HHHHH
�����
e11-α
e12 . . . -α e1k
James Pustejovsky Brandeis University DITL
![Page 33: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/33.jpg)
Motion Leaving a Trail
(23) Motion leaving a trail:a. Assign a value, y , to the location of the moving object, x .
loc(x) := yb. Name this value b (this will be the beginning of themovement);
b := yc. Initiate a path p that is a list, starting at b;
p := (b)d. Then, reassign the value of y to z , where y 6= z
y := z , y 6= ze. Add the reassigned value of y to path p;
p := (p, z)e. Kleene iterate steps (d) and (e);
James Pustejovsky Brandeis University DITL
![Page 34: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/34.jpg)
Quantifying the Resulting Trail
l1@t1 l2@t2 l3@t3
p=(b,l2,l3)p=(b,l2)p=(b)
Figure: Directed Motion leaving a Trail
(24) a. The ball rolled 20 feet.∃p∃x [[roll(x , p) ∧ ball(x) ∧ length(p) = [20, foot]]
b. John biked for 5 miles.∃p[[bike(j , p) ∧ length(p) = [5,mile]]
James Pustejovsky Brandeis University DITL
![Page 35: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/35.jpg)
Generalizing the Path Metaphor to Creation Predicates
Pustejovsky and Jezek 2012Accomplishments are Lexically Encoded Tests.John built a house.
Test-predicates for creation verbs
build selects for a quantized individual as argument.
λ~zλyλx [build(x , ~z , y)]
An ordinal scale drives the incremental creation forward
A nominal scale acts as a test for completion (telicity)
James Pustejovsky Brandeis University DITL
![Page 36: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/36.jpg)
Incremental Theme and Parallel Scales
A B C D E
Mary is building a table.
Change is measured over an ordinal scale.
Trail, τ is null.
James Pustejovsky Brandeis University DITL
![Page 37: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/37.jpg)
Incremental Theme and Parallel Scales
AB C D E
Mary is building a table.
Change is measured over an ordinal scale.
Trail, τ = [A].
James Pustejovsky Brandeis University DITL
![Page 38: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/38.jpg)
Incremental Theme and Parallel Scales
A BC D E
Mary is building a table.
Change is measured over an ordinal scale.
Trail, τ = [A,B]
James Pustejovsky Brandeis University DITL
![Page 39: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/39.jpg)
Incremental Theme and Parallel Scales
A BC
D E
Mary is building a table.
Change is measured over an ordinal scale.
Trail, τ = [A,B,C ]
James Pustejovsky Brandeis University DITL
![Page 40: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/40.jpg)
Incremental Theme and Parallel Scales
A BC D
E
Mary is building a table.
Change is measured over an ordinal scale.
Trail, τ = [A,B,C ,D]
James Pustejovsky Brandeis University DITL
![Page 41: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/41.jpg)
Incremental Theme and Parallel Scales
A BC D
E
Mary built a table.
Change is measured over a nominal scale.
Trail, τ = [A,B,C ,D,E ]; table(τ).
James Pustejovsky Brandeis University DITL
![Page 42: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/42.jpg)
Accomplishments
(25) a. John built a table.b. Mary walked to the store.
build(x , z , y) build(x , z , y)+ build(x , z , y), y = v
¬table(v) table(v) 〈i,j〉
Table: Accomplishment: parallel tracks of changes
James Pustejovsky Brandeis University DITL
![Page 43: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/43.jpg)
Dynamic Event Structure
(26) eHHHHH
�����
e1 -αe2
¬φ?
φ?x
-
φ
HHHHH
�����
e11-α
e12 . . . -α e1k
James Pustejovsky Brandeis University DITL
![Page 44: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/44.jpg)
Parallel Scales define an Accomplishment
(27) eHHHHH
�����
e1 -build e2
¬table?
table?x
-
table(v)
HHHHH
�����
e11-builde12 . . . -build e1k
James Pustejovsky Brandeis University DITL
![Page 45: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/45.jpg)
Mereotopological Distinctions in Manner
Differentiating meaning within manner verbsMani and Pustejovsky (2012)
For Figure (F) relative to Ground (G):
EC(F,G), throughout motion:
DC(F,G), throughout motion:
EC(F,G) followed by DC(F,G), throughout motion:
Sub-part(F’,F), EC(F’,G) followed by DC(F’,G), throughoutmotion:
Containment of F in a Vehicle (V).
James Pustejovsky Brandeis University DITL
![Page 46: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/46.jpg)
Bouncing and Hopping
(28)
¬DC(x,G)?x
loc(z) = x e0~ν−→
DC(x,G)?x
loc(z) = y1 e1~ν−→
¬DC(x,G)?x
loc(z) = y2 e2
James Pustejovsky Brandeis University DITL
![Page 47: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/47.jpg)
Sliding Action
B
A
s1
The box slides across the floor.
[[slide]]=〈[∂A ∩ ∂B = 1]@s1, [∂A ∩ ∂B = 1]@s2, [∂A ∩ ∂B = 1]@s3〉;
James Pustejovsky Brandeis University DITL
![Page 48: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/48.jpg)
Sliding Action
B
A
s2
The box slides across the floor.
[[slide]]=〈[∂A ∩ ∂B = 1]@s1, [∂A ∩ ∂B = 1]@s2, [∂A ∩ ∂B = 1]@s3〉;
James Pustejovsky Brandeis University DITL
![Page 49: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/49.jpg)
Sliding Action
B
A
s3
The box slides across the floor.
[[slide]]=〈[∂A ∩ ∂B = 1]@s1, [∂A ∩ ∂B = 1]@s2, [∂A ∩ ∂B = 1]@s3〉;
James Pustejovsky Brandeis University DITL
![Page 50: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/50.jpg)
Hopping Action
B
A
s1
The box hops across the floor.
〈[∂A ∩ ∂B = 1]@s1, [∂A ∩ ∂B = 0]@s2, [∂A ∩ ∂B = 1]@s3〉;
James Pustejovsky Brandeis University DITL
![Page 51: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/51.jpg)
Hopping Action
B
A
s2
The box hops across the floor.
〈[∂A ∩ ∂B = 1]@s1, [∂A ∩ ∂B = 0]@s2, [∂A ∩ ∂B = 1]@s3〉;
James Pustejovsky Brandeis University DITL
![Page 52: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/52.jpg)
Hopping Action
B
A
s3
The box hops across the floor.
〈[∂A ∩ ∂B = 1]@s1, [∂A ∩ ∂B = 0]@s2, [∂A ∩ ∂B = 1]@s3〉;
James Pustejovsky Brandeis University DITL
![Page 53: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/53.jpg)
Rolling Action
For mereological relations a v A, a′ v A:
B
s1
A
a
b
c
The ball rolls across the floor.
〈[∂Aa ∩ ∂B = 1]@s1, [∂Ab ∩ ∂B = 1]@s2, [∂Ac ∩ ∂B = 1]@s3〉
James Pustejovsky Brandeis University DITL
![Page 54: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/54.jpg)
Rolling Action
For mereological relations a v A, a′ v A:
B
s2
A
b
a c
The ball rolls across the floor.
〈[∂Aa ∩ ∂B = 1]@s1, [∂Ab ∩ ∂B = 1]@s2, [∂Ac ∩ ∂B = 1]@s3〉
James Pustejovsky Brandeis University DITL
![Page 55: Dynamic Interval Temporal Logic - CS 112cs112.org/wp-content/uploads/2016/11/DITL-Slides.pdfJames Pustejovsky Brandeis University DITL Manner Predicates (4) S HH H H NP ˙ gure VP](https://reader031.vdocuments.mx/reader031/viewer/2022022501/5aa8b8d77f8b9a72188bf074/html5/thumbnails/55.jpg)
Rolling Action
For mereological relations a v A, a′ v A:
B
s3
A
c
b
a
The ball rolls across the floor.
〈[∂Aa ∩ ∂B = 1]@s1, [∂Ab ∩ ∂B = 1]@s2, [∂Ac ∩ ∂B = 1]@s3〉
James Pustejovsky Brandeis University DITL