Semantics 1, SoSe 2016 (Sailer): Difference between revisions
(62 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
= Assignment sheets = | |||
* First assignments sheet: | |||
:: Download the file: [[File:SoSe16-assignment-logic.pdf]] | |||
:: [[Semantics 1, SoSe 2016 (Sailer): Assignment Sheet 1|Example solution]] | |||
* Second assignment sheet: [[File:SoSe16-assignment-lrs.pdf]] | |||
= Mock exam = | |||
Mock exam: [[File:SoSe16-mockexam.pdf]] | |||
Follow the link to an [[Semantics 1, SoSe 2016 (Sailer): Mock Exam|online version of the mock exam and example solutions]]. | |||
= Additional material for week 10 = | |||
A syntactic fragment: | |||
https://www.english-linguistics.de/syn1/30/ | |||
The login information can be found on the slides. | |||
== Basic combinatorics: Canonical examples == | |||
(the following exercises are adapted from the textbook material to [[https://www.lexical-resource-semantics.de/wiki/index.php/Exercise-ch5#Basic_combinatorics:_Canonical_examples Chapter 5]]. | |||
<quiz display=simple> | |||
{Sentence: ''Pat snored.''<br />Logical form: '''snore'''('''pat''')<br /> | |||
Which parts of the logical form are contributed by which word? | |||
|type="[]"} | |||
|'''pat''' ¦ | '''snore''' ¦| '''snore'''('''pat''') | |||
+-- ''Pat'' | |||
-++ ''snored'' | |||
{Sentence: ''Pat likes Chris.''<br />Logical form: '''like'''('''pat''','''chris''')<br /> | |||
Which parts of the logical form are contributed by which word? | |||
|type="[]"} | |||
|'''pat''' ¦| '''chris''' ¦| '''like''' ¦| '''like'''('''pat''','''chris''') | |||
+--- ''Pat'' | |||
--++ ''likes'' | |||
-+-- ''Chris'' | |||
</quiz> | |||
== Possible EX-CONT values == | |||
Given the following PARTS lists, what are possible EX-CONT values (if we do not assume other restrictions) | |||
1. PARTS < '''pat''', '''alex''','''like''', '''like'''(__,__) > | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answer | |||
<div class="mw-collapsible-content"> | |||
'''like'''('''pat''','''alex''')<br> | |||
'''like'''('''alex''','''pat''') | |||
</div></div> | |||
2. PARTS < '''alex''','''snore''', '''snore'''(__), ¬(__) > | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answer | |||
<div class="mw-collapsible-content"> | |||
¬('''snore'''('''alex''')) | |||
</div></div> | |||
3. PARTS < '''alex''','''alex''','''snore''' > | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answer | |||
<div class="mw-collapsible-content"> | |||
There is no possible EX-CONT value because the three elements on the PARTS list cannot be combined. | |||
</div></div> | |||
3. PARTS < '''alex''','''alex''','''snore''', '''snore'''(__) > | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answer | |||
<div class="mw-collapsible-content"> | |||
'''snore'''('''alex''') | |||
</div></div> | |||
4. PARTS < '''alex''','''alex''','''snore''', '''snore'''(__), __ ∧ __ > | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answer | |||
<div class="mw-collapsible-content"> | |||
'''snore'''('''alex''') ∧ '''snore'''('''alex''') | |||
</div></div> | |||
= Additional material for week 9 = | |||
A syntactic fragment: | |||
https://www.english-linguistics.de/syn1/30/ | |||
The login information can be found on the slides. | |||
== 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> | |||
'''Note:''' | |||
* Put a minus ("-") if a slot should not receive any filling | |||
* Use ''det'', ''noun'', ''prep'' or ''verb'' for the HEAD values. | |||
<quiz display=simple> | |||
{Alex <u>read</u> a book yesterday. | |||
|type="{}"} | |||
PHON { read _8 }<br> | |||
SYNSEM | LOCAL | CAT | HEAD { verb _8 }<br> | |||
SYNSEM | LOCAL | CAT | VAL | SUBJ < { NP _8 } ><br> | |||
SYNSEM | LOCAL | CAT | VAL | SPR < { - _8} > <br> | |||
SYNSEM | LOCAL | CAT | VAL | COMPS < { NP _8 } ><br> | |||
{Alex talked <u>to</u> a friend. | |||
|type="{}"} | |||
PHON { to _8 }<br> | |||
SYNSEM | LOCAL | CAT | HEAD { prep _8 }<br> | |||
SYNSEM | LOCAL | CAT | VAL | SUBJ < { - _8 } ><br> | |||
SYNSEM | LOCAL | CAT | VAL | SPR < { - _8 } > <br> | |||
SYNSEM | LOCAL | CAT | VAL | COMPS < { NP _8 } ><br> | |||
{Pat liked this new <u>documentary</u> on African wild life. | |||
|type="{}"} | |||
PHON { documentary _15 }<br> | |||
SYNSEM | LOCAL | CAT | HEAD { noun _8 }<br> | |||
SYNSEM | LOCAL | CAT | VAL | SUBJ < { - _8 } ><br> | |||
SYNSEM | LOCAL | CAT | VAL | SPR < { Det _8 } > <br> | |||
SYNSEM | LOCAL | CAT | VAL | COMPS < { PP _8 } ><br> | |||
{<u>Alex</u> talked to a friend. | |||
|type="{}"} | |||
PHON { Alex _8 }<br> | |||
SYNSEM | LOCAL | CAT | HEAD { noun _8 }<br> | |||
SYNSEM | LOCAL | CAT | VAL | SUBJ < { - _8 } ><br> | |||
SYNSEM | LOCAL | CAT | VAL | SPR < { - _8 } > <br> | |||
SYNSEM | LOCAL | CAT | VAL | COMPS < { - _8 } ><br> | |||
</quiz> | |||
{{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 < { [5] _3 } > {{TenSpaces}}COMPS < { - _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}} | |||
= Additional material for week 8 = | |||
Additional material for week 8 can be found [[Semantics 1, SoSe 2016 (Sailer): Week 8|here]]. | |||
= Additional material for weeks 6 and 7= | |||
Additional material for weeks 6 and 7 can be found [[Semantics 1, SoSe 2016 (Sailer): Weeks 6 and 7|here]]. | |||
= Additional material for week 5= | |||
Additional material for week 5 can be found [[Semantics 1 (Sailer): Week 5|here]]. | |||
= Additional material for week 4= | |||
The material can be found on the page [[Semantics 1, SoSe 2016 (Sailer): Week 4]] | |||
<!-- | |||
== Formulae with connectives == | |||
=== Definitions === | |||
Read the section of truth tables from the [[Wiki-ch2#Truth_tables|textbook material on connectives]]. | |||
=== Computing the truth value of a complex formula === | |||
'''Note:''' This is copied from the [[Wiki-ch2#Formulae_with_connectives|textbook material on connectives]]. | |||
The following video presents the step-by-step computation of the truth value of two formulae with connectives. | |||
The example uses a model based on Shakespeare's play ''Macbeth''. | |||
The two formulae are: | |||
* '''¬ king(lady-macbeth)''' | |||
* '''king(duncan) ∨ king(lady-macbeth)''' | |||
<embedvideo service="youtube" dimensions="400">http://youtu.be/ABXPMzHFYxU</embedvideo> | |||
The next 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. | |||
<embedvideo service="youtube" dimensions="400">http://youtu.be/C1rjU104R54</embedvideo> | |||
== For next week (May 2) == | |||
* Read Levine et al (in prep.), Chapter 2, section 2 (especially 2.2.1 and 2.2.2) | |||
* Using your model from last week, | |||
** Give 2 atomic formulae. | |||
** Give 1 statement with a conjunction ("and") | |||
** Provide the step-by-step computation of the truth of your 3 statements. | |||
--> | |||
= Additional material for week 3= | = Additional material for week 3= | ||
The material for week 3 can be accessed [[Semantics_1,_SoSe_2016_(Sailer): Week 3|here]] | |||
<!-- | |||
== Links to our literary scenario == | == Links to our literary scenario == | ||
Line 118: | Line 408: | ||
Just like with names, we want to have symbols that we can use in the logical language. For our example, let's take the predicate symbols '''afternoon-snack-of_2''' and '''father-of_2''', and '''talks-with_2'''. (The number 2 indicates that the interpretation consists of pairs, not just of single individual) There interpretation is defined as follows:<br> | Just like with names, we want to have symbols that we can use in the logical language. For our example, let's take the predicate symbols '''afternoon-snack-of_2''' and '''father-of_2''', and '''talks-with_2'''. (The number 2 indicates that the interpretation consists of pairs, not just of single individual) There interpretation is defined as follows:<br> | ||
Line 153: | Line 442: | ||
<embedvideo service="youtube" dimensions="400">http://youtu.be/8HGCB9urmbg</embedvideo> | <embedvideo service="youtube" dimensions="400">http://youtu.be/8HGCB9urmbg</embedvideo> | ||
= For next week = | == For next week == | ||
* | * Work through this wiki page. | ||
* Read Levine et al. (in prep.), Chapter 2, Section 1 [available on olat]. | |||
* Define a model and introduce the necessary name symbols and predicate symbols for our scenario with | |||
** three individuals | |||
** two relations | |||
** two properties | |||
* Use your model and your symbols and write down | |||
** one formula that is true in your model and | |||
** two formulae that are false in your mode. | |||
--> | --> |
Latest revision as of 22:24, 4 July 2016
Assignment sheets
- First assignments sheet:
- Download the file: File:SoSe16-assignment-logic.pdf
- Example solution
- Second assignment sheet: File:SoSe16-assignment-lrs.pdf
Mock exam
Mock exam: File:SoSe16-mockexam.pdf
Follow the link to an online version of the mock exam and example solutions.
Additional material for week 10
A syntactic fragment:
https://www.english-linguistics.de/syn1/30/
The login information can be found on the slides.
Basic combinatorics: Canonical examples
(the following exercises are adapted from the textbook material to [Chapter 5].
Possible EX-CONT values
Given the following PARTS lists, what are possible EX-CONT values (if we do not assume other restrictions)
1. PARTS < pat, alex,like, like(__,__) >
Check your answer
like(pat,alex)
like(alex,pat)
2. PARTS < alex,snore, snore(__), ¬(__) >
Check your answer
¬(snore(alex))
3. PARTS < alex,alex,snore >
Check your answer
There is no possible EX-CONT value because the three elements on the PARTS list cannot be combined.
3. PARTS < alex,alex,snore, snore(__) >
Check your answer
snore(alex)
4. PARTS < alex,alex,snore, snore(__), __ ∧ __ >
Check your answer
snore(alex) ∧ snore(alex)
Additional material for week 9
A syntactic fragment:
https://www.english-linguistics.de/syn1/30/
The login information can be found on the slides.
Lexical entries as Attribute-Value Matrix
The following exercises are copied from the wiki page for exercises to chapter 3.
Provide the required information on the lexical properties of the underlined words in the following sentences.
Note:
- Put a minus ("-") if a slot should not receive any filling
- Use det, noun, prep or verb for the HEAD values.
Feel free to send feedback on this exercise to Manfred Sailer.
Analysis of simple sentences
The following exercises are copied from the wiki page for exercises to chapter 3.
Feel free to send feedback on this exercise to Manfred Sailer.
Additional material for week 8
Additional material for week 8 can be found here.
Additional material for weeks 6 and 7
Additional material for weeks 6 and 7 can be found here.
Additional material for week 5
Additional material for week 5 can be found here.
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