The effect of the knowledge acquisition bottleneck is still limiting the widespread use of knowledge-based systems (KBS), especially in the area of model-tracing tutors, as they demand the development of deep domain expertise, tutoring and student models.
The MATHESIS meta-authoring framework for model-tracing tutors (MTTs), presented in this thesis, aims at maximizing knowledge reuse. This is achieved through ontological representation of both the declarative and procedural knowledge of a model-tracing tutor (MTT), as well as of the declarative and procedural authoring knowledge of the process to develop a MTT.
Declarative knowledge is represented in Ontology Web Language (OWL).
Procedural knowledge is represented using the concepts of atomic and composite processes of OWL-S web services description ontology.
The framework provides authoring tools, integrated into the Protégé OWL ontology editor, for the development and management of the MTT's ontological representation. It also provides meta-authoring tools for the ontological representation of the authoring expertise as a set of composite authoring processes and atomic authoring statements. The latter constitute a language, OntoMath , for building executable authoring models that, when executed by the tools, guide non-expert authors like domain experts to the creation of new model-tracing tutors.
The framework, being in an experimental stage, was used for the development of a monomial multiplication and division tutor. However, the overall design and implementation aimed at constituting the framework as a proof-of-concept system that can be used for the meta-knowledge engineering of more complex model-tracing tutors. . (Video)
Publications
Sklavakis D. (2024) The GeoGebra Intelligent m-Tutors.
Proceedings of the Learning Innovations Summit 2024, Nicosia, Cyprus, September 2024. Springer Nature, Revolutionising Learning: The Convergence of AI, XR and
Emerging Technologies.(to be published). (PDF)
Sklavakis D. (2020) Transforming Maple into an Intelligent Model-Tracing Math Tutor. In: Gerhard J., Kotsireas I. (eds) Maple in Mathematics Education and Research. MC 2019. Communications in Computer and Information Science, vol 1125. Springer, Cham (
PDF) (PPT)
D. Sklavakis. The MATHESIS Meta-Authoring Framework for Intelligent Tutoring Systems in Mathematics. PhD Thesis, Department of Applied Informatics, University of Macedonia, Greece, 2015. ( PDF )
D. Sklavakis and I. Refanidis. The MATHESIS meta-knowledge engineering framework: Ontology-driven development of intelligent tutoring systems. Applied Ontology, Vol. 9 (3-4), pp. 237-265, 2014. ( PDF )
D. Sklavakis and I. Refanidis. MATHESIS: An Intelligent Web-Based Algebra Tutoring School. International Journal of Artificial Intelligence in Education Vol. 22, pp. 191-218, 2013. ( PDF )
D. Sklavakis and I. Refanidis. The MATHESIS Semantic Authoring Framework: Ontology-Driven Knowledge Engineering for ITS Authoring.
Proceedings of the 15th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems , Kaiserslautern, Germany, September 2011. Springer, KES 2011, Part II, LNAI 6882, pp 114-123, 2011. ( PDF ) ( PPT) ( DEMO1: Tutor and Tutoring Processes Authoring Tools) ( DEMO2: Authoring Processes Authoring Tools)
D. Sklavakis and I. Refanidis. Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors. Proceedings of the 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010), Varna, Bulgaria, 8-10 September, 2010. Springer, LNAI 6304, pp 201-210, 2010. ( PDF ) ( PPT )
D. Sklavakis and I. Refanidis. MATHESIS: A Web-Based Intelligent Tutoring School for Algebra. Intelligent System Demostration at the 6th Hellenic Conference on Artificial Intelligence (SETN 2010), Athens, 4-7 May, 2010. ( DEMO ) ( PDF )
D. Sklavakis and I. Refanidis. The MATHESIS Ontology: Reusable Authoring Knowledge for Reusable Intelligent Tutors.
7th International Workshop on Ontologies and Semantic Web for E-Learning (SWEL09) in conjunction with AIED 2009, Brighton, 7th July, 2009. ( PDF ) ( PPT )
D. Sklavakis and I. Refanidis. The MATHESIS Algebra Tutor: Web-based Expert Tutoring via Deep Model Tracing. Interactive Event at the 14th International Conference on Artificial Intelligence in Education (AIED2009), Brighton, 6-10th July, 2009. ( DEMO ) ( PDF )
D. Sklavakis and I. Refanidis. An Individualized Web-based Algebra Tutor Based on Dynamic Deep Model Tracing. 5th Hellenic Conference on Artificial Intelligence, Syros, Greece. Springer. ( PDF ) ( PPT )
Aitken, J.S., and Sklavakis, D. Integrating Problem-Solving Methods into Cyc. Proceedings of the 16th International Joint Conference on Artificial Intelligence , ed. Dean, T., Stockholm, 3-6th August 1999, Morgan Kaufmann. ( PDF )
D. Sklavakis. Implementing Problem-Solving Methods in CYC. MSc Thesis, Department of Artificial Intelligence, University of Edinburgh, 1998. ( PDF )
Research
The MATHESIS Intelligent GeoGebra Tutoring School (English)
The MATHESIS Intelligent Algebra Tutoring School (English)
The MATHESIS Tutor and Tutoring Processes Authoring Tools (Demo)
The MATHESIS Authoring Processes Authoring Tools (Demo)
ΜΑΘΗΣΙΣ: Ένας ευφυής διαδικτυακός βοηθός Άλγεβρας (Greek)
ΜΑΘΗΣΙΣ: Μία ευφυής διαδικτυακή τάξη Άλγεβρας (Greek)
The MATHESIS Ontology
PhD Thesis
