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:

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>}

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:

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 > }

Challenging phenomena at the syntax-semantics interface