Heuristic Search over Program Transformations

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:a5ca2faff80e4d0bef7f14edaed1c274

ZINN, Claus, 2014. Heuristic Search over Program Transformations. KDPD 2013 : Kiel Declarative Programming Days 2013. Kiel, 11. Sep 2013 - 13. Sep 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. KDPD 2013 : Kiel Declarative Programming Days 2013. Kiel, 11. Sep 2013 - 13. Sep 2013. 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"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31654/3/Zinn_0-295797.pdf"/> <dcterms:rights rdf:resource="http://nbn-resolving.de/urn:nbn:de:bsz:352-20150305140228786-3747162-5"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-08-31T15:42:58Z</dcterms:available> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 31.08.2015 (Informationen über die Zugriffsstatistik)

Zinn_0-295797.pdf 93

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto