Inference Engines Performance in Reasoning Tasks for Intelligent Tutoring Systems.
Oleg SychevAnton AnikinMikhail DenisovPublished in: ICCSA (2) (2021)
Keyphrases
- intelligent tutoring systems
- reasoning tasks
- abductive reasoning
- description logics
- temporal reasoning
- logic programming
- automated reasoning
- answer set programming
- situation calculus
- authoring tool
- tutoring system
- student modeling
- student model
- intelligent tutoring
- bayesian networks
- constraint based modeling
- cognitive model
- intelligent tutors
- affective states
- probabilistic reasoning
- intelligent learning environments
- logic programs
- model tracing
- instructional systems
- web based learning systems
- interactive learning environments
- temporal information
- low level