Mixed-initiative Beweisplanen und dessen Anwendungen für Mathematik-Lernsysteme

在MIPPA项目中，数学规划的基础是韦尔登，数学学习的基础是韦尔登。因此，我们必须对相关的Beweisplanen Mechanismen theoretisch untersucht韦尔登und solche进行验证，这些理论是正确的，也可以在知识系统实践中得到验证。因此，通过元推理、层次分析和策略规划等自动规划方法的研究，提出了一种新的学习方法或框架，在Lösung的基础上提出了一个相关的问题或教学方法。因此，我们必须从更好的规划出发--这是一个混合的规划韦尔登，在人与系统的珠宝中，在问题的解决上得到加强。这种方法和技术的改进只能用一个数学实例来进行韦尔登。

In dem hier vorgeschlagenen Projekt MIPPA sollen die Grundlagen für eine mathematische Beweisplanung gelegt werden, die in Mathematik-Lernumgebungen eingesetzt werden soll. Dazu müssen verschiedene für das Beweisplanen relevante Mechanismen theoretisch untersucht werden und solche, die als nützlich erkannt werden, dann auch in konkreten Systemen praktisch verwendbar gemacht werden. Dazu sollen die erfolgversprechenden Techniken des automatischen Beweisplanens wie etwa Metareasoning und hierarchisches und strategisches Beweisplanen untersucht werden, einem Benutzer - insbesondere einem Lernenden - Hilfestellung zu geben oder Fragen zu stellen, die bei der Lösung eines Problems mathematisch oder didaktisch relevant sind. Darüber hinaus muss - ausgehend vom bisherigen Beweisplanen - das sogenannte mixed-initiative Beweisplanen entwickelt werden, in dem Mensch und System jeweils geeignete Aufgaben bei der Problemlösung übernehmen. Die entwickelten Methoden und Techniken sollen dann anhand eines mathematischen Gebietes exemplarisch getestet werden.