Semantics 1, SoSe 2014: Mock exam: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 112: Line 112:
Check your answer
Check your answer
<div class="mw-collapsible-content">
<div class="mw-collapsible-content">
[[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''1'' iff<br> < [[<nowiki />'''macbeth''']], [[<nowiki />'''macbeth''']] > is in [[<nowiki />'''mistrust''']] iff <br> < I('''macbeth'''), I('''macbeth''') > in I('''mistrust''') iff <br> < ''Macbeth'', ''Macbeth'' > in { ''x'' | ''x'' mistrusts ''y'' } = { <''Macbeth'', ''Banquo''>, <''Banquo'', ''Macbeth''> }
[[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''1'' <br> iff < [[<nowiki />'''macbeth''']], [[<nowiki />'''macbeth''']] > is in [[<nowiki />'''mistrust''']] <br> iff < I('''macbeth'''), I('''macbeth''') > in I('''mistrust''') <br> iff < ''Macbeth'', ''Macbeth'' > in { ''x'' | ''x'' mistrusts ''y'' } = { <''Macbeth'', ''Banquo''>, <''Banquo'', ''Macbeth''> }


Since this is not the case, [[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''0''.
Since this is not the case, [[<nowiki />'''mistrust'''('''macbeth''','''macbeth''')]] = ''0''.
Line 122: Line 122:
Check your answer
Check your answer
<div class="mw-collapsible-content">
<div class="mw-collapsible-content">
'''king'''('''banquo''') &sup; &not; '''kill'''('''macbeth''','''banquo''')
[[<nowiki />&not; '''king'''('''banquo''')]] = ''1'' <br>iff [[<nowiki />''king'''('''banquo''')]] = ''0'' <br>iff < [['''banquo''']]> is not in [['''king''']]<br> iff < I('''banquo'''> is not in I('''king''') <br>iff < ''Banquo'' > is not in { <''x''> | ''x'' is king } = { <''Macbeth''>}
 
Since this is the case, [[<nowiki />&not; '''king'''('''banquo''')]] = ''1''
</div></div>
</div></div>



Revision as of 21:02, 4 July 2014

Mock exam file: File:Mock-exam-sose14.pdf

The examples in the text are based on Shakespeare's play Macbeth. The full text of the play is available on Projekt Gutenberg.

Task 1: Ambiguity

Consider the following ambiguous sentences.

  1. For each of these, determine the type of ambiguity.
  2. Provide an unambiguous paraphrase for the possible readings.

(1) a. Duncan trusted Macbeth because he was a thane.

Check your answer

  1. Type of ambiguity: referential ambiguity
  2. Reading 1: he refers to Macbeth. Paraphrase: Duncan trusted Macbeth because Macbeth was a thane.
    Reading 2: he refers to Duncan. Paraphrase: Duncan trusted Macbeth because Duncan was a thane.

b. Every king trusts a thane.

Check your answer

  1. Type of ambiguity: scope ambiguity
  2. Reading 1: every takes scope over a. Paraphrase: For every king there is at least one thane such that the king trusts that thane.
    Reading 2: a takes scope over every. Paraphrase: There is one particular thane such that each king trusts this thane.

b. Macbeth and Macduff are married.

Check your answer

  1. Type of ambiguity: collective-distributive ambiguity
  2. Reading 1: collective reading. Paraphrase: Macbeth and Macduff are married to each other
    Reading 2: distributive reading. Paraphrase: Macbeth and Macduff are both married, but not to each other.

b. Macbeth killed a king with a dagger.

Check your answer

  1. Type of ambiguity: structural ambiguity
  2. Reading 1: the PP with a dagger is a modifier of the verb kill Paraphrase: Macbeth used a dagger to kill a king.
    Reading 2: the PP with a dagger is a modifier of the noun king. Paraphrase: Macbeth killed a king who had a dagger.


Task 2: Model and Interpretation

(Note: For this task you do not need to use the functional notation and the types)

1. Define a universe that consists of Macbeth and Banquo.

Check your answer

U = { Macbeth, Banquo }

2. Define the interpretation of the names macbeth and banquo in an intuitively plausible way.

Check your answer

I(macbeth) = Macbeth,
I(banquo) = Banquo

3. Define the interpretation of the properties thane, king, and witch is such a way that Macbeth is a king, both are thanes and neither is a witch.

Check your answer

I(thane) = {Macbeth, Banquo},
I(king) = {Macbeth},
I(witch) = {}

4. Define the interpretation of the 2-place relations mistrust and kill in such a way that Macbeth and Banquo mistrust each other and Macbeth kills Banquo.

Check your answer

I(mistrust) = {<Macbeth, Banquo>, <Banquo, Mactbeth>},
I(kill) = {<Macbeth,Banquo}

Task 3: Formulae

Write down logical formulae that express the meaning of the following sentences.

1. Banquo is a thane.

Check your answer

thane(banquo)

2. Macbeth is king and Macbeth mistrusts Banquo.

Check your answer

king(macbeth) ∧ mistrust(macbeth,banquo)

3. If Banquo is king then Macbeth does not kill Banquo.

Check your answer

king(banquo) ⊃ ¬ kill(macbeth,banquo)


Task 4: Interpreting formulae

Compute the interpretation of the following formulæ step by step.

1. mistrust(macbeth,macbeth)

Check your answer

[[mistrust(macbeth,macbeth)]] = 1
iff < [[macbeth]], [[macbeth]] > is in [[mistrust]]
iff < I(macbeth), I(macbeth) > in I(mistrust)
iff < Macbeth, Macbeth > in { x | x mistrusts y } = { <Macbeth, Banquo>, <Banquo, Macbeth> }

Since this is not the case, [[mistrust(macbeth,macbeth)]] = 0.


2. ¬king(banquo)

Check your answer

[[¬ king'(banquo)]] = 1
iff [[
king
(banquo)]] = 0
iff < '''banquo'''> is not in '''king'''
iff < I(banquo> is not in I(king)
iff < Banquo > is not in { <x> | x is king } = { <Macbeth>}

Since this is the case, [[¬ king(banquo)]] = 1


3. witch(banquo) ⊃ king(macbeth))

Check your answer

king(banquo) ⊃ ¬ kill(macbeth,banquo)



Back to the material for Semantics 1, SoSe 2014.