Authoring courses with rich adaptive sequencing for IMS learning design

This paper describes the process of translating an adaptive sequencing strategy designed using Sequencing Graphs to the semantics of IMS Learning Design. The relevance of this contribution is twofold. First, it combines the expressive power and flexibility of Sequencing Graphs, and the interoperability capabilities of IMS. Second, it shows some important limitations of IMS specifications (focusing on Learning Design) for the sequencing of learning activities

Sequencing of learning activities oriented towards reuse and auto-organization for intelligent tutoring systems

Three have been the main contributions of this thesis. First, a platform for the deployment of Intelligent Tutoring Systems (ITS) with a modular architecture has been designed. This platform, called SIT, focuses on the adaptation of the sequencing of learning content, not adaptation of the content itself. This separation permits specialization of pedagogical experts and encourages reuse of learning resources. Second, a tool for the adaptation of the sequencing of learning units has been presented: Sequencing Graphs. It is a specialization of the finite automata paradigm, adapted for the specific needs of learning. Sequencing graphs focus on reuse, both of learning units and of adaptive sequencings definitions. They are hierarchical to prevent scalability problems. Two ITS have developed using sequencing graphs for SIT. Experimental results support the hypothesis that sequencing adaptation has a good influence on learning and that Sequencing Graphs are a useful tool to achieve this objective. Finally, the thesis analyzes the current initiatives in the emerging field of swarm intelligence techniques in education. Apart of the theoretical overview, three results are presented: an experimental study performed on the Paraschool system, a system of pedagogical alarms based on learning pheromones on the same system, and a swarm paths information module for SIT. This module synthesizes the best results from swarm-based adaptation sequencing and collaborative filtering for providing an additional level of adaptation to the content sequencing in SI

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Learning how to learn: an adaptive dialogue agent for incrementally learning visually grounded word meanings

We present an optimised multi-modal dialogue agent for interactive learning of visually grounded word meanings from a human tutor, trained on real human-human tutoring data. Within a life-long interactive learning period, the agent, trained using Reinforcement Learning (RL), must be able to handle natural conversations with human users and achieve good learning performance (accuracy) while minimising human effort in the learning process. We train and evaluate this system in interaction with a simulated human tutor, which is built on the BURCHAK corpus -- a Human-Human Dialogue dataset for the visual learning task. The results show that: 1) The learned policy can coherently interact with the simulated user to achieve the goal of the task (i.e. learning visual attributes of objects, e.g. colour and shape); and 2) it finds a better trade-off between classifier accuracy and tutoring costs than hand-crafted rule-based policies, including ones with dynamic policies.Comment: 10 pages, RoboNLP Workshop from ACL Conferenc

A group learning management method for intelligent tutoring systems

In this paper we propose a group management specification and execution method that seeks a compromise between simple course design and complex adaptive group interaction. This is achieved through an authoring method that proposes predefined scenarios to the author. These scenarios already include complex learning interaction protocols in which student and group models use and update are automatically included. The method adopts ontologies to represent domain and student models, and object Petri nets to specify the group interaction protocols. During execution, the method is supported by a multi-agent architecture

An open learner model for trainee pilots

This paper investigates the potential for simple open learner models for highly motivated, independent learners, using the example of trainee pilots. In particular we consider whether such users access their learner model to help them identify their current knowledge level, areas of difficulty and specific misconceptions, to help them plan their immediate learning activities; and whether they find a longer‐term planning aid useful. The Flight Club open learner model was deployed in a UK flight school over four weeks. Results suggest that motivated users such as trainee pilots will use a system with a simple open learner model, and are interested in consulting their learner model information both to facilitate planning over time, and to understand their current knowledge state. We discuss the extent to which our findings may be relevant to learners in other contexts