WiSe 2025/26: Semantics 1: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Meeting 1 = == Video == Challenging phenomena at the syntax-semantics interface <embedvideo service="youtube" dimensions="400">https://youtu.be/zaBC9dKXe5A</embedvideo> == Scenario == Shrek (film, 2001): [https://en.wikipedia.org/wiki/Shrek https://en.wikipedia.org/wiki/Shrek]") |
No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
= Meeting 2= | |||
== Models == | |||
{{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:IsaB|Isabelle]]. | |||
Watch a short podcast what first-order models look like. | |||
<embedvideo service="youtube" dimensions="400">http://youtu.be/4a3mXelw7H4</embedvideo> | |||
Based on this podcast, we can define a scenario as follows: | |||
* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}<br /> | |||
* Properties: | |||
:: ''RedHood'' = { < ''x''> | ''x'' wears a read hood } = { <''LittleRedRidingHood''> } | |||
:: ''Female'' = { <''x''> | ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> } | |||
:: ''BigMouth'' = { <''x''> | ''x'' has a big mouth } = { <''Wolf''> } | |||
:: ''LiveInForest'' = { < ''x''> | ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>} | |||
* Relations: | |||
:: ''GrandChildOf'' = { <''x'',''y''> | ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > } | |||
:: ''AfternoonSnackOf'' = { <''x'',''y''> | ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > } | |||
From this scenario, we can build a model ''M'' = < ''U'', I > | |||
* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''} | |||
* Name symbols: '''NAME''' = {'''little-red-riding-hood'''}<br>Note: In our model, only one individual has a name. | |||
* Predicate symbols: '''PREDICATE''' = {'''red-hood1''', '''female1''', '''big-mouth''', '''live-in-forest1''', '''grand-child-of2''', '''afternoon-snack-of2'''} | |||
* Interpretation function I: | |||
:* for name symbols: I('''little-red-riding-hood''') = ''LittleRedRidingHood'' | |||
:* for predicate symbols:<br> | |||
:: I('''red-hood1''') = ''RedHood'' = { < ''x''> | ''x'' wears a read hood } = { <''LittleRedRidingHood''> } | |||
:: I('''female''') = ''Female'' = { <''x''> | ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> } | |||
:: I('''big-mouth1''') = ''BigMouth'' = { <''x''> | ''x'' has a big mouth } = { <''Wolf''> } | |||
:: I('''live-in-forest1''') = ''LiveInForest'' = { < ''x''> | ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>} | |||
:: I('''grand-child-of2''') = ''GrandChildOf'' = { <''x'',''y''> | ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > } | |||
:: I('''afternoon-snack-of2''') = ''AfternoonSnackOf'' = { <''x'',''y''> | ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > } | |||
= Meeting 1 = | = Meeting 1 = | ||
| Line 9: | Line 45: | ||
== Scenario == | == Scenario == | ||
The Hunger Games (film, 2012): [https://en.wikipedia.org/wiki/The_Hunger_Games_(film) https://en.wikipedia.org/wiki/The_Hunger_Games_(film)] | |||
Latest revision as of 09:34, 21 October 2025
Meeting 2
Models
The following material is an adapted form of material created by student participants of the project e-Learning Resources for Semantics (e-LRS). Involved participants: Lisa, Marthe, Elisabeth, Isabelle.
Watch a short podcast what first-order models look like.
Based on this podcast, we can define a scenario as follows:
- Universe: U = {LittleRedRidingHood, Grandmother, Wolf}
- Properties:
- RedHood = { < x> | x wears a read hood } = { <LittleRedRidingHood> }
- Female = { <x> | x is female } = { <LittleRedRidingHood>, <Grandmother> }
- BigMouth = { <x> | x has a big mouth } = { <Wolf> }
- LiveInForest = { < x> | x lives in the forest } = { <Grandmother>, <Wolf>}
- Relations:
- GrandChildOf = { <x,y> | x is y 's grandchild } = { <LittleRedRidingHood,Grandmother > }
- AfternoonSnackOf = { <x,y> | x is y 's afternoon snack } = { <LittleRedRidingHood,Wolf > }
From this scenario, we can build a model M = < U, I >
- Universe: U = {LittleRedRidingHood, Grandmother, Wolf}
- Name symbols: NAME = {little-red-riding-hood}
Note: In our model, only one individual has a name. - Predicate symbols: PREDICATE = {red-hood1, female1, big-mouth, live-in-forest1, grand-child-of2, afternoon-snack-of2}
- Interpretation function I:
- for name symbols: I(little-red-riding-hood) = LittleRedRidingHood
- for predicate symbols:
- I(red-hood1) = RedHood = { < x> | x wears a read hood } = { <LittleRedRidingHood> }
- I(female) = Female = { <x> | x is female } = { <LittleRedRidingHood>, <Grandmother> }
- I(big-mouth1) = BigMouth = { <x> | x has a big mouth } = { <Wolf> }
- I(live-in-forest1) = LiveInForest = { < x> | x lives in the forest } = { <Grandmother>, <Wolf>}
- I(grand-child-of2) = GrandChildOf = { <x,y> | x is y 's grandchild } = { <LittleRedRidingHood,Grandmother > }
- I(afternoon-snack-of2) = AfternoonSnackOf = { <x,y> | x is y 's afternoon snack } = { <LittleRedRidingHood,Wolf > }
Meeting 1
Video
Challenging phenomena at the syntax-semantics interface
Scenario
The Hunger Games (film, 2012): https://en.wikipedia.org/wiki/The_Hunger_Games_(film)