Abstract
An important feature in the field of parallel programming is the use of synchronization. We describe an intelligent tutoring system, SYPROS, which provides a comfortable tool through which students gain practice in synchronizing parallel processes with semaphores.
Its domain expert includes two different problem solving components. This reflects the fact that human experts generally need two phases in solving synchronization problems: A first solution is developed by combining elementary schemes according to heuristic rules. If the underlying problem is difficult usually this solution needs successive improvements in a second phase.
These two phases of problem solving play an important part in student modelling: It requires a special diagnosis component for continuously analysing the student's solving process.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
E.-W. Dijkstra: Cooperating sequential processes. In F. Genuys, editor, Programming Languages. Academic Press, New York, 1968.
M. Hack: The recursive equivalence of the liveness problem and the reachability problem for Petri nets and vector addition systems. In Proc. of the 15th Annual Symposium on SWAT, pages 156–164, New Orleans, LA, Oct. 1974.
C. Herzog: TaskL — a language for specifying problems and formulating solutions in the field of sychronization of parallel processes. Internal report, 1991.
W. Johnson: Intention-based Diagnosis of Novice Programming Errors. Morgan Kaufmann, 1986.
T. Kiewert: Entwicklung und Implementierung von Verfahren zur interaktiven Analyse von Studentenlösungen in einem intelligenten Lehrsystem zu Synchronisationsproblemen. Diplomarbeit, TU München, Institut für Informatik, Januar 1992.
H.-J. Krebs: Sammlung und Klassifizierung von Synchronisationsproblemen sowie Entwicklung einer Wissensbasis zur Analyse von Studentenlösungen in einem intelligenten Lehrsystem. Diplomarbeit, TU München, Institut für Informatik, Januar 1992.
E. Mayr: An algorithm for the general Petri net reachability problem. SIAM J. Comput., 13(3):441–460, Aug. 1984.
G. Olimpo: The robot brothers: An environment for learning parallel programming oriented to computer education. Computers & Education, 12:113–118, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herzog, C. (1992). From elementary knowledge schemes towards heuristic expertise — Designing an its in the field of parallel programming. In: Frasson, C., Gauthier, G., McCalla, G.I. (eds) Intelligent Tutoring Systems. ITS 1992. Lecture Notes in Computer Science, vol 608. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55606-0_24
Download citation
DOI: https://doi.org/10.1007/3-540-55606-0_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55606-0
Online ISBN: 978-3-540-47254-4
eBook Packages: Springer Book Archive