Möbus, Claus and Thole, Heinz-Jürgen and Schröder, Olaf (1993) Diagnosis of Intentions and Interactive Support of Planning in a Functional, Visual Programming Language. In: Simulation-Based Experiential Learning. NATO ASI Series, Series F: Computer and Systems Sciences (122). Springer, Berlin-Heidelberg, pp. 61-76. ISBN 978-3-642-78539-9

Preview

- Published Version Volltext (3422Kb)

Abstract

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. lt 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. According to our theory, the use of these nodes is an indicator of the planner's intentions. They have to be replaced later by runnable ABSYNT operators or program trees. Furthermore the learner can test hypotheses about the correctness of ABSYNT programs containing operator and goal nodes. The planning component of ABSYNT rests on a sound transformation approach that enables the derivation of functional programs from specifications. The ABSYNT goal nodes are derived from corresponding transformational rules. Though the transformation approach is technically sound it is not accessible to novices and sometimes even to experts. By offering goal nodes for hypotheses testing in the problem solving phases of deliberating and planning, we hope to make derivational programming accessible even to beginners at very early stages of expertise.

Item Type:	Book Section
Uncontrolled Keywords:	Intention Diagnosis, Transformational Programming, Hypothesis Testing, Support of planning and deliberation, ABSYNT, Intelligent Problem Solving Environment, Functional Programming, Intelligent learning environment, user-adapted help, Transformation Rules, 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:	11 Sep 2015 08:06
Last Modified:	11 Sep 2015 08:06
URI:	https://oops.uni-oldenburg.de/id/eprint/2338
URN:	urn:nbn:de:gbv:715-oops-24192
DOI:	10.1007/978-3-642-78539-9_5
Nutzungslizenz:

Actions (login required)

View Item