Dynamic User Interfaces via Incremental Knowledge Management

Kohlhase M, Marcus R, Roux N, Schihada J (2022)

Publication Language: English

Publication Type: Conference contribution

Publication year: 2022

Publisher: CEUR-WS

Series: CEUR Workshop Proceedings

Book Volume: 3377

Conference Proceedings Title: CICM-WS 2021: Workshop Papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021). Joint Proceedings of the FMM, FVPS, MathUI, NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021)

Event location: Virtual, Timisoara RO

URI: https://ceur-ws.org/Vol-3377/mathui7.pdf

Abstract

Extending the UFrameIT Framework, we propose an upgrade to the User Interface features that is directly built on the knowledge-based part, Mmt. In the game engine, it suffices to interpret the output and visualize it accordingly, resulting in features that work generically and out of the box for all games built with UFrameIT. Initially, we were using fixed text descriptions and a static UI that created unnecessary mental load when players were trying to match between the abstract problem description and concrete game situations. To improve this, we introduce dynamic UI synchronization. We relate the progress of the player to the abstract formalized solution and give hints accordingly. These hints are generated via partial views; given a partial solution to the problem, Mmt can check the dependencies and point towards the missing information. In the game, we can use this to highlight not yet assigned as well as even not yet existing facts in the game. This way, the player gets immediate feedback during the solution process.

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Richard Marcus Chair of Visual Computing (LGDV) Navid Roux Department Informatik

How to cite

APA:

Kohlhase, M., Marcus, R., Roux, N., & Schihada, J. (2022). Dynamic User Interfaces via Incremental Knowledge Management. In Jasmin Blanchette, James Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Muller, Yasmine Sharoda, Claudio Sacerdoti Coen (Eds.), CICM-WS 2021: Workshop Papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021). Joint Proceedings of the FMM, FVPS, MathUI, NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021). Virtual, Timisoara, RO: CEUR-WS.

MLA:

Kohlhase, Michael, et al. "Dynamic User Interfaces via Incremental Knowledge Management." Proceedings of the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual, Timisoara Ed. Jasmin Blanchette, James Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Muller, Yasmine Sharoda, Claudio Sacerdoti Coen, CEUR-WS, 2022.

BibTeX: Download