Skip to main content
Springer Nature Link
Log in

Interactive support for planning visual programs in the problem solving monitor ABSYNT giving feedback to user hypotheses on the language level

  • AI Applications In CAL
  • Conference paper
  • First Online:
Computer Assisted Learning (ICCAL 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 438))

Included in the following conference series:

  • 1205 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. WENGER, E., Artificial Intelligence and Tutoring Systems: Computational and Cognitive Approaches to the Communication of Knowledge, Los Altos Calfornia: Morgan Kaufman Publishers, Inc., 1987

    Google Scholar 

  2. POLSON, M.C. & RICHARDSON, J. (ed), Foundations of Intelligent Tutoring Systems, Hillsdale, N.J.: Lawrence Erlbaum Press, 1988

    Google Scholar 

  3. PSOTKA, J., MASSEY, L.D. & MUTTER, S.A. (eds), Intelligent Tutoring Systems: Lessons Learned, Hillsdale, N.J.: Lawrence Erlbaum Press, 1988

    Google Scholar 

  4. BIERMAN, D., BREUKER, J. & SANDBERG, J. (eds), Artificial Intelligence and Education, Amsterdam: IOS, 1989, ISBN 9051990146

    Google Scholar 

  5. MAURER, H. (ed), Computer Assisted Learning, Berlin: Springer, 1989

    Google Scholar 

  6. KEARSLEY, G.P. (ed), Artificial Intelligence & Instruction, Reading, Mass.: Addison Wesley 1987

    Google Scholar 

  7. LEWIS, C., Composition of Productions, in: D. KLAHR, P. LANGLEY & R. NNECHES (eds), Production System Models of Learning and Development, 329–358, Cambridge, Mass.: MIT Press, 1987

    Google Scholar 

  8. WYSOTZKI, F., Representation and Induction of Infinite Concepts and Recursive Action Sequences, Proceedings of the 8th International Joint Conference on Artificial Intelligence, 1983, Karlsruhe, Palo Alto,Ca.: Morgan Kaufman Publisher

    Google Scholar 

  9. SCHMITT, H. & WOHLFARTH, P., Mathematikbuch 5N, München: Bayerischer Schulbuchverlag, 1978

    Google Scholar 

  10. BAUER, F.L. & GOOS, G., Informatik: Eine einführende Übersicht, Erster Teil, Berlin: Springer 1982

    Google Scholar 

  11. DOSCH, W., New Prospects of Teaching Programming Languages, in: F.B. LOVIS & E.D. TAGG (eds), Informatics Education for All Students, Elsevier Science Publishers B.V. (North-Holland), IFIP 1984, 153–169

    Google Scholar 

  12. DOSCH, W., Principles of Teaching Programming Languages, in: E. SCERRI (ed), Proceedings of the 2nd Biennal Meeting of the Community of Mediterranean Universities, Malta, 17–21, October 1988 (in press)

    Google Scholar 

  13. MÖBUS, C. & THOLE, H.-J. Tutors, Instructions and Helps. In: CHRISTALLER, Th. (ed): Künstliche Intelligenz KIFS 1987, Informatik-Fachberichte 202, Heidelberg, Springer 1989, S. 336–385

    Google Scholar 

  14. MÖBUS, C. & SCHRÖDER, O., Knowledge Specification and Instructions for a Visual Computer Language. In: KLIX, F., STREITZ, N.A., WAERN, Y. & WANDKE, N. (eds): Man-Computer Interaction Research Macinter II, Proceedings of the second Network Seminar of Macinter held in Berlin /GDR, 21.–25. März 1988, Amsterdam: North Holland, 1989 S. 535–565

    Google Scholar 

  15. JANKE, G., & KOHNERT, K., Interface Design of a Visual Programming Language: Evaluating Runnable Specifications. In: KLIX, F., STREITZ, N.A., WAERN, N. & WANDKE, N. (eds): Man Computer Interaction Research Macinter II, Proceedings of the second Network Seminar of Macinter held in Berlin/GDR, 21.–25. März 1988, Amsterdam: North Holland, 1989, S. 567–581

    Google Scholar 

  16. 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: Lecture Notes in Computer Science, Berlin (in press)

    Google Scholar 

  17. JANKE, G, MÖBUS, C & THOLE, H-J, Empirische Pilotstudie zur Konstruktion eines problemlösezentrierten Hilfesystems für einen Problemlösemonitor, in: STETTER, F. (ed), Informatik und Schule, Informatik-Fachberichte, Berlin: Springer (in press)

    Google Scholar 

  18. HOUGHTON, R.C., Online Help Systems: A Conspectus, Communications of the ACM, 1984, 27, 126–133

    Article  Google Scholar 

  19. SHNEIDERMAN, B., Designing the User Interface, Reading Mass., 1987

    Google Scholar 

  20. McKENKDREE, J., Feedback Content During Complex Skill Acquisition, in: G. SALVENDY, S.L. SAUTER & J.J. HURRELL (eds), Social, Ergonmic and Stress Aspects of Work with Computers, 181–188, Amsterdam: Elsevier Science Publ., 1987

    Google Scholar 

  21. HARTLEY, J.R. & PILKINGTON, R., Software Tools for Supporting Learning in Intelligent On-Line Help Systems, in: P. ERCOLI & R. LEWIS (eds.), Artificial Intelligence Tools in Education, 39–65, Amsterdam: North-Holland, 1988

    Google Scholar 

  22. HARTLEY, J.R. & SMITH, M.J., Question Answering and Explanation Giving in Online Help Systems, in: J.SELF (ed), Artificial Intelligence and Human Learning: Intelligent Computer-Aided Instruction, 338–360, London, 1988

    Google Scholar 

  23. KEARSLEY, G., Online Help Systems: Design and Implementation, Norwood, N.J., 1988

    Google Scholar 

  24. MOLL, Th. & FISCHBACHER, K., Über die Verbesserung der Benutzerunterstützung durch ein Online-Tutorial, in: S.MAASS & H.OBERQUELLE (Hrsgb), Software-Ergonomie '89, 223–232, Stuttgart 1989

    Google Scholar 

  25. PAGAN, F.G., Formal Specification of Programming Languages, Englewood Cliffs, N.J.: Prentice Hall, 1981

    Google Scholar 

  26. 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 press)

    Google Scholar 

  27. van LEHN, K., Towards a Theory of Impasse-Driven Learning. In: MANDL, H., LESGOLD, A. (eds), Learning Issues for Intelligent Tutoring Systems, Springer, New York, 1988, S. 19–41

    Google Scholar 

  28. 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, S. 57–84

    Google Scholar 

  29. LEWIS, C., Composition of Productions, in KLAHR, LANGLEY & NECHES (eds), Production System Models of Learning and Development, 329–358, Cambridge, Mass.: MIT Press, 1987

    Google Scholar 

  30. LAIRD, J.E., ROSENBLOOM, P.S.., & NEWELL, A., Chunking in SOAR: The Anatomy of a General Learning Meachnism, Machine Learning, 1986, 1, 11–46

    Google Scholar 

  31. WOLFF, J.G., Cognitive Development as Optimisation, in: L. BOLC (ed), Computational Models of Learning, 161–205, Berlin: Springer, 1987

    Google Scholar 

  32. KATZ, I.R. & ANDERSON, J.R., Debugging: An Analysis of Bug-Location Strategies, Human-Computer Interaction, 1987–1988, 3, 351–399

    Article  Google Scholar 

  33. JOHNSON, W.L., Intention-Based Diagnosis of Novice Programming Errors, Research Notes in Artificial Intelligence, London: Pitman, 1986

    Google Scholar 

  34. ANDERSON, J.R.: Production Systems, Learning, and Tutoring, in: KLAHR, D., LANGLEY, P., NECHES, R., Production System Models of Learning and Development, 437–458, Cambridge,Mass.: 1987

    Google Scholar 

  35. MURRAY, W.R., Automated Program Debugging for Intelligent Tutoring Systems, Research Notes in Artificial Intelligence, London: Pitman, 1988

    Google Scholar 

  36. GREER, J.E., MARK, M.A. & McCALLA, G.I.: Incorporating Granularity-Based Recognition into SCENT. In: BIERMANN, D., BREUKER, J., SANDBERG, J. (eds): Artificial Intelligence and Education, Amsterdam: IOS, 1989, S. 107–115

    Google Scholar 

  37. WEBER, G., WALOSZEK, G. & WENDER, K.F., The Role of Episodic Memory in an Intelligent Tutoring System, in: SELF, J. (ed), Artificial Intelligence and Human Learning: Intelligent Computer-Aided Instruction, London: Chapman & Hall, 1989

    Google Scholar 

  38. NILSSON, N.J., Principles of Artificial Intelligence, Palo Alto, CA; Tioga Publishing Co., 1980

    Google Scholar 

  39. ABRAMSON, H. & HAHL, V., Logic Grammars, New York: Springer 1989

    Google Scholar 

  40. SABATIER, P., Quantifier Hierarchy in a Semantic Representation of Natural Language Sentences, in: V.DAHL & P.SAINT-DIZIER (eds), Natural Language Understanding and Logic Programming, North Holland, 1985 (op.cit. in [39])

    Google Scholar 

  41. LEVI, G. & SIROVICH, F., Generalized And/Or-Graphs, Artificial Intelligence, 1976, 7, 243–259

    Article  Google Scholar 

  42. LAIRD, J.E., NEWELL, A. & ROSENBLOOM, P.S., SOAR: An Architecture for General Intelligence, Artificial Intelligence, 33, 1987, 1–64

    Article  Google Scholar 

  43. HARNAD, St., Minds, Machines and Searle, Journal of Experimental and Theoretical Artificial Intelligence, 1989, 1, 5–25

    Google Scholar 

  44. NEWELL, A. & SIMON, H., Human Problem Solving, Englewood Cliffs, N.J.: Prentice Hall 1972

    Google Scholar 

  45. ERICSSON, K.A. & SIMON, H.A., Protocol Analysis: Verbal Reports as Data, Cambridge, Mass.: MIT Press, 1984

    Google Scholar 

  46. WATERMAN, D.A. & NEWELL, A., Protocol Analysis as a Task for Artificial Intelligence, Artificial Intelligence, 1971, 2, 285–318

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computational Science, University of Oldenburg, D-2900, Oldenburg, F.R.Germany

    Claus Möbus & Heinz-J. Thole

Authors
  1. Claus Möbus
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heinz-J. Thole
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Douglas H. Norrie Hans-Werner Six

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Möbus, C., Thole, HJ. (1990). 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, HW. (eds) Computer Assisted Learning. ICCAL 1990. Lecture Notes in Computer Science, vol 438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020870

Download citation

  • DOI: https://doi.org/10.1007/BFb0020870

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52699-5

  • Online ISBN: 978-3-540-47111-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics