The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic.
José Alberto Maestro-PrietoArancha Simón HurtadoPublished in: ITiCSE (2018)
Keyphrases
- intelligent tutoring systems
- first order logic
- open ended
- pedagogical model
- expressive power
- theorem proving
- authoring tool
- student model
- learning outcomes
- transitive closure
- tutoring system
- knowledge representation
- artificial intelligence
- pedagogical agents
- concept maps
- mental states
- learning strategies
- markov logic networks