Logo[ ILPnet2 | Library | Newsletter | CSCW | Education | End-User Club | Events | Nodes | Systems | Applications | Members only ]

TWiM, a tutoring system with ILP features

L. Popelínský. In D. Canamero and M. van Someren, editors, ECML'98 Workshop Notes Learning in Humans and Machines, Chemnitz, 1998.. TU Chemnitz

Abstract

A $TWiM$ system for tutoring logic programming is described. $TWiM$ assists students who know basics of Prolog language to learn list processing predicates. It is written in Prolog and employs $WiM$ learner If a student's answer is incorrect, the student may ask the system for hints. An instance of the intended program that is not covered by the student answer is one of hints. The student may, too, type an example (positive or negative). Afterwards $TWiM$ revises the student's program, employing $WiM$, and displays a new solution. Next, the student itself has to decide if the new solution is correct. Each hint, depending on its kind, decreases the student's evaluation.

BibTeX entry.

Other publications


ILPnet2 librarian, ilpnet2-lib@cs.bris.ac.uk. Last modified on Wednesday 9 April 2003 at 18:31. © 2003 ILPnet2