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

混合主动证明规划及其在数学学习系统中的应用

• 批准号: 5307794
• 负责人: Privatdozentin Dr. Erica Melis (†)
• 金额: --
• 依托单位: Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), Saarbrücken
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5307794?language=en
• 关键词: Mixed; initiative; Beweisplanen; und; dessen

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.

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