Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
## The Evolution of a Situation Space
This is an overview of how a situation space and theory looks like over the course of playing.
Read from top to bottom; the comments indicate the "current" action that led to the creation of the respective module or declaration.
Note that the below presentation features a linearly developing situation space. This is just the easiest case. Situation spaces can develop arbitrarily complex in tree-like fashion (e.g., compare with quest and side quest systems of MMORPGs).
```mmt
fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta ❚
theory SituationSpace =
// Player starts with SituationTheory1 below that includes this root situation theory,
providing access to scrolls that are available by default ❙
theory Root =
include ?OppositeLen ❙
include ?AngleSum ❙
include ?Midpoint ❙
❚
// Player starts with this situation theory. ❙
theory SituationTheory1 =
include ?SituationSpace/Root ❙
// The player collects some facts about the world. ❙
fact1: ... ❙
fact2: ... ❙
fact3: ... ❙
// The player formulates a scroll view... (continued below) ❙
view ScrollView1 : ?OppositeLen/Problem -> ?SituationSpace/SituationTheory1 =
factslot1 = fact1 ❙
factslot2 = fact2 ❙
factslot3 = fact3 ❙
❚
❚
// (continued)... and applies the scroll and thus lands in a new derived situation theory. ❙
theory SituationTheory2 =
include ?SituationSpace/SituationTheory1 ❙
// The player gets access to facts obtained by the scroll (these are precisely the ones pushed out
from ?OppositeLen/Solution over ?SituationSpace?SituationTheory1?ScrollView1). ❙
out_fact1: ... ❙
out_fact2: ... ❙
out_fact3: ... ❙
// Also, the player gets the view into the pushout ❙
view ScrollView1_pushout : ?OppositeLen/Solution -> ?SituationSpace/SituationTheory2 =
out_fact1 = out_fact1 ❙
out_fact2 = out_fact2 ❙
out_fact3 = out_fact3 ❙
❚
// The player goes on collecting more facts. ❙
fact4: ... ❙
fact5: ... ❙
// The player again formulates a scroll, now being able to combine facts they measured themselves
and facts they previously obtained via scroll application. ❙
view ScrollView2 : ?OppositeLen/Problem -> ?SituationSpace/SituationTheory2 =
factslot1 = out_fact1 ❙
factslot2 = fact4 ❙
factslot3 = out_fact3 ❙
❚
❚
theory SituationSpace/SituationTheory3 =
include ?SituationSpace/SituationTheory2 ❙
out_fact4: ... ❙
// and so on and so forth ❙
❚
❚
```