The LISP tutor: it approaches the effectiveness of a human tutor
BYTE - Lecture notes in computer science Vol. 174
Comprehension strategies in programming
Empirical studies of programmers: second workshop
Understanding and debugging novice programs
Artificial Intelligence - Special issue on artificial intelligence and learning environments
Introducing PETE: computer support for teaching ethics
Proceedings of the 8th international conference on Artificial intelligence and law
Information Retrieval
NORMIT: A Web-Enabled Tutor for Database Normalization
ICCE '02 Proceedings of the International Conference on Computers in Education
Artificial Intelligence - Special issue on AI and law
Guided programming and automated error analysis in an intelligent Prolog tutor
International Journal of Human-Computer Studies
A Comparison of Model-Tracing and Constraint-Based Intelligent Tutoring Paradigms
International Journal of Artificial Intelligence in Education
The Andes Physics Tutoring System: Lessons Learned
International Journal of Artificial Intelligence in Education
International Journal of Artificial Intelligence in Education
International Journal of Artificial Intelligence in Education
Problem Solving Process Oriented Diagnosis in Logic Programming
Proceedings of the 2006 conference on Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding
A comparative analysis of cognitive tutoring and constraint-based modeling
UM'03 Proceedings of the 9th international conference on User modeling
Toward legal argument instruction with graph grammars and collaborative filtering techniques
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
International Journal of Artificial Intelligence in Education
Adding weights to constraints in intelligent tutoring systems: does it improve the error diagnosis?
EC-TEL'11 Proceedings of the 6th European conference on Technology enhanced learning: towards ubiquitous learning
Hi-index | 0.00 |
In this paper, we introduce logic programming as a domain that exhibits some characteristics of being ill-defined. In order to diagnose student errors in such a domain, we need a means to hypothesise the student's intention, that is the strategy underlying her solution. This is achieved by weighting constraints, so that hypotheses about solution strategies, programming patterns and error diagnoses can be ranked and selected. Since diagnostic accuracy becomes an increasingly important issue, we present an evaluation methodology that measures diagnostic accuracy in terms of (1) the ability to identify the actual solution strategy, and (2) the reliability of error diagnoses. The evaluation results confirm that the system is able to analyse a major share of real student solutions, providing highly informative and precise feedback.