ExerciseFOModels-d: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
| (6 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
== Scenario == | |||
<blockquote> | |||
'''Scenario:''' | |||
At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes. | |||
</blockquote> | |||
== Universe == | == Universe == | ||
''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/> | ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/> | ||
| Line 17: | Line 25: | ||
Predicates with arity 1: | Predicates with arity 1: | ||
* I ('''wants-to-live-in-Munich''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>} | * I ('''wants-to-live-in-Munich''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>} | ||
* I ('''lives-in-Berlin''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>} | * I ('''lives-in-Berlin''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>} | ||
* I ('''lives-in-Munich''') = {} | * I ('''lives-in-Munich''') = {} | ||
* I ('''rather-small''') = {<''Alice''>,<''Tom''>} | * I ('''rather-small''') = {<''Alice''>,<''Tom''>} | ||
* I ('''tall''') = {<''Lisa''>,<''Paul''>} | * I ('''tall''') = {<''Lisa''>,<''Paul''>} | ||
* I ('''blonde''') = {<''Alice''>,<''Lisa''>} | * I ('''blonde''') = {<''Alice''>,<''Lisa''>} | ||
* I ('''female''') = {<''Alice''>,<''Lisa''>} | * I ('''female''') = {<''Alice''>,<''Lisa''>} | ||
* I ('''male''') = {<''Tom''>,< | * I ('''male''') = {<''Tom''>,<''Paul''>} | ||
* I ('''likes-eating-shoes''') = {<''Walter''>} | * I ('''likes-eating-shoes''') = {<''Walter''>} | ||
* I ('''doesn't-care-about-sports''') = {<''Walter''>} | * I ('''doesn't-care-about-sports''') = {<''Walter''>} | ||
* I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>} | * I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>} | ||
* I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>} | * I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>} | ||
* I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>} | * I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>} | ||
=== Relations === | === Relations === | ||
| Line 44: | Line 51: | ||
* I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>} | * I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>} | ||
* I ('''married-to-eachother''') = {<''Alice, Paul''>, <''Paul, Alice''>} | * I ('''married-to-eachother''') = {<''Alice, Paul''>, <''Paul, Alice''>} | ||
* I ('''enjoy-watching-football-together''') = {<''Alice, Paul''>,<''Paul, Alice''>,<''Alice, Lisa''>,<''Lisa, Alice''>,<''Alice, Tom''>,<''Tom, Alice''>,<''Paul, Lisa''>,<''Lisa, Paul''>,<''Paul, Tom''>,<''Tom, Paul''>,<''Tom, Lisa''>,<''Lisa, Tom''>} | * I ('''enjoy-watching-football-together''')<br /> = {<''Alice, Paul''>,<''Paul, Alice''>,<''Alice, Lisa''>,<''Lisa, Alice''>,<''Alice, Tom''>,<''Tom, Alice''>,<''Paul, Lisa''>,<''Lisa, Paul''>,<''Paul, Tom''>,<''Tom, Paul''>,<''Tom, Lisa''>,<''Lisa, Tom''>} | ||
====Navigation==== | ====Navigation==== | ||
*[[Exercise_First_Order_Models|Link to the exercise on how to create a world]] | *[[Exercise_First_Order_Models|Link to the exercise on how to create a world]] | ||
*[[ | *[[Exercise_Semantics_of_Predicate_Logic|Link back to the exercise on formulae that uses this world]] | ||
*[[Interpretation_of_formulae_with_connectives|Link back to the exercise on the interpretation of formulae that uses this world]] | *[[Interpretation_of_formulae_with_connectives|Link back to the exercise on the interpretation of formulae that uses this world]] | ||
*[[NMTS-Group9|Link to the Wiki Page]] | *[[NMTS-Group9|Link to the Wiki Page]] | ||
Latest revision as of 15:03, 22 May 2013
Scenario
Scenario:
At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes.
Universe
U = {Alice,Paul,Tom,Lisa,Walter}
Names
Names = {alice, paul, tom, lisa, walter}
- I (alice) = Alice
- I (paul) = Paul
- I (tom) = Tom
- I (lisa) = Lisa
- I (walter) = Walter
Predicates
Properties
Predicates with arity 1:
- I (wants-to-live-in-Munich) = {<Alice>,<Paul>,<Tom>,<Lisa>}
- I (lives-in-Berlin) = {<Alice>,<Paul>,<Tom>,<Lisa>}
- I (lives-in-Munich) = {}
- I (rather-small) = {<Alice>,<Tom>}
- I (tall) = {<Lisa>,<Paul>}
- I (blonde) = {<Alice>,<Lisa>}
- I (female) = {<Alice>,<Lisa>}
- I (male) = {<Tom>,<Paul>}
- I (likes-eating-shoes) = {<Walter>}
- I (doesn't-care-about-sports) = {<Walter>}
- I (bored-watching-soccer) = {<Tom>,<Paul>}
- I (enjoys-watching-soccer) = {<Alice>,<Lisa>}
- I(enjoys-watching-football) = {<Alice>,<Lisa>,<Paul>,<Tom>}
Relations
Predicates with arity 2:
- I (son-of-someone) = {<Tom,Paul>,<Tom,Alice>}
- I (daughter-of-someone) = {<Lisa, Paul>,<Lisa, Alice>}
- I (mother-of-someone) = {<Alice, Lisa>,<Alice, Paul>}
- I (father-of-someone) = {<Paul, Tom>,<Paul, Lisa>}
- I (brother-of-someone) = {<Tom, Lisa>}
- I (sister-of-someone) = {<Lisa, Tom>}
- I (dog-of-someone) = {<Walter,Alice>,<Walter,Paul>,<Walter,Tom>,<Walter,Lisa>}
- I (married-to-eachother) = {<Alice, Paul>, <Paul, Alice>}
- I (enjoy-watching-football-together)
= {<Alice, Paul>,<Paul, Alice>,<Alice, Lisa>,<Lisa, Alice>,<Alice, Tom>,<Tom, Alice>,<Paul, Lisa>,<Lisa, Paul>,<Paul, Tom>,<Tom, Paul>,<Tom, Lisa>,<Lisa, Tom>}