论文标题
在教育环境下使用序言自动化高中几何形状的证据
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
论文作者
论文摘要
在研究专为数学教育及其特殊性设计的智能导师系统时，一个有趣的目标是通过预期下一步为学生提供相关的帮助。这只能通过事先了解解决问题的可能方法来完成。因此，需要自动定理供奉献者，该定理供奉献者提供的证据是由学生撰写的。为了实现这一目标，逻辑编程是一种自然工具，因为其推理与通过推断的数学证明的相似性。在本文中，我们介绍了我们用来实施这样的供者的核心思想，从序言的编码到完整的证明集的产生。但是，在处理教育方面时，要克服许多挑战。我们还提出了遇到的主要问题以及所选的解决方案。
When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipating their next steps. This can only be done by knowing, beforehand, the possible ways to solve a problem. Hence the need for an automated theorem prover that provide proofs as they would be written by a student. To achieve this objective, logic programming is a natural tool due to the similarity of its reasoning with a mathematical proof by inference. In this paper, we present the core ideas we used to implement such a prover, from its encoding in Prolog to the generation of the complete set of proofs. However, when dealing with educational aspects, there are many challenges to overcome. We also present the main issues we encountered, as well as the chosen solutions.
