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
|
- Accepted Version
Volltext (39Kb) |
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 |
