Example solution for defining a model in the context of ''Jane Eyre'': Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Task 2 = 1. Define a universe consisting of four main characters from your book. 2. Introduce names for your characters and provide their interpretations. 3. Introduce th...") |
No edit summary |
||
(9 intermediate revisions by the same user not shown) | |||
Line 8: | Line 8: | ||
4. Introduce two 2-place relation symbols relevant to the plot and define their interpretations. | 4. Introduce two 2-place relation symbols relevant to the plot and define their interpretations. | ||
== 1. Universe == | |||
''U'' = {''JaneEyre, BerthaMason, MrRochester, StJohn''} | |||
== 2. Names == | |||
Names: '''jane''', '''bertha''', '''edward''', '''st.john''' | |||
Interpretation of the names: | |||
* I('''jane''') = ''JaneEyre'' | |||
* I('''bertha''') = ''BerthaMason'' | |||
* I('''edward''') = ''MrRochester'' | |||
* I('''st.john''') = ''StJohn'' | |||
== 3. Properties == | |||
Properties: '''female''', '''intends-to-marry-jane''', '''mad''' | |||
Interpretation: | |||
* I('''female''') = { <x> | x is female } = { <''JaneEyre''>, <''BerthaMason''> } | |||
* I('''intends-to-marry-jane''') = { <x> | x intends to marry Jane Eyre in the course of the novel } = { <''MrRochester''>, <''StJohn''> } | |||
* I('''mad''') = { <x> | x is mad } = { <''BerthaMason''> } | |||
== 4. Relations == | |||
Relations: '''family-of''', '''husband-of''' | |||
Interpretation: | |||
* I('''family-of''') = [ <x,y> | x is family of y } = { <''JaneEyre,StJohn''>, <''St.John,JaneEyre''> } | |||
* I('''husband-of''') = { <x,y> | x is y's husband } = { <''MrRochester,BerthaMason''>, <''MrRochester,JaneEyre''> } | |||
<hr /> | <hr /> | ||
Back to the [[Assignmentsheet_Logic_Summer_Term_2013|assignment sheet for Chapter 2]]. | Back to the [[Assignmentsheet_Logic_Summer_Term_2013|assignment sheet for Chapter 2]]. |
Latest revision as of 20:43, 28 June 2013
Task 2
1. Define a universe consisting of four main characters from your book.
2. Introduce names for your characters and provide their interpretations.
3. Introduce three property symbols relevant to the plot and provide their interpretations.
4. Introduce two 2-place relation symbols relevant to the plot and define their interpretations.
1. Universe
U = {JaneEyre, BerthaMason, MrRochester, StJohn}
2. Names
Names: jane, bertha, edward, st.john
Interpretation of the names:
- I(jane) = JaneEyre
- I(bertha) = BerthaMason
- I(edward) = MrRochester
- I(st.john) = StJohn
3. Properties
Properties: female, intends-to-marry-jane, mad
Interpretation:
- I(female) = { <x> | x is female } = { <JaneEyre>, <BerthaMason> }
- I(intends-to-marry-jane) = { <x> | x intends to marry Jane Eyre in the course of the novel } = { <MrRochester>, <StJohn> }
- I(mad) = { <x> | x is mad } = { <BerthaMason> }
4. Relations
Relations: family-of, husband-of
Interpretation:
- I(family-of) = [ <x,y> | x is family of y } = { <JaneEyre,StJohn>, <St.John,JaneEyre> }
- I(husband-of) = { <x,y> | x is y's husband } = { <MrRochester,BerthaMason>, <MrRochester,JaneEyre> }
Back to the assignment sheet for Chapter 2.