Möbus, Claus and Thole, Heinz-Jürgen and Schröder, Olaf (1993) Interactive Support of Planning in a Functional, Visual Programming Language. In: Proceedings AI-ED 93. World Conference on Artificial Intelligence and Education, 1993 . Association for the Advancement of Computing in Education (AACE), Charlottesville, VA, USA, pp. 362-369. ISBN 1-880094-08-8

- Accepted Version

Volltext (112Kb)


Based on a theoretical framework of problem solving and knowledge acquisition, criteria for intelligent knowledge communication systems and help design are described. The ABSYNT Problem Solving Monitor for the acquisition of basic functional programming concepts in a visual language is designed according to these criteria. It incorporates hypotheses testing of solution proposals, and a learner model is designed to supply user-adapted help. New is a third feature, which is presented in this paper: Planning programs with goal nodes. The learner can develop solution plans by postponing their implementation, and it is possible to test hypotheses with partial plans and with "mixed trees", existing of operator and goal nodes. The planning component of ABSYNT rests on a sound transformation approach (Bauer et al., 1987) that enables the derivation of functional programs from specifications. We hope to make derivational programming accessible even to beginners in very early stages of expertise.

Item Type: Book Section
Uncontrolled Keywords: Problem Solving Monitor, ABSYNT, Intelligent Problem-Solving Environment, Functional Programming, visual programming language, Hypothesis Testing, solution proposals, Learner model, user-adapted help, goal nodes, solution plans, partial plans, mixed trees, planning component, transformation approach, derivation of programs, derivational programming
Subjects: Generalities, computers, information > Computer science, internet
Philosophy and psychology > Psychology
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 10 Sep 2015 11:12
Last Modified: 10 Sep 2015 11:12
URI: https://oops.uni-oldenburg.de/id/eprint/2305
URN: urn:nbn:de:gbv:715-oops-23866
DOI: DOI: 10.13140/2.1.1022.8004

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...