Program analysis and manipulation to reproduce learner's erroneous reasoning


Dateien zu dieser Ressource

Prüfsumme: MD5:f512336301ceef5bb9cc8209bd4000df

ZINN, Claus, 2013. Program analysis and manipulation to reproduce learner's erroneous reasoning. In: ALBERT, Elvira, ed.. Logic-Based Program Synthesis and Transformation. Berlin, Heidelberg:Springer Berlin Heidelberg, pp. 228-243. ISBN 978-3-642-38196-6. Available under: doi: 10.1007/978-3-642-38197-3_15

@inproceedings{Zinn2013Progr-21052, title={Program analysis and manipulation to reproduce learner's erroneous reasoning}, year={2013}, doi={10.1007/978-3-642-38197-3_15}, number={7844}, isbn={978-3-642-38196-6}, address={Berlin, Heidelberg}, publisher={Springer Berlin Heidelberg}, series={Lecture Notes in Computer Science}, booktitle={Logic-Based Program Synthesis and Transformation}, pages={228--243}, editor={Albert, Elvira}, author={Zinn, Claus} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <bibo:uri rdf:resource=""/> <dcterms:title>Program analysis and manipulation to reproduce learner's erroneous reasoning</dcterms:title> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:rights rdf:resource=""/> <dc:contributor>Zinn, Claus</dc:contributor> <dspace:hasBitstream rdf:resource=""/> <dc:rights>terms-of-use</dc:rights> <dc:date rdf:datatype="">2013-08-06T10:41:16Z</dc:date> <dcterms:isPartOf rdf:resource=""/> <dcterms:bibliographicCitation>Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. - Berlin : Springer, 2013. - (Lecture Notes in Computer Science ; 7844). - S. 228-243. - ISBN 978-3-642-38197-3</dcterms:bibliographicCitation> <dc:creator>Zinn, Claus</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:available rdf:datatype="">2014-05-31T22:25:05Z</dcterms:available> <dcterms:issued>2013</dcterms:issued> <dcterms:hasPart rdf:resource=""/> <dcterms:abstract xml:lang="eng">Pedagogical research shows that learner errors are seldom random, but result from correctly executing an erroneous procedure. Effective teaching, thus, depends on deep cognitive analyses to diagnose, and subsequently repair those incorrect parts. We report a method for the reconstruction of such erroneous procedures based on the analysis and manipulation of logic programs. The method relies on an iterative application of two algorithms: an innovative use of algorithmic debugging to identify learner errors by the analysis of (initially) correct {\em (sic)} Prolog-based procedures, and a subsequent program manipulation phase where errors are introduced into (initially) correct procedures. The iteration terminates with the derivation of an erroneous procedure that was followed by the learner. The procedure, and its step-wise reconstruction, can then be used to inform remedial feedback.</dcterms:abstract> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Zinn_210529.pdf 169

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto