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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Holland, G.: Problemlösen mit Micro-Prolog. Einführung mit ausgewählten Beispielen aus der künstlichen Intelligenz, Teubner 1986.
Ohlson, S.: Some Principles of Intelligent Tutoring. Manuskript 1985, erscheint in Instructional Science.
Sleeman, D., Brown, J.S.: Intelligent Tutoring Systems. 1982.
Yazdani, M.: Intelligent Tutoring Systems: An Overview. Working Paper W. 136, Dept. of Computer Science, University of Exeter, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Barz, W., Holland, G. (1986). Interaktives Lösen von Beweisaufgaben mit Hilfe eines Computers. In: Puttkamer, E.V. (eds) Informatik-Grundbildung in Schule und Beruf. Informatik-Fachberichte, vol 129. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71648-5_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-71648-5_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17158-4
Online ISBN: 978-3-642-71648-5
eBook Packages: Springer Book Archive