The Unified Modeling Language user guide
The Unified Modeling Language user guide
Evolution of the Hypotheses Testing Approach in Intelligent Problem Solving Environments
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
Towards a Tutoring Process Model with Time
ICALT '06 Proceedings of the Sixth IEEE International Conference on Advanced Learning Technologies
Towards a pattern language for intelligent teaching and training systems
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
Towards a pattern language for intelligent teaching and training systems
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
Implementing high-resolution adaptivity in game-based learning
Edutainment'12/GameDays'12 Proceedings of the 7th international conference on Edutainment, and Proceedings of the 3rd international conference on E-Learning and Games for Training, Education, Health and Sports
Seamless integration of game and learning using modeling and simulation
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
Formal models can be found in different computer science domains – they have the advantage to be independent of application domains and of programming languages. ITSs development is usually not based on formal models. Based on automaton theory and on formal descriptions known from modelling and simulation, the formal tutoring process model (tpm) is a formal model for ITSs. The model exists as basic tpm and as adaptive tpm. The extension of the adaptive model is described in the paper. Extended with a temporal dimension, i.e. the 'counter', the static tpm can be used to realize another way of adaptation: the training case can be changed at runtime based on the counter values. This value can count the learner's steps in the training case, it can be interpreted as duration, or as validity of a state.