Literaturnachweis - Detailanzeige
| Autor/inn/en | Le, Nguyen-Thinh; Menzel, Wolfgang |
|---|---|
| Titel | Using Weighted Constraints to Diagnose Errors in Logic Programming--The Case of an Ill-Defined Domain |
| Quelle | In: International Journal of Artificial Intelligence in Education, 19 (2009) 4, S.381-400 (20 Seiten)Infoseite zur Zeitschrift
PDF als Volltext |
| Sprache | englisch |
| Dokumenttyp | gedruckt; online; Zeitschriftenaufsatz |
| ISSN | 1560-4292 |
| Schlagwörter | Intelligent Tutoring Systems; Logical Thinking; Programming; Models; Identification; Error Patterns; Students; Intention; Feedback (Response); Program Validation; Programming Languages; Semantics |
| Abstract | 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. (Contains 2 footnotes, 8 tables, and 3 figures.) (As Provided). |
| Anmerkungen | IOS Press. Nieuwe Hemweg 6B, Amsterdam, 1013 BG, The Netherlands. Tel: +31-20-688-3355; Fax: +31-20-687-0039; e-mail: info@iospress.nl; Web site: http://www.iospress.nl |
| Erfasst von | ERIC (Education Resources Information Center), Washington, DC |
| Update | 2017/4/10 |
Literaturbeschaffung und Bestandsnachweise in Bibliotheken prüfen
Permalink als QR-Code
Inhalt auf sozialen Plattformen teilen (nur vorhanden, wenn Javascript eingeschaltet ist)
Teile diese Seite:
