数学领域推理器的适应性
摘要：数学学习环境有助于学生掌握数学知识。成熟的环境通常提供数千个互动练习。为解答互动练习提供反馈需要领域推理器来进行练习特定的计算。由于领域推理器必须以学生应该解答练习的方式来解答练习，因此领域推理器的结构应遵循数学领域的分层结构。此外，学习者、教师和环境构建者对调整领域推理器有不同的要求，例如提供更多细节，不允许或强制执行某些解决方案，以及将多个数学领域组合为一个新的领域。在以前的工作中，我们已经展示了如何用重写策略、重写规则和视图来表达解答互动练习的领域推理器。本文展示了用户如何根据自己的需求调整和配置这些领域推理器。这通过使用户能够明确地传达用于解答练习的组件来实现。
作者：Bastiaan Heeren, Johan Jeuring
论文ID：1005.4762
分类：Mathematical Software
分类简称：cs.MS
提交时间：2010-05-27