Kohlhase M, Schütz M (2024)
Publication Type: Conference contribution
Publication year: 2024
Publisher: Springer Science and Business Media Deutschland GmbH
Book Volume: 14960 LNAI
Pages Range: 165-182
Conference Proceedings Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Event location: Montreal, QC, CAN
ISBN: 9783031669965
DOI: 10.1007/978-3-031-66997-2_10
One of the most important motivations of module systems for formal systems is that statements and objects can be re-purposed in other contexts via the inheritance pathways. In this paper, we show that this idea can be extended to informal settings using an adaptive learning assistant (ALeA) as a concrete use case. Specifically, we concentrate on repurposing informal definitions, quiz questions, and explanations between the contexts given by different theories in a flexiformal theory graph. Using this, we can now refactor (transport backwards over a theory morphism) e.g. quiz questions like “Is the following formula A satisfiable?” to be logic-independent and utilize them in any logic via forward morphism transport. This goes a large step towards solving the biggest practical problem in ALeA-like systems: provisioning enough targeted semantically annotated learning objects.
APA:
Kohlhase, M., & Schütz, M. (2024). Reusing Learning Objects via Theory Morphisms. In Andrea Kohlhase, Laura Kovács (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 165-182). Montreal, QC, CAN: Springer Science and Business Media Deutschland GmbH.
MLA:
Kohlhase, Michael, and Marcel Schütz. "Reusing Learning Objects via Theory Morphisms." Proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, Montreal, QC, CAN Ed. Andrea Kohlhase, Laura Kovács, Springer Science and Business Media Deutschland GmbH, 2024. 165-182.
BibTeX: Download