KOPS - Das Institutionelle Repositorium der Universität Konstanz

Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems

Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:cc400488e0eae472ba388aa7466d743a

ZINN, Claus, 2014. Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems. KI 2014 : 37th Annual German Conference on AI. Stuttgart, 22. Sep 2014 - 26. Sep 2014. In: LUTZ, Carsten, ed. and others. KI 2014 : Advances in Artificial Intelligence ; 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings. KI 2014 : 37th Annual German Conference on AI. Stuttgart, 22. Sep 2014 - 26. Sep 2014. Cham:Springer, pp. 37-48. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-11205-3

@inproceedings{Zinn2014Algor-31651, title={Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems}, year={2014}, doi={10.1007/978-3-319-11206-0_4}, number={8736}, isbn={978-3-319-11205-3}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={KI 2014 : Advances in Artificial Intelligence ; 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings}, pages={37--48}, editor={Lutz, Carsten}, author={Zinn, Claus} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/31651"> <dcterms:title>Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems</dcterms:title> <dcterms:rights rdf:resource="http://nbn-resolving.de/urn:nbn:de:bsz:352-20150305140228786-3747162-5"/> <dcterms:issued>2014</dcterms:issued> <dc:contributor>Zinn, Claus</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31651"/> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">Algorithmic debugging is an effective diagnosis method in intelligent tutoring systems (ITSs). Given an encoding of expert problem-solving as a logic program, it compares the program's behaviour during incremental execution with observed learner behaviour. Any deviation captures a learner error in terms of a program location. The feedback engine of the ITS can then take the program clause in question to generate help for learners to correct their error. With the error information limited to a program location, however, the feedback engine can only give remediation in terms of what's wrong with the current problem solving step. With no access to the overall hierarchical context of a student action, it is hard to dose scaffolding help, to explain why and how a step needs to be performed, to summarize a learner's performance so far, or to prepare the learner for the problem solving still ahead. This is a pity because such scaffolding helps learning. To address this issue, we extend the meta-interpretation technique and complement it with a program annotation approach. The expert program is enriched with terms that explain the logic behind the program, very much like comments explaining code blocks. The meta-interpreter is extended to collect all annotation in the program's execution path, and to keep a record of the relevant parts of the program's proof tree. We obtain a framework that defines sophisticated tutorial interaction in terms of Prolog-based task definition, execution, and monitoring.</dcterms:abstract> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-08-31T15:14:48Z</dcterms:available> <dc:creator>Zinn, Claus</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-08-31T15:14:48Z</dc:date> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 31.08.2015 (Informationen über die Zugriffsstatistik)

Zinn_0-295760.pdf 45

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto