AUTHOR=Dermeval Diego, Albuquerque Josmário, Bittencourt Ig Ibert, Isotani Seiji, Silva Alan Pedro, Vassileva Julita TITLE=GaTO: An Ontological Model to Apply Gamification in Intelligent Tutoring Systems JOURNAL=Frontiers in Artificial Intelligence VOLUME=2 YEAR=2019 URL=https://www.frontiersin.org/articles/10.3389/frai.2019.00013 DOI=10.3389/frai.2019.00013 ISSN=2624-8212 ABSTRACT=Intelligent Tutoring Systems (ITSs) are concerned with the use of artificial intelligence techniques for performing adaptive tutoring to learners' according to what they know about the domain. Researchers are increasingly interested in applying gamification in e-learning systems to engage students and to drive desired learning behaviors. However, little attention has been drawn to the effective application of gamification in ITS, and how to connect theories of both concepts in a standard and formal way. Moreover, gamified ITS should manipulate a huge amount of knowledge regarding several models, i.e., gamification, domain, student and pedagogical models. Formally connecting such theories as well as representing system's knowledge relies on the use of ontologies. In this paper, we present an ontological model that connects gamification and ITS concepts. Our model takes advantage of ontologies to allow automated reasoning (e.g., on the domain, student, pedagogical or gamification models), to enable interoperability, and create awareness about theories and good practices for the designers of gamified ITS. To evaluate our model, we use an ontology evaluation method based on five knowledge representation roles. We also illustrate how it could support the development of an intelligent authoring tool to design gamified ITS.