Heuristic Search over Program Transformations
Heuristic Search over Program Transformations
复制标题
程序转换的启发式搜索
DOI：
10.1007/978-3-319-08909-6_15
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
C. Zinn
中科院分区：
文献类型：
--
作者：
C. Zinn
在之前的工作中，我们开发了一种方法，用于自动重建有缺陷的 Prolog 程序，从正确的程序到模型学习者在辅导环境中的错误推理。该方法将算法调试的创新变体与程序转换相结合。算法调试用于指示学习者的错误及其类型；这通知了一个程序转换，将专家程序“修复”为一个有缺陷的变体，更接近于复制学习者的行为。在本文中，我们通过使用启发式搜索改进了我们的方法。为了搜索程序转换的空间，我们估计程序之间的距离。算法调试器现在遍历整个程序，而不是仅返回程序和 Oracle 之间的第一个不可简化的分歧。在此过程中，所有不可约的协议和分歧都被计算在内以计算距离度量，其中还包括转换的成本。总体而言，启发式方法对我们现有的盲法进行了重大改进。
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 offers a significant improvement to our existing blind method.
登录
查看更多内容
思维错误：程序误解的起源
DOI：
--
发表时间：
1990
期刊：
影响因子：
--
作者：
K. VanLehn
通讯作者：
K. VanLehn
DOI：
--
发表时间：
2011
期刊：
Deutsche Jahrestagung für Künstliche Intelligenz
影响因子：
--
作者：
C. Zinn
通讯作者：
C. Zinn
DOI：
10.1207/s15516709cog0202_4
发表时间：
1978-04
期刊：
Cogn. Sci.
影响因子：
--
作者：
J. Brown;R. Burton
通讯作者：
J. Brown;R. Burton
儿童减法中的错误
DOI：
10.1207/s15516709cog0502_3
发表时间：
1981
期刊：
Cogn. Sci.
影响因子：
--
作者：
R. M. Young;T. O'Shea
通讯作者：
T. O'Shea
DOI：
--
发表时间：
2010
期刊：
Mathematics and Computer Science
影响因子：
--
作者：
B. Heeren;J. Jeuring;Alex Gerdes
通讯作者：
Alex Gerdes