Heuristic Search over Program Transformations

Cite This

Files in this item

Checksum: MD5:a5ca2faff80e4d0bef7f14edaed1c274

ZINN, Claus, 2014. Heuristic Search over Program Transformations. KDPD 2013 : Kiel Declarative Programming Days 2013. Kiel, Sep 11, 2013 - Sep 13, 2013. In: HANUS, Michael, ed. and others. Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013 ; Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11–13, 2013, Revised Selected Papers. Cham:Springer, pp. 234-249. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-08908-9. Available under: doi: 10.1007/978-3-319-08909-6_15

@inproceedings{Zinn2014Heuri-31654, title={Heuristic Search over Program Transformations}, year={2014}, doi={10.1007/978-3-319-08909-6_15}, number={8439}, isbn={978-3-319-08908-9}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Artificial Intelligence}, booktitle={Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013 ; Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11–13, 2013, Revised Selected Papers}, pages={234--249}, editor={Hanus, Michael}, author={Zinn, Claus} }

<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/rdf/resource/123456789/31654"> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31654"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Zinn, Claus</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:abstract xml:lang="eng">In prior work, we have developed a method for the automatic reconstruction of buggy Prolog programs from correct programs to model learners' incorrect reasoning in a tutoring context. The method combines an innovative variant of algorithmic debugging with program transformations. Algorithmic debugging is used to indicate a learner's error and its type; this informs a program transformation that "repairs'' the expert program into a buggy variant that is closer at replicating a learner's behaviour. In this paper, we improve our method by using heuristic search. To search the space of program transformations, we estimate the distance between programs. Instead of only returning the first irreducible disagreement between program and Oracle, the algorithmic debugger now traverses the entire program. In the process, all irreducible agreements and disagreements are counted to compute the distance metrics, which also includes the cost of transformations. Overall, the heuristic approach is a significant improvement to our existing blind method.</dcterms:abstract> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31654/3/Zinn_0-295797.pdf"/> <dcterms:title>Heuristic Search over Program Transformations</dcterms:title> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-08-31T15:42:58Z</dc:date> <dc:contributor>Zinn, Claus</dc:contributor> <dcterms:issued>2014</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:rights>terms-of-use</dc:rights> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31654/3/Zinn_0-295797.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-08-31T15:42:58Z</dcterms:available> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> </rdf:Description> </rdf:RDF>

Downloads since Aug 31, 2015 (Information about access statistics)

Zinn_0-295797.pdf 138

This item appears in the following Collection(s)

Search KOPS


Browse

My Account