Abstract
Intelligent tutoring systems (ITS) incorporate techniques for transferring knowledge and skills to students. These systems use a combination of computer-aided instruction methods and artificial intelligence. In this paper we present a web-based intelligent tutoring system. Although it can be used as a generic learning mechanism, in this paper, as a proof of concept we used it for learning Prolog. We present the architecture of our system and we provide details on each one of its modules. Each lesson includes the corresponding lecture with theory and exercises, a practice module where students can apply the corresponding theory and an assessment module to verify user’s understanding. The system can be used with or without a teacher enabling distant learning. Among the novelties of our system is its flexibility to adapt to individual student choices and profile, offering a wide range of alternatives and trying to continuously keep the interest of the final user. The preliminary evaluation performed confirms the usability of our system and the benefits of using it for learning Prolog.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bielikova, M.N.: A schema-based approach to teaching programming in Lisp and Prolog. PEG (2003)
Corbett, A., Anderson, J.: Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes. In: SIGCHI 2001, pp. 245–252 (2001)
Gerdes, A., Heeren, B., Jeuring, J., van Binsbergen, L.T.: Ask-Elle: an adaptable programming tutor for haskell giving automated feedback. IJAIED 27(1), 1–36 (2016)
Giannoulis, M., Marakakis, E., Kondylakis, H.: Developing a collaborative knowledge system for Cancer Diseases, IEEE CBMS (2017)
Graesser, A.C., Conley, M.W., Olney, A.: Intelligent tutoring systems. In: APA Handbook of Educational Psychology. Department of Psychology & Institute for Intelligent Systems, pp. 1–54 (2010)
Kondylakis, H., Kazantzaki, E., Koumakis, L., et al.: Development of interactive empowerment services in support of personalized medicine. eCancer Med. Sci. J. 8, 400 (2014). https://doi.org/10.3332/ecancer.2014.398
Kondylakis, H., Koumakis, L., Kazantzaki, E., et al.: Patient empowerment through personal medical recommendations. Health Biomed. Inf. 216, 1117 (2015)
Kondylakis, H., Koumakis, L., Ruping, S., et al.: PMIR: a personal medical information recommender. In: Proceedings of Medical Informatics Europe (MIE), vol. 205, p. 1193 (2014)
Looi, C.K.: Automatic debugging of prolog programs in a prolog intelligent tutoring system. Instruct. Sci. 20, 215–263 (1991)
Marakakis, E., Kondylakis, H., Papadakis, N.: A knowledge-based interactive verifier for logic programs. Innov. Knowl. Intell. Eng. Syst. 18(3), 143–156 (2014)
Moon-Chuen, L.: An augmented prolog programming for tutoring applications Environment Components. In: AIE, pp. 898–906 (1990)
Rivers, K., Koedinger, K.R.: Data-driven hint generation in vast solution spaces: a self-improving python programming tutor. IJAIED 16(1), 37–64 (2015)
Robins, A., Rountree, T., Rountree, N.: Learning and teaching programming: a review and discussion. Comput. Sci. Educ. 13, 137–172 (2003)
Skinner, B.F.: About Behaviorism. Vintage, New York (2011)
Vlahavas, I.P., Sakellariou, I., Futo, I., Pasztor, Z., Szeredi, J.: Cspcons: a communicating sequential prolog with constraints. In: Vlahavas, I.P., Spyropoulos, C.D. (eds.) SETN 2002. LNCS (LNAI), vol. 2308, pp. 72–84. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-46014-4_8
Webb, G.I.: Inside the unification tutor: the architecture of an intelligent educational system. In: ASCILITE, pp. 677–684 (1991)
Webb, G.I.: The unification tutor - an intelligent educational system in the classroom. In: ASCILITE, pp. 408–420 (1989)
Wikipedia Article: intelligent tutoring system. https://en.wikipedia.org/wiki/Intelligent_tutoring_system. Accessed Aug 2017
Yang, S.M.: Approaches for learning prolog programming. Innov. Teach. Learn. Inf. Comput. Sci. 6, 88–107 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Stathaki, A., Kondylakis, H., Marakakis, E., Kalogerakis, M. (2018). i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog. In: Brooks, A., Brooks, E., Vidakis, N. (eds) Interactivity, Game Creation, Design, Learning, and Innovation. ArtsIT DLI 2017 2017. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 229. Springer, Cham. https://doi.org/10.1007/978-3-319-76908-0_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-76908-0_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-76907-3
Online ISBN: 978-3-319-76908-0
eBook Packages: Computer ScienceComputer Science (R0)