Willms, Janine and Göhler, Hermann and Möbus, Claus (1997) Testing Hypothesis in an Engineering Domain: Combining Static and Dynamic Analysis of Pneumatic Circuits. In: Artificial Intelligence in Education: Knowledge and Media in Learning Systems. IOS Press, Amsterdam, pp. 680-682. ISBN 90-5199-353-6

[img]
Preview
- Accepted Version

Volltext (39Kb)
Official URL: http://iaied.org/conf/event/8/

Abstract

We want to describe the design of PULSE (Pneumatic Learning and Simulation Environment), an Intelligent Problem Solving Environment (IPSE) for pneumatic circuits based on a cognitive theory of knowledge acquisition (ISP-DL-Theory). PULSE offers tasks given as a textual description and a time-discrete kind of a distance-time diagram. It supports unconstrained design of pneumatic circuits. PULSE offers the possibility to test hypotheses about the correctness of student's proposals. This is achieved by combination of static and dynamic analysis. Dynamic analysis is done by model-checking and static analysis by abductive concept-based explanations. The dynamic analysis method is a complete procedure for checking the correctness of full-functioning circuits. But, because model-checking does not support early problem-solving phases (e.g. deliberation) there is a need for static analysis despite the fact that this is not complete.

Item Type: Book Section
Uncontrolled Keywords: Pulse, Pneumatic Learning and Simulation Environment, Intelligent Problem Solving Environment, IPSE, cognitive theory of knowledge acquisition, ISP-DL-Theory, test of hypotheses, combination of static and dynamic analysis, Model-checking, abductive concept-based explanations, checking the correctness
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: 09 Sep 2015 08:57
Last Modified: 08 Oct 2015 08:11
URI: https://oops.uni-oldenburg.de/id/eprint/2130
URN: urn:nbn:de:gbv:715-oops-22115
DOI: 10.13140/2.1.2287.3924
Nutzungslizenz:

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...