教拼写检查器教学：面向交互学习的教学程序合成

通过记忆进行的拼写教学往往对许多学习者无效，特别是患有语言学习障碍的儿童，他们缺乏准确拼写单词所需的语音技能。语言病理学家等教育者通过使用基于探究的方法来教授拼写，目标是单词的语音、形态、含义和词源。然而，这些策略很少出现在日常写作工具中，而这些工具只是检测和纠正错误。我们引入 SPIRE(拼写探究引擎)，一个将这种基于探究的教学法带入写作行为的拼写检查系统。SPIRE 实现教学程序合成，这是一种将拼写教学固有动态教学法操作化的新方法。SPIRE 在特定领域语言中表示语言病理学家的教学动作，从学习者错误中实时合成定制程序，并将它们呈现为基于探究干预的交互界面。使用 SPIRE，拼写错误成为探索词义、词结构、形态家族、词源和字母音对应关系的机会，支持元语言推理以及更正。对语言病理学家和学习者的评估显示与专业实践的一致性以及集成到写作工作流程的潜力。