Interaktives Lösen von Beweisaufgaben mit Hilfe eines Computers

Zusammenfassung

Es wird ein „intelligentes“ tutorielles System (ITS) vorgestellt, mit dessen Hilfe das Lösen geometrischer Beweisaufgaben insbesondere auch durch Rückwärtsverketten gelernt werden soll. Die Implementierung erfolgte in micro-PROLOG unter MS-DOS (als Prototyp auch unter CP/M 3.0, APPLE 2e). Dieses System wurde an Studenten einer empirischen Erprobung unterzogen, um es einerseits zu evaluieren und um andererseits Daten für die Weiterentwicklung des Tutors bezüglich einer Fehlerdiagnosekomponente/Schülermodell und geeigneter tutorieller Hilfen zu sammeln. Zur Zeit ist die Intelligenz des vorgestellten Systems dadurch gegeben, daß der automatische Beweiser adäquate inhaltliche Hilfen und eine inhaltliche Kontrolle der Benutzereingabe ermöglicht. Fünf Fehlertypen werden identifiziert und dem Benutzer rückgemeldet. Eine zutreffende Diagnose der Fehler und Schwierigkeiten des Benutzers, eine Berücksichtigung seiner Arbeits- und Lernweise und das detaillierte Erkennen seiner Lernfortschritte sowie die Entwicklung und Implementierung differenzierter tutorieller Hilfen machen ein tutorielles System erst zu einem intelligenten System (vgl. SLEEMAN /BROWN 1982; YAZDANI 1986; OHLSON 1986). Hierfür ist vor allem eine psychologisch-didaktische Untersuchung des Problembearbeitungsprozesses und geeigneter tutorieller Strategien erforderlich (vgl. OHLSON, 1986).