Diagnosing errors in logic programming - the case of an ill-defined domain
| URN | urn:nbn:de:gbv:18-228-7-136 |
|---|---|
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/13/ |
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 280 |
| Sprache: | Englisch |
| Erstellungsjahr: | 2007 |
| Publikationsdatum: | 28.04.2009 |
| SWD-Schlagwörter: | Logik |
| Freie Schlagwörter (Englisch): | Logic Programming , Computer Science , Logic Design |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.71 |
Kurzfassung auf Englisch:
Intelligent Tutoring Systems (ITS) have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving illdefined problems is important because it can enhance the cognitive, metacognitive and argumentation skills of a student. In this paper, we demonstrate how to apply constraintbased modelling techniques to describe the solution space of illdefined problems in logic programming and to diagnose errors in solutions for those problems. This technology has been integrated into a webbased ITS (INCOM) and has been evaluated with student solutions from past examinations.
Kurzfassung auf Deutsch:
Intelligente Lernsysteme (ITS) in den letzten Jahren haben große Fortschritte gemacht. Viele von diesen Erfolge wurden hauptsächlich für wohldefinierte Probleme erzielt. Jedoch ist das Lösen von schlechtdefinierten Probleme wichtig, weil es die kognitiven, metakognitiven und Argumentationsfähigkeiten der Studenten fördert. In diesem Artikel demonstrieren wir, wie constraintbasierte Modellierungstechniken angewendet werden, um den Lösungsraum von schlechtdefinierten Problemen zu beschreiben und um Fehler in Lösungen für solche Probleme zu diagnostizieren. Diese Technologie wurde in ein webbasierten ITS (INCOM) integriert und anhand von Studentenlösungen aus früheren Klausuren evaluiert.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.