thesis-projects issueshttps://gl.kwarc.info/kwarc/thesis-projects/-/issues2021-11-12T10:46:29Zhttps://gl.kwarc.info/kwarc/thesis-projects/-/issues/48Knowledge-based simulations of virtual worlds in MMT2021-11-12T10:46:29ZFrederik SchaeferKnowledge-based simulations of virtual worlds in MMTIn the LoViWo for logical virtual worlds, we model the possible component types (cog wheels, pistons, ...) of a virtual world as MMT theories.
The interaction between any two component types is also modeled as an MMT theory using axioms ...In the LoViWo for logical virtual worlds, we model the possible component types (cog wheels, pistons, ...) of a virtual world as MMT theories.
The interaction between any two component types is also modeled as an MMT theory using axioms for the physical laws.
A virtual world is a set of instances of these components and their interactions and is modeled as an MMT theory with corresponding imports/structures.
In this project/thesis you build a solver in MMT that can be used by a game engine like unity to compute updates in the virtual world using the knowledge in the MMT description of the world.
Concretely an event in the virtual world creates an update to some of the constants in the MMT theories representing the world.
Using the new values of the constants, MMT must use the axioms to solve for the values of the other constants and send the new values to the game engine. Your focus will be the MMT side using an interface for receiving/sending updates.
In particular we expect that in most cases the axioms will simplify to systems of linear equations, which can be solved easily.
This is presumably true even if the original axioms are non-linear or not even purely equational because we can plug in concrete values for the updated constants and for constants that are marked as non-changing (positions of the cog wheels as opposed to their angles).https://gl.kwarc.info/kwarc/thesis-projects/-/issues/33FrameIT Virtual Reality Port2023-01-20T22:14:44ZRichard MarcusFrameIT Virtual Reality PortIn the FrameIT project (#1), 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.
Our current frameworks aims at supportin...In the FrameIT project (#1), 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.
Our current frameworks aims at supporting the development of serious games.
These profit from virtual reality by having intuitive forms of interaction and a more immersive learning experience.
For interaction, we use different *gadgets* and user interfaces, which need to be adapted for use in VR.Michael Kohlhasemichael.kohlhase@fau.deMichael Kohlhasemichael.kohlhase@fau.dehttps://gl.kwarc.info/kwarc/thesis-projects/-/issues/363D Theory Graph Visualization2020-05-01T23:34:36ZRichard Marcus3D Theory Graph VisualizationAs a follow up to #8, we have developed an interactive [3D graph viewer](https://github.com/UniFormal/tgview3d).
Based on this, there are several possibilities for further research:
- extending the virtual reality prototype with state-of...As a follow up to #8, we have developed an interactive [3D graph viewer](https://github.com/UniFormal/tgview3d).
Based on this, there are several possibilities for further research:
- extending the virtual reality prototype with state-of-the-art interaction concepts
- developing library-specific, specialized builds
- comparing different layout algorithms
- optimizing layout computationMichael Kohlhasemichael.kohlhase@fau.deMichael Kohlhasemichael.kohlhase@fau.de