Program analysis and manipulation to reproduce learner's erroneous reasoning

Kurzanzeige
dc.contributor.authorZinn, Claus
dc.date.accessioned2013-08-06T10:41:16Zdeu
dc.date.available2014-05-31T22:25:05Zdeu
dc.date.issued2013
dc.description.abstractPedagogical 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.eng
dc.description.versionpublished
dc.identifier.citationLogic-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-3deu
dc.identifier.doi10.1007/978-3-642-38197-3_15deu
dc.identifier.ppn393966372deu
dc.identifier.urihttp://kops.uni-konstanz.de/handle/123456789/21052
dc.language.isoengdeu
dc.legacy.dateIssued2013-08-06deu
dc.rightsterms-of-usedeu
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/deu
dc.subject.ddc004deu
dc.titleProgram analysis and manipulation to reproduce learner's erroneous reasoningeng
dc.typeINPROCEEDINGSdeu
dspace.entity.typePublication
kops.citation.bibtex
@inproceedings{Zinn2013Progr-21052,
  year={2013},
  doi={10.1007/978-3-642-38197-3_15},
  title={Program analysis and manipulation to reproduce learner's erroneous reasoning},
  number={7844},
  isbn={978-3-642-38196-6},
  publisher={Springer Berlin Heidelberg},
  address={Berlin, Heidelberg},
  series={Lecture Notes in Computer Science},
  booktitle={Logic-Based Program Synthesis and Transformation},
  pages={228--243},
  editor={Albert, Elvira},
  author={Zinn, Claus}
}
kops.citation.iso690ZINN, 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, 2013, pp. 228-243. Lecture Notes in Computer Science. 7844. ISBN 978-3-642-38196-6. Available under: doi: 10.1007/978-3-642-38197-3_15deu
kops.citation.iso690ZINN, 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, 2013, pp. 228-243. Lecture Notes in Computer Science. 7844. ISBN 978-3-642-38196-6. Available under: doi: 10.1007/978-3-642-38197-3_15eng
kops.citation.rdf
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/21052">
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:issued>2013</dcterms:issued>
    <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>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Zinn, Claus</dc:creator>
    <dc:contributor>Zinn, Claus</dc:contributor>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21052/2/Zinn_210529.pdf"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-08-06T10:41:16Z</dc:date>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-31T22:25:05Z</dcterms:available>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21052"/>
    <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>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:title>Program analysis and manipulation to reproduce learner's erroneous reasoning</dcterms:title>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:language>eng</dc:language>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21052/2/Zinn_210529.pdf"/>
  </rdf:Description>
</rdf:RDF>
kops.description.openAccessopenaccessgreen
kops.flag.knbibliographytrue
kops.identifier.nbnurn:nbn:de:bsz:352-210529deu
kops.sourcefieldALBERT, Elvira, ed.. <i>Logic-Based Program Synthesis and Transformation</i>. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 228-243. Lecture Notes in Computer Science. 7844. ISBN 978-3-642-38196-6. Available under: doi: 10.1007/978-3-642-38197-3_15deu
kops.sourcefield.plainALBERT, Elvira, ed.. Logic-Based Program Synthesis and Transformation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 228-243. Lecture Notes in Computer Science. 7844. ISBN 978-3-642-38196-6. Available under: doi: 10.1007/978-3-642-38197-3_15deu
kops.sourcefield.plainALBERT, Elvira, ed.. Logic-Based Program Synthesis and Transformation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 228-243. Lecture Notes in Computer Science. 7844. ISBN 978-3-642-38196-6. Available under: doi: 10.1007/978-3-642-38197-3_15eng
kops.submitter.emailclaus.zinn@uni-konstanz.dedeu
relation.isAuthorOfPublicatione7cb59fb-b062-4880-8bf9-1e7bad0affb4
relation.isAuthorOfPublication.latestForDiscoverye7cb59fb-b062-4880-8bf9-1e7bad0affb4
source.bibliographicInfo.fromPage228
source.bibliographicInfo.seriesNumber7844
source.bibliographicInfo.toPage243
source.contributor.editorAlbert, Elvira
source.identifier.isbn978-3-642-38196-6
source.publisherSpringer Berlin Heidelberg
source.publisher.locationBerlin, Heidelberg
source.relation.ispartofseriesLecture Notes in Computer Science
source.titleLogic-Based Program Synthesis and Transformation

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Zinn_210529.pdf
Größe:
141.9 KB
Format:
Adobe Portable Document Format
Zinn_210529.pdf
Zinn_210529.pdfGröße: 141.9 KBDownloads: 324

Lizenzbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
license.txt
Größe:
1.92 KB
Format:
Plain Text
Beschreibung:
license.txt
license.txtGröße: 1.92 KBDownloads: 0

Sammlungen

Informatik und Informationswissenschaft: Publikationen