In this paper we propose a theoretical model of an ITS (Intelligent Tutoring Systems) capable of improving and updating computer-aided navigation based on Bloom's taxonomy. For this we use the Bayesian Knowledge Tracing ...