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

• Antragstellerin: Privatdozentin Dr. Erica Melis (†)
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2001 bis 2008
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5307794

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.

• DFG-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr. Jörg H. Siekmann