Using Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming

Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for well-defined problems. However, solving ill-defined problems is important because it can enhance the cognitive, metacognitive and argumentation skills of a student. In this paper, we demonstrate how to apply the constraint-based modelling approach to describe the solution space of ill-defined problems in logic programming. This technology has been integrated into a web-based ITS (INCOM) and has been evaluated with student solutions from past examinations.

[1]  M. Chi,et al.  The Nature of Expertise , 1988 .

[2]  Timothy A. Post,et al.  On the solving of ill-structured problems. , 1988 .

[3]  John C. Shepherdson,et al.  Unfold/fold transformations of logic programs , 1992, Mathematical Structures in Computer Science.

[4]  Bart De Decker,et al.  A reverse engineering approach to novice programming analysis , 1993 .

[5]  Stellan Ohlsson,et al.  Constraint-Based Student Modeling , 1994 .

[6]  R. Morris,et al.  The Cognitive Psychology of Planning , 2004 .

[7]  J. Frederiksen,et al.  Inquiry, Modeling, and Metacognition: Making Science Accessible to All Students , 1998 .

[8]  David H. Jonassen,et al.  Instructional design models for well-structured and III-structured problem-solving learning outcomes , 1997 .

[9]  S. Paris,et al.  Children's Metacognition About Reading: issues in Definition, Measurement, and Instruction , 1987 .

[10]  William R. Murray,et al.  Automatic program debugging for intelligent tutoring systems , 1987, Comput. Intell..

[11]  Hisao Tamaki,et al.  Unfold/Fold Transformation of Logic Programs , 1984, ICLP.

[12]  Herbert A. Simon,et al.  The Structure of Ill Structured Problems , 1973, Artif. Intell..

[13]  David H. Jonassen,et al.  Task Analysis Methods for Instructional Design , 1998 .

[14]  Douglas A. Roberts,et al.  What Counts as an Explanation for a Science Teaching Event , 1991 .

[15]  Gerhard Weber.  Episodic Learner Modeling , 1996 .

[16]  Yam San Chee,et al.  Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems , 2003, IEEE Trans. Software Eng..

[17]  N. Le.  Using Prolog Design Patterns to Support Constraint- Based Error Diagnosis in Logic Programming , 2006 .

[18]  Vincent Aleven,et al.  Defining "Ill-Defined Domains"; A literature survey. , 2006 .

[19]  Thomas C. Ormerod,et al.  Planning and ill-defined problems. , 2005 .

[20]  John R. Anderson,et al.  The LISP tutor: it approaches the effectiveness of a human tutor , 1985 .

[21]  M. Gick.  Problem-solving strategies , 1986 .

[22]  Vinod Goel.  Comparison of Well-Structured & Ill-Structured Task Environments and Problem Spaces , 2003 .