Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems
Matteo Baldoni, Cristina Baroglio, Viviana Patti · 2003
In this article we present the most recent advancements of a research aimed at applying reasoning techniques to the design and implementation of adaptive services in tutoring systems. In particular, we faced tutoring tasks necessary to study plan construction and validation, and proved the usefulness of reasoning about actions techniques such as planning, temporal projection and temporal explanation.