|
Title:
|
INCOM: A WEB-BASED HOMEWORK COACHING SYSTEM FOR LOGIC PROGRAMMING |
|
Author(s):
|
Nguyen-Thinh Le, Niels Pinkwart |
|
ISBN:
|
978-989-8533-04-3 |
|
Editors:
|
Demetrios G Sampson, J. Michael Spector, Dirk Ifenthaler and Pedro Isaías |
|
Year:
|
2011 |
|
Edition:
|
Single |
|
Keywords:
|
Intelligent Tutoring Systems for programming, Logic Programming, weighted constraint-based model. |
|
Type:
|
Full Paper |
|
First Page:
|
43 |
|
Last Page:
|
50 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Programming is a complex process which usually results in a large space of solutions. However, existing software systems which support students in solving programming problems often restrict students to fill in pre-specified solution templates or to follow an ideal solution path. In this paper, we introduce a web-based homework coaching system for Logic Programming (INCOM) which allows students to develop a Prolog predicate in an exploratory manner, i.e., students are allowed to explore a solution space by themselves. As a tutoring model, this system supports students in two stages: a task analysis prior to an implementation phase. To model the solution space for a Logic Programming problem, a weighted constraint-based model was deployed in INCOM. This model consists of a set of constraints, constraint weights, a semantic table, and several transformation rules. The contribution of this paper is two-fold: it reviews a number of tutoring systems for learning programming which have not been considered in other surveys so far, and it presents an effective exploratory homework coaching system for Logic Programming. |
|
|
|
|
|
|
