Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • T thesis-projects
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 47
    • Issues 47
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • KWARC
  • thesis-projects
  • Issues
  • #1

Closed
Open
Created Sep 07, 2016 by Michael Kohlhase@mkohlhaseOwner

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

Edited Dec 03, 2020 by Richard Marcus
Assignee
Assign to
Time tracking