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

• Applicant: Privatdozentin Dr. Erica Melis (†)
• Subject Area: Theoretical Computer Science
• Term: from 2001 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• Participating Person: Professor Dr. Jörg H. Siekmann