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

点击翻译按钮获取中文摘要

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.