The var feature
The var feature is new and stores the "discourse variable" that corresponds
to the constituent.
var features will be useful for handling certain forms of modifiers in the
development that follows.
They are automatically generated by the pa
Converting Logical Forms between Allen's notation and our Prolog-type
If you use the book by James Allen to clarify the material in these lecture
notes, you will need to figure out how to translate between his LISP-style
notation and our Prolog-s
The lambda calculus provides a formalism to express such logical forms
with missing components.
lambda(X, kiss1(k1, X, name(S1, 'Sue')
is a predicate that takes one argument.
The argument symbol X marks the "gap" in the VP.
Since it is
PPs can modify an NP or a VP, or may be subcategorized for by a head
word, in which case the preposition acts more as a flag for an argument than
as an independent predicate.
in the corner ate lunch.
PP modifies NP
PP Modifying a VP
Consider a PP modifying a VP: e.g. cry in the corner, as in Jill can cry in
The relevant syntactic rule would be VP VP PP.
cry has logical form, i.e. sem, lambda(X, cries1(e1, X) and var e1. The
desired sem and var for cry in
Syntax concerns structure; semantics concerns "meaning".
Semantics is often assumed to be compositional: the meaning of a phrase
like three green boxes is constructed from the meanings of the words: three,
green, and boxes.
Verbs and States in Logical Form
John broke it
John broke it with the hammer
This seems to say that there are two predicates for broke, one binary and one
A suitable solution is to convert the "breaking" into an event and assert
Handling Semantic Interpretation
The chart parser can be modified so that it handles semantic interpretation as
When a lexical rule is instantiated for use, the var feature is set to a new
whenever a constituent is built, the
The Basic Logical Form Language
This section defines a formal language of logical forms, resembling FOPC (first
order predicate calculus):
constants or expressions that describe objects: fido1, jack1
The main purpose of the lower case, and the numbe
Preposition and Thematic Roles
Prepositions cue thematics roles: e.g. with can indicate either instr(ument) or
Grey section below is non-examinable
When these are mixed, as in ? She ate the ice-cream with a large spoon and
her best friend we hav