A model of the acquisition of rule knowledge with visual helps: The operational knowledge for a functional, visual programming language

  • Olaf Schröder
Models Of Reasoning And Learning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 438)


A simulation model of the acquisition of rule knowledge with visual helps is described in the domain of the operational knowledge for ABSYNT, a functional, visual programming language. The knowledge acquisition process is viewed as an iterative two-stage process:
  1. a)

    acquiring new knowledge by making use of the supplied visual help material in response to difficulties: that is, in new situations for which the current knowledge is not sufficient;

  2. b)

    improving existing knowledge by dealing with familiar types of situations.


The simulation model was developed by protocol analysis of one single subject. The model describes 60% of a continuous portion of the protocol. Some more coarse data from other subjects are analyzed in the light of predictions of the model. The model further suggests how to continuously change the help material in order to adapt it to the actual knowledge state of the learner during the knowledge acquisition process.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [1]
    Anderson, J.R., The Architecture of Cognition. Harvard University Press, Cambridge, 1983Google Scholar
  2. [2]
    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: Kaufman, 1986, 289–310Google Scholar
  3. [3]
    Anderson, J.R.; Greeno, J.G.; Kline, P.J.; Neves, D.M.: Acquisition of Problem-Solving Skill. In: Anderson, J.R. (ed): Cognitive Skills and their Acquisition. Hillsdale, Erlbaum, 1981, 191–230Google Scholar
  4. [4]
    Bonar, J.G., Liffick, B.W., A Visual Programming Language for Novices. In: Chang, S.K. (ed): Principles of Visual Programming Systems. Englewood Cliffs: Prentice Hall, 1990, 326–366Google Scholar
  5. [5]
    Brown, J.S.; van Lehn, K., Repair Theory: A Generative Theory of Bugs in Procedural Skills. Cognitive Science, 1980, 4, 379–426Google Scholar
  6. [6]
    Card, S.K., Moran T.P., Newell, A., The Psychology of Human-Computer Interaction. Hillsdale: Erlbaum, 1983Google Scholar
  7. [7]
    Cheng, P., Carbonell, J.G., The FERMI System: Inducing Iterative Macro-operators from Experience. Proceedings of the fifth National Conference on Artificial Intelligence. Cambridge: Morgan Kaufman, 1986, 490–495Google Scholar
  8. [8]
    Davis, R.E., Runnable Specifications as a Design Tool. In: Clark, K.L.; Tärnlund, S.A. (eds), Logic Programming, New York, Academic Press, 1982, 141–149Google Scholar
  9. [9]
    Goldstein, I.P., The Genetic Graph: A Representation for the Evolution of Procedural Knowledge. In: Sleeman, D, Brown, J.S. (eds): Intelligent Tutoring Systems. New York: Academic Press, 1982, 51–77Google Scholar
  10. [10]
    Glinert, E.P., Nontextual Programming Environments. In: Chang, S.K. (ed): Principles of Visual Programming Systems. Englewood Cliffs: Prentice Hall, 1990, 144–230Google Scholar
  11. [11]
    Janke, G., Möbus, C., Thole, H.-J., Konzeptualisierung eines problemlösezentrierten Hilfesystems. In: Stetter, F., Brauer, W. (ed), Informatik und Schule, Informatik-Fachberichte 220, Berlin, Springer, 1989, 44–55Google Scholar
  12. [12]
    Janke, G., Kohnert, K., Interface Design of a Visual Programming Language: Evaluating Runnable Specifications. In: F. Klix, N.A. Streitz, Y. Waern & N. Wandke (eds), Man-Computer-Interaction Research MACINTER-II, Proceedings of the Second Network Seminar of MACINTER held in Berlin/GDR, March 21–25, 1988, Amsterdam: Elsevier, 1989, 567–581Google Scholar
  13. [13]
    Johnson-Laird, P.N., Mental Models. In Aitkenhead, A.M., Slack, J.M. (eds): Issues in Cognitive Modeling. Hillsdale: Erlbaum, 1985, 81–99Google Scholar
  14. [14]
    Kearsley, G., Online Help Systems. Norwood: Ablex, 1988Google Scholar
  15. [15]
    Kieras, D, Polson, P.G., An Approach to the Formal Analysis of User Complexity. Int. Journal of Man-Machine Studies, 1985, 22, 365–394Google Scholar
  16. [16]
    Laird, J., Rosenbloom, P.S. & Newell, A. (eds), Universal Subgoaling and Chunking, Boston: Kluwer Academic Publ. 1986Google Scholar
  17. [17]
    Lewis, C., Composition of Productions, In: Klahr, D., Langley, P., Neches, R. (eds), Production System Models of Learning and Development, Cambridge, MIT press, 1987, 329–358Google Scholar
  18. [18]
    Möbus, C.: Die Entwicklung zum Programmierexperten durch das Problemlösen mit Automaten. In: Mandl, H.; Fischer, P.M. (Hg): Lernen im Dialog mit dem Computer. München: Urban & Schwarzenberg, 1985, 140–154Google Scholar
  19. [19]
    Möbus, C., Logic Programs as a Specification and Description Tool in the Design Processes of an Intelligent Tutoring System, in Salvendy, G. (ed), Abridged Proceedings of the HCI International 87, 1987, 119Google Scholar
  20. [20]
    Möbus, C., Toward the Design of Adaptive Instructions and Helps for Knowledge Communication with the Problem Solving Monitor ABSYNT. To appear in: Stepankova, O., Marik, V. (eds): Proceedings of the CEPES UNESCO Workshop "The Advent of Higher Education", Prague, Oct. 23–25, 1989, Berlin-Heidelberg-New York: Springer (in press)Google Scholar
  21. [21]
    Möbus, C.; Schröder, O., Knowledge Specification and Instruction for a Visual Computer Language. In: Klix, F.; Wandke, H; Streitz, N.A.; Waern, Y. (eds): Man-Computer-Interaction Research MACINTER-II, 1989, 535–565Google Scholar
  22. [22]
    Möbus, C.; Schröder, O., representing Semantic Knowledge with 2-Dimensional Rules in the Domain of Functional Programming. In: Tauber, M; Gorny, P. (eds), Visualization in Human-Computer Interaction, Heidelberg, Springer Computer Science Lecture Series, in pressGoogle Scholar
  23. [23]
    Möbus, C.; Thole, H.J., Tutors, Instructions, and Helps. In: Christaller, Th. (ed), Künstliche Intelligenz, KIFS87, Proceedings, Informatik-Fachberichte 202, Heidelberg: Springer, 1989, 336–385Google Scholar
  24. [24]
    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 (this volume)Google Scholar
  25. [25]
    Neves, D.M.; Anderson, J.R., Knowledge Compilation: Mechanisms for the Automatization of Cognitive Skills. In: Anderson, J.R. (ed): Cognitive Skills and their Acquisition. Hillsdale, Erlbaum, 1981, 57–84Google Scholar
  26. [26]
    Reiser, B.J., Ranney, M., Lovett, M.C., Kimberg, D.Y., Facilitationg Students' Reasoning with Causal Explanations and Visual Representations. In: Bierman, D., Breuker, J., Sandberg, J. (eds), Artificial Intelligence and Education. Amsterdam: IOS, 1989, 228–235Google Scholar
  27. [27]
    Schröder, O., Frank, K.D., Kohnert, K., Möbus, C., Rauterberg, M., Instruction-Based Knowledge Acquisition and Modification: The Operational Knowledge for a Functional, Visual Programming Language, Computers in Human Behavior, in pressGoogle Scholar
  28. [28]
    Sleeman, D., Brown, J.S., Intelligent Tutoring Systems, New York: Academic Press, 1982Google Scholar
  29. [29]
    van Lehn, K., Learning One Subprocedure per Lesson, Artificial Intelligence, 1987, 31, 1–40CrossRefGoogle Scholar
  30. [30]
    van Lehn, K., Towards a Theory of Impasse-Driven Learning. In: Mandl, H; Lesgold, A.: Learning Issues for Intelligent Tutoring Systems. Springer, New York, 1988, 19–41Google Scholar
  31. [31]
    Wolff, J.G., Cognitive Development as Optimization, In: Bolc, L. (ed), Computational Models of Learning, Heidelberg: Springer, 1987, 161–205Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Olaf Schröder
    • 1
  1. 1.Department of Computational ScienceUniversity of OldenburgOldenburgF.R. Germany

Personalised recommendations