Using Weighted Constraints To Build Tutoring Systems : A Study Case in Logic Programming

Nguyen-Thinh Le

ISBN 10: 3838132637 / ISBN 13: 9783838132631

Published by Südwestdeutscher Verlag Für Hochschulschriften AG Co. KG, 2012

About this Item

nach der Bestellung gedruckt Neuware - Printed after ordering - Programming problems constitute a significant challenge for the development of tutoring systems, because they can be solved in many different ways. To help the student solve a programming problem effectively, the tutoring system must be able to cover a large space of possible solutions. If a student solution has shortcomings, the system must be able to identify the reason why that solution is not correct. In the state of the art, one of the most promising approaches to modeling knowledge for tutoring systems is the constraint-based technique. This approach uses constraints to model a space of correct solutions, rather than enumerating them. Nguyen-Thinh Le investigated the applicability of this approach to develop tutoring systems for programming with the focus on logic programming. In this book, he proposed the Weighted Constraint-based Model (WCBM) for building Intelligent Tutoring Systems. Constraint weights serve three purposes: they are used to control the process of error diagnosis, to hypothesize the student's intention, and to prioritize feedback messages according to the severity of diagnosed errors.

Seller Inventory # 9783838132631

Bibliographic Details

• Title: Using Weighted Constraints To Build Tutoring Systems : A Study Case in Logic Programming
• Publisher: Südwestdeutscher Verlag Für Hochschulschriften AG Co. KG
• Publication Date: 2012
• Language: English
• ISBN 10: 3838132637
• ISBN 13: 9783838132631
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

Programming problems constitute a significant challenge for the development of tutoring systems, because they can be solved in many different ways. To help the student solve a programming problem effectively, the tutoring system must be able to cover a large space of possible solutions. If a student solution has shortcomings, the system must be able to identify the reason why that solution is not correct. In the state of the art, one of the most promising approaches to modeling knowledge for tutoring systems is the constraint-based technique. This approach uses constraints to model a space of correct solutions, rather than enumerating them. Nguyen-Thinh Le investigated the applicability of this approach to develop tutoring systems for programming with the focus on logic programming. In this book, he proposed the Weighted Constraint-based Model (WCBM) for building Intelligent Tutoring Systems. Constraint weights serve three purposes: they are used to control the process of error diagnosis, to hypothesize the student’s intention, and to prioritize feedback messages according to the severity of diagnosed errors.

About the Author

studied Informatics at the University of Hamburg and received his PhD in 2011. His research focuses on Cognitive Modeling, Intelligent Tutoring Systems, Adaptive and Collaborative Educational Systems. Since April 2010, he joined the "Human-Centered Information Systems" research group at the Clausthal University of Technology.