Redbool

Introduction

Redbool is an intelligent tutoring system developped by the Astus (U. of Sherbrooke) lab during 2000-2006 under the supervision of André Mayers.

Redbool is designed for teaching undergraduates students how to reduce boolean expressions.

I worked during my master degree on adding intelligent capabilities to Redbool so that it can adapt itself to each learner. To do this, we have incorporated a cognitive model (see publications at the bottom of this page) to track learners actions and generate tailored advices, hints and exercises.

Features

Redbool is implemented in Java. The user interface has tree tabs.

The "Exercises" tab allows the learner to perform boolean reduction exercises and get advices.



The "Theory" tab allows the learner to read about the various boolean reduction rules (de Morgan law, etc.).



The "Examples" tab allows the learner to enter a boolean expression and to ask Redbool to solve it step by step.

Videos

Here is a video showing the "Exercices" tab of Redbool. It shows that the difficulty of exercises given to the learner gradually increase. This video however does not show the tutoring feedback that is provided to a learner when he makes a mistake.

Here is a video showing the main features of the "theory" tab and the "examples" tab .

 

Articles

These two articles gives an overview of the latest version of Redbool:

[1]	Fournier-Viger, P., Najjar, M., Mayers, A. & Nkambou, R. (2006). A Cognitive and Logic based Model for Building Glass-box Learning Objects. Interdisciplinary Journal of Knowledge and Learning Objects, 2:77-94.
[2]	Fournier-Viger P., Najjar, M., Mayers, A. & Nkambou, R. (2006). From Black-box Learning Objects to Glass-Box Learning Objects. Proceedings of the 8th International Conference on Intelligent Tutoring Systems (ITS 2006). LNCS 4053,  Springer,  pp: 258-267.