SoSe22: Constraint-based Semantics 2: Difference between revisions
(Created page with "= Meeting 02: Introduction = '''Note: The meeting takes place asynchronically!''' = Meeting 01 = (no meeting)") |
|||
Line 3: | Line 3: | ||
'''Note: The meeting takes place asynchronically!''' | '''Note: The meeting takes place asynchronically!''' | ||
== Definition of a model == | |||
{{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 model as follows: | |||
* Universe: ''U'' = {''LittleRedRidingHood'', ''Grandmother'', ''Wolf''}<br /> | |||
* Properties: <br />''red-hood'' = { < ''x''> | ''x'' wears a read hood } = { <''LittleRedRidingHood''> }<br />''female'' = { <''x''> | ''x'' is female } = { <''LittleRedRidingHood''>, <''Grandmother''> }<br />''big-mouth'' = { <''x''> | ''x'' has a big mouth } = { <''Wolf''> }<br />''live-in-forest'' = { < ''x''> | ''x'' lives in the forest } = { <''Grandmother''>, <''Wolf''>}<br /> | |||
* Relations:<br /> ''grand-child-of'' = { <''x'',''y''> | ''x'' is ''y'' 's grandchild } = { <''LittleRedRidingHood'',''Grandmother'' > }<br />''afternoon-snack-of'' = { <''x'',''y''> | ''x'' is ''y'' 's afternoon snack } = { <''LittleRedRidingHood'',''Wolf'' > } | |||
== Computation of the truth value of atomic formulae == | |||
The following video presents the step-by-step computation of the truth value of two atomic formulae. | |||
The example uses a model based on Shakespeare's play ''Macbeth''. | |||
The two formulae are: | |||
* '''kill(macbeth,duncan)''' | |||
* '''kill(lady-macbeth,macbet)''' | |||
<embedvideo service="youtube" dimensions="400">http://youtu.be/8HGCB9urmbg</embedvideo> | |||
== Computation of the truth value of complex formulae == | |||
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> | |||
<!-- https://www.youtube.com/watch?v=K14D7VllA8M --> | |||
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> | |||
= Meeting 01 = | = Meeting 01 = | ||
(no meeting) | (no meeting) |
Revision as of 22:53, 18 April 2022
Meeting 02: Introduction
Note: The meeting takes place asynchronically!
Definition of a model
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 model as follows:
- Universe: U = {LittleRedRidingHood, Grandmother, Wolf}
- Properties:
red-hood = { < x> | x wears a read hood } = { <LittleRedRidingHood> }
female = { <x> | x is female } = { <LittleRedRidingHood>, <Grandmother> }
big-mouth = { <x> | x has a big mouth } = { <Wolf> }
live-in-forest = { < x> | x lives in the forest } = { <Grandmother>, <Wolf>} - Relations:
grand-child-of = { <x,y> | x is y 's grandchild } = { <LittleRedRidingHood,Grandmother > }
afternoon-snack-of = { <x,y> | x is y 's afternoon snack } = { <LittleRedRidingHood,Wolf > }
Computation of the truth value of atomic formulae
The following video presents the step-by-step computation of the truth value of two atomic formulae. The example uses a model based on Shakespeare's play Macbeth. The two formulae are:
- kill(macbeth,duncan)
- kill(lady-macbeth,macbet)
Computation of the truth value of complex formulae
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)
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.
Meeting 01
(no meeting)