Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations
Kelber J, Kohlhase M, Schäfer JF, Schütz M (2026)
Publication Type: Conference contribution
Publication year: 2026
Journal
Publisher: Springer Science and Business Media Deutschland GmbH
Book Volume: 16136 LNCS
Pages Range: 191-207
Conference Proceedings Title: Lecture Notes in Computer Science
Event location: Brasilia, BRA
ISBN: 9783032070203
DOI: 10.1007/978-3-032-07021-0_11
Abstract
Flexiformal documents – i.e. documents with embedded semantic annotations that make some aspects of their content machineactionable – can be instrumented to make interaction with the underlying knowledge more efficient and effective. Fostering such interactions via semantic services has proven very successful in university education, but the practical applicability is limited by the cost of flexiformalization. A method for lowering (flexi)-formalization costs is to use modular representations to profit from enhanced source sharing and induced (generated) content. In fully formal environments this is well-understood and implemented in many systems. In this paper we show that many of the formal techniques carry over to the informal setting if we parse (rigorous) natural language with a semantically optimized grammar and work on abstract syntax trees instead of formulae. We present i) a set of use cases for generating learning material to be used in an educational setting – concretely in the field of theoretical computer science, ii) a GF grammar that allows to syntactically analyze the underlying language fragment, iii) a set of AST-to-AST simplifications that can be used to fine-tune the wording and formulae of the generated content and adapt it to the scientific jargon, and iv) a prototypical implementation that shows the technique in action.
Authors with CRIS profile
Michael Kohlhase
Professur für Wissensrepräsentation und -verarbeitung
Jan Frederik Schäfer
Department Informatik
Marcel Schütz
Professur für Wissensrepräsentation und -verarbeitung
Involved external institutions
Germany (DE)How to cite
APA:
Kelber, J., Kohlhase, M., Schäfer, J.F., & Schütz, M. (2026). Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations. In Valeria de Paiva, Peter Koepke (Eds.), Lecture Notes in Computer Science (pp. 191-207). Brasilia, BRA: Springer Science and Business Media Deutschland GmbH.
MLA:
Kelber, Josefin, et al. "Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations." Proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, Brasilia, BRA Ed. Valeria de Paiva, Peter Koepke, Springer Science and Business Media Deutschland GmbH, 2026. 191-207.
BibTeX: Download