Semantics 1, SoSe 2016 (Sailer): Difference between revisions
Line 1: | Line 1: | ||
<!-- | |||
= Additional material for week 9 = | = Additional material for week 9 = | ||
Line 9: | Line 10: | ||
== Lexical entries as Attribute-Value Matrix == | == Lexical entries as Attribute-Value Matrix == | ||
The following exercises are copied from the wiki page for [[Exercise-ch3|exercises to chapter 3]]. | |||
Provide the required information on the lexical properties of the underlined words in the following sentences.<br> | Provide the required information on the lexical properties of the underlined words in the following sentences.<br> | ||
Line 58: | Line 60: | ||
{{FeedbackExercises}} | {{FeedbackExercises}} | ||
== Analysis of simple sentences == | |||
The following exercises are copied from the wiki page for [[Exercise-ch3|exercises to chapter 3]]. | |||
<quiz display=simple> | |||
{Indicate the missing values of the VAL and the HEAD features using tags ([1], ...) or "-" for empty lists. | |||
|type="{}"} | |||
''Alex snored.'' | |||
syntactic structure: [[File:Tree-AlexSnored.jpeg|300px]] | |||
Words:{{TenSpaces}}{{TenSpaces}}{{TenSpaces}} Phrase: | |||
''Alex''{{TenSpaces}}{{TenSpaces}} ''snored'' {{TenSpaces}} S: ''Alex snored.'' | |||
HEAD [4]''noun''{{TenSpaces}} HEAD [5]''verb''{{TenSpaces}} HEAD { [5] _3 } | |||
SUBJ < { - _3 } >{{TenSpaces}} SUBJ < { [1] _3 } > {{TenSpaces}} SUBJ < { - _3 } > | |||
SPR < { - _3 } >{{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { - _3 } > | |||
COMPS < { - _3 } >{{TenSpaces}}COMPS < { - _3 } > {{TenSpaces}}COMPS < { - _3 } > | |||
</quiz> | |||
<quiz display=simple> | |||
{Indicate the missing values of the VAL and the HEAD features using tags ([1], ...) or "-" for empty lists. | |||
|type="{}"} | |||
''Fido chased a mouse.'' | |||
syntactic structure: [[File:Tree-FidoChasedAMouse.jpeg|500px]] | |||
Words: | |||
''Fido''{{TenSpaces}}{{TenSpaces}} ''chased'' {{TenSpaces}} ''a'' {{TenSpaces}}{{TenSpaces}} ''mouse'' | |||
HEAD [8]''noun''{{TenSpaces}} HEAD [9]''verb''{{TenSpaces}} HEAD [10] ''det'' {{TenSpaces}} HEAD [11] ''noun'' | |||
SUBJ < { - _3 } >{{TenSpaces}} SUBJ < { [1] _3 } > {{TenSpaces}} SUBJ < { - _3 } > {{TenSpaces}} SUBJ < { - _3 } > | |||
SPR < { - _3 } >{{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { [3] _3 } > | |||
COMPS < { - _3 } >{{TenSpaces}}COMPS < { - _3 } > {{TenSpaces}}COMPS < { [5] _3 } > {{TenSpaces}} COMPS < { - _3 } > | |||
Phrases:{{TenSpaces}}{{TenSpaces}}{{TenSpaces}} | |||
NP: ''a mouse''{{TenSpaces}} VP: ''chased a mouse'' {{TenSpaces}} S: ''Fido chased a mouse.'' | |||
HEAD { [11] _4 } {{TenSpaces}} HEAD { [9] _4 } {{TenSpaces}} HEAD { [9] _4 } {{TenSpaces}} | |||
SUBJ < { - _3 } >{{TenSpaces}} SUBJ < { [1] _3 } > {{TenSpaces}} SUBJ < { - _3 } > | |||
SPR < { - _3 } >{{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { - _3 } > | |||
COMPS < { - _3 } >{{TenSpaces}}COMPS < { - _3 } > {{TenSpaces}}COMPS < { - _3 } > | |||
</quiz> | |||
<quiz display=simple> | |||
{Indicate the missing values of the VAL and the HEAD features using tags ([1], ...) or "-" for empty lists. Don't use spaces. | |||
|type="{}"} | |||
''Pat gave Alex a ride.'' | |||
syntactic structure: [[File:Tree-PatGaveAlexARide.jpeg|500px]] | |||
Words: | |||
''Pat''{{TenSpaces}}{{TenSpaces}} ''gave'' {{TenSpaces}} ''Alex'' {{TenSpaces}}{{TenSpaces}} ''a'' {{TenSpaces}} ''ride'' | |||
HEAD [9]''noun''{{TenSpaces}} HEAD [10]''verb''{{TenSpaces}} HEAD [11] ''noun'' {{TenSpaces}} HEAD [12] ''det'' {{TenSpaces}} HEAD [13] ''noun'' | |||
SUBJ < { - _3 } >{{TenSpaces}} SUBJ < { [1] _3 } > {{TenSpaces}} SUBJ < { - _3 } > {{TenSpaces}} SUBJ < { - _3 } >{{TenSpaces}} SUBJ < { - _3 } > | |||
SPR < { - _3 } >{{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { [4] _3 } > | |||
COMPS < { - _3 } >{{TenSpaces}}COMPS < { [3],[6] _8 } > COMPS < { - _3 } > {{TenSpaces}} COMPS < { - _3 } > COMPS < { - _3 } > | |||
Phrases:{{TenSpaces}}{{TenSpaces}}{{TenSpaces}} | |||
NP: ''a ride''{{TenSpaces}} VP: ''gave Alex a ride'' {{TenSpaces}} S: ''Pat gave Alex a ride.'' | |||
HEAD { [13] _4 } {{TenSpaces}} HEAD { [10] _4 } {{TenSpaces}} HEAD { [10] _4 } {{TenSpaces}} | |||
SUBJ < { - _3 } >{{TenSpaces}} SUBJ < { [1] _3 } > {{TenSpaces}} SUBJ < { - _3 } > | |||
SPR < { - _3 } >{{TenSpaces}} SPR < { - _3 } > {{TenSpaces}} SPR < { - _3 } > | |||
COMPS < { - _3 } >{{TenSpaces}}COMPS < { - _3 } > {{TenSpaces}}COMPS < { - _3 } > | |||
</quiz> | |||
{{FeedbackExercises}} | |||
--> | |||
<!-- | <!-- |
Revision as of 10:37, 19 May 2016
Additional material for weeks 6 and 7
Quantifiers
Video introducing determiners into our logical language. (The video is based on the scenario of Romeo and Juliett.)
(copied from Wiki-ch2#Logical_determiners.2Fquantifiers)
Exercises
After having watched the video, work on the following tasks.
Task 1 Identify the determiners in the following sentence.
(a) Juliet talked to some stranger at the party.
(b) Every Capulet is an enemy to some Montague.
(c) Many people in Verona are not happy about the Capulet-Montague feud.
Check your solutions here:
(a) some
(b) every, some
(c) many
Task 2 Identify the formula that corresponds to the translation of the sentence.
Task 3 The sentence: Some Tybalt loved some Montague. is translated into the formula
∃ y (montague1(y) : love2(tybalt,y).
Given this table, is the overall formula true or false? (Give a reason for your answer.)
Check your solutions here:
The formula is false, because there is no individual in our model for which both the restrictor and the scope are true.
Task 4 Variable assignment function
Start with the following variable assigment function g:
g(u) = Romeo, g(v) = Juliet, g(w) = Romeo, g(x) = Laurence, g(y) = Mercutio, g(z) = Juliet
Provide the changed variable assignment function g[v/Paris].
Check your solutions here:
g[v/Paris](u) = g(u) = Romeo
g[v/Paris](v) = Paris
g[v/Paris](w) = g(w) = Romeo
g[v/Paris](x) = g(x) = Laurence
g[v/Paris](y) = g(y) = Mercutio
g[v/Paris](z) = g(z) = Juliet
Additional material for week 5
Formulae with more than one connective
The video shows how the truth value of a more complex formula can be computed. The example contains two connectives:
kill(malcom,lady-macbeth) ∨ ¬thane(macbeth)
The video shows two different methods: top down and bottom up.
Truth tables
(The following exercises have been copied here from the page on exercises for truth tables.)
Truth tables for complex formulae
Truth tables are also useful to compute the truth value of complex formulae. This is shown in the following podcast, created by Lisa Günthner.
Preparation for week 5
- Read Levine et al (in prep.), Chapter 2, section 2.
- Using your model from last week,
- Give 1 formula with ⊃.
- Give 1 formule with 2 different connectives (both distinct from ⊃)
- Provide the step-by-step computation of the truth of your 2 formulae.
Additional material for week 4
The material can be found on the page Semantics 1, SoSe 2016 (Sailer): Week 4
Additional material for week 3
The material for week 3 can be accessed here