Zusammenfassung
Es wird die Konzeption eines Hilfesystems vorgestellt, das Personen bei der Modellierung mit Petrinetzen auf verschiedenen Entwurfsebenen mit wissensstandsbezogenen Hilfen unterstützen soll. Das Hilfesystem soll Benutzern mit unterschiedlichem Erfahrungshintergrund zu jedem Zeitpunkt optimale, dem aktuellen Wissensstand des jeweiligen Benutzers angepaßte Hilfen zur Verfügung stellen. Unerfahrenen Benutzern soll es möglich sein, sich durch die Interaktion mit dem System in die Modellierung mit Petrinetzen einzuarbeiten und das hierfür erforderliche Wissen schrittweise zu erwerben und zu optimieren.
Der Wissenserwerbsprozeß soll in zwei Phasen erfolgen. Zum einen soll es den Benutzern möglich sein, durch “freies”, ungeleitetes Problemlösen eigenständige Lösungsentwürfe zu vorgegebenen Aufgaben zu entwickeln und sich dabei von dem System individualisierte Lösungshilfen geben zu lassen. Dabei werden die Lösungsentwürfe des Benutzers mit Transformationsregeln untersucht. Nicht erkennbare Entwürfe werden mit einer Verifikationskomponente überprüft, und es werden ggf. neue Transformationsregeln abgeleitet. Zum anderen soll die Möglichkeit zu regelgeleitetem, durch adaptive Transformationshilfen unterstütztem Problemlösen bestehen. Die Transformationshilfen sind visuelle Repräsentationen der Transformationsregeln.
Die Generierung wissensstandsbezogener Lösungs- und Transformationshilfen setzt wissensstandsbezogene Transformationsregeln und somit detaillierte Annahmen über das aktuelle Wissen des Benutzers (Benutzermodell) voraus. Grundlage für diese Annahmen ist die über den Benutzer rechnerseitig erfaßbare Information und ihre Interpretation mit Hilfe differenzierter Hypothesen zum Wissenserwerbsprozeß. Solche Hypothesen werden auf Basis der IDL-SDL-Theorie (“impasse-driven learning — success-driven learning”) sowie empirischer Einzeluntersuchungen gewonnen, bzw. in Vorarbeiten gewonnene Hypothesen werden weiterentwickelt. Vorarbeiten zur Analyse von Lösungsentwürfen, zur Generierung von Hilfen und zur Modellierung hilfegeleiteter Wissenserwerbsprozesse wurden in unserem DFG-Projekt ABSYNT für die Domäne des funktionalen Programmierens durchgeführt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Anderson, J.R., Knowledge Compilation: The General Learning Mechanism. In: Michalski, R.S., Carbonell, J.G., Mitchell, T.M., Machine Learning, Vol. II, Los Altos: Morgan Kaufman, 1986, 289–310
Baumgarten, B., Petri-Netze - Grundlagen und Anwendungen. BI Wissenschaftsverlag, 1990
Damm, W., Döhmen, G., Gerstner, V., Josko, B.. The Temporal Logic Approach. In de Bakker, J.W., de Roever, W.P., Rozenberg (eds), Proceedings REX-Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctncss. Springer: Lecture Notes in Computer Science 430, 1990
Hölldobler, S., Schneeberger, J., A New Deducüve Approach to Planning. New Generation Computing, 8, 1990, 225–244
Josko, B., Verifying the Correctncss of AADL Modules using Model Checking. In: de Bakker, J.W., de Roever, W.P., Rozenberg (eds), Proceedings REX-Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Springer: Lecture Notes in Computer Science 430, 1990, 387–400
Kröger, F., Temporal Logic of Programs, Berlin: Springer, 1987
Lewis, C., Composition of Producüons. In: Klahr, D., Langley, P., Neches, R. (eds), Production System Models of Learning and Development. Cambridge: MIT Press, 1987, 329–358
Möbus. C., The Relevance of Computational Models of Knowledge Acquisition for the Design of Helps in the Problem Solving Monitor ABSYNT. In: Lewis, R, Otsuki, S. (eds), Advanced Research on Computers in Education. Elsevier North Holland, 1991, 137–144
Möbus, C., Schröder, O., Thole, H.-J., Runtime Modelling the Novice-Expert Shift in Programming Skills on a Rule-Schema- Case-Continuum, paper to be presented at the Workshop W.4 “Modelling for Intelligent Interaction”, 12th International Joint Conference on Artificial Intelligence, IJCAI-91, Darling Harbour, Sydney, Australia, August 24–25,1991
Möbus, C., Thole, H.-J., Interactive Support for Planning Visual Programs in the Problem Solving Monitor ABSYNT: Giving Feedback to User Hypotheses on the Language Level. In: Norrie, D.H., Six, H.W., Computer Assisted Learning. Proceedings of the 3rd Int. Conf. on Computer Assisted Learning ICCAL, 1990, 36–49
Olderog, E.-R., Nets, Terms, and Formulas: Three Views of Concurrent Processes and Thcir Relationship. Universität Oldenburg, FB Informatik, 1989
Partsch, H.A., Specification and Transformation of Programs: A Formal Approach to Software Development. Berlin, Springer 1990
Pereira, F.C.N., Warren, D.H.D., Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Transition Networks. Artificial Intelligence, 13, 1980, 231–278
Peterson, J.L., Petri Net Theory and the Modeling of Systems, Englewood Cliffs: Prentice Hall, 1981
Reisig, W., Petri netze - eine Einführung. Berlin: Springer, 1986
Rosenbloom, P., Newell, A., Learning by Chunking. In: Klahr, D., Langley, P., Neches, R. (eds), Production System Models of Learning and Development. Cambridge: MIT Press, 1987, 221–286
Schröder, O., Kohnert, K., Toward a Model of Instruction-Based Knowledge Acquisition: The Operational Knowledge for A Functional, Visual Programming Language. Journal of Artificial Intelligence in Education, 1,1989/90, 105–128
Sleeman, D., An Attempt to Understand Students’ Understanding of Basic Algebra. Cognitive Science, 8 1984, 387–412
Spies, K., Hesse, F.W., Interaktion von Emotion und Kognition. Psychologische Rundschau, 37, 1986, 75–90
Tanaka, T., Definite-Clause Set Grammars: A Formalism for Problem Solving, Journal of Logic Programming, 1991, 10, 1–17
van Lehn, K., Toward a theory of Impasse-Driven Learning. In: Mandl, H., Lesgold, A. (eds), Learning Issues for Intelligent Tutoring Systems. New York, Springer, 1988, 19–41
van Lehn, K., Mind Bugs: The Origins of Procedural Misconceptions. MIT Press, 1990
Wolff, J.G., Cognitive Development as Optimization. In: Bolc, L. (ed), Computational Models of Learning. Berlin, Springer, 1987, 161–205
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pitschke, K., Schröder, O., Möbus, C. (1991). Entwurf eines Hilfesystems für Petrinetzmodellierer. In: Gorny, P. (eds) Informatik und Schule 1991. Informatik-Fachberichte, vol 292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76982-5_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-76982-5_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54619-1
Online ISBN: 978-3-642-76982-5
eBook Packages: Springer Book Archive