Representing Game Levels in MMT (Project or Bachelor Thesis Topic)
In the FrameIT project, we use the Unity game engine in combination with MMT to have access to mathematical knowledge management techniques and interact with the knowledge in the game world. We visualize problems or puzzles in the form of interactive scrolls, where players can input their gathered knowledge to obtain more information and, eventually, solve the problem.
We want to have the conditions to solve the game level within MMT! [WIP, description needs update] das Konzept von Levels in MMT irgendwie repräsentieren (ähnlich wie wir Scrolls in MMT auch in einer strukturierten Art und Weise repräsentieren) in Metainformationen sowas repräsentieren wie "the level is solved iff dist(C, A) evaluates to a numeric value" Insb. könnte mensch sich überlegen, dass es durchaus Levelziele geben wird, die nur Unity überprüfen kann, die MMT-extern sein müssen. Die könnte mensch trotzdem in MMT repräsentieren a la "level is solved iff [some condition mmt can check internally] and [some condition Unity needs to check]" Geht in Richtung "flexiformale Repräsentation von Levelzielen in MMT"
For more information, please take a look at the project issue and #1.