FrameIT Game Content (Developing a Serious Game for Maths): B.Sc. or M.Sc thesis
We have developed a new, logic based framework for serious games (see this paper), which combines a logic-based treatment of the underlying knowledge in theory graphs with game elements in unreal engine. The aim is to develop serious games (games where the subjects learn somthing while they are having fun) for mathematics.
The current state is that we have developed a proof-of-concept system that can run exactly one game problem. While this is quite an achievement, we need much more for a "serious game". Some of this should be developed in this thesis (actually, this probably needs multiple thesis): Extensions include
- more problem formalizations in MMT ("shadow scaling method", more trig, triangulation, ... )
- more gadgets (3d models) in unreal engine, e.g. laser pointer for marking points, tape measure for lengths, laser angle finder, level pointer, ... )
- more problem situations (game plans), e.g. tree height on non-horizontal ground.
- automatic scroll generation from sTeX/iMMT formalizations
- integration of Semantic Alliance Technology
- didactically informed storyboards for a simple game (where do problems/scrolls come from, levels, boss-fights at the end, ...)
- argumentation interface for "proving" preconditions of methods.
There has been a big update, see https://uframeit.github.io/!
Supervisors @mkohlhase, @dmueller