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)
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 )
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