Schröder, Olaf and Möbus, Claus and Pitschke, Knut (1993) Designing Help for Viewpoint Centered Planning of Petri Nets. In: Artificial Intelligence in Education, Proceedings of AI-ED 93. Proceedings of AI-ED . Association for the Advancement of Computing in Education (AACE), Charlottesville, VA, USA, pp. 370-377. ISBN 1-880094-08-8
|
- Accepted Version
Volltext (55Kb) |
Abstract
PETRI-HELP supports novices in learning to model with condition-event Petri nets. It is based on a theoretical framework recommending that a help system should offer help, let the learner use pre-knowledge, and support different problem solving levels. In PETRI-HELP the learner creates Petri nets for given tasks, test hypotheses about the solutions or fragments of them, and receive feedback, completions, and correction proposals. This help refers to Petri net places, transitions, and links. It does not yet support planning, i.e., creating an abstract solution idea and postponing implementation decisions, as recommended by the theory and by our empirical work. This paper describes an approach to support planning within PETRI-HELP. It is based on transformation rules (Olderog, 1991) for the systematical derivation of a Petri net from a specification composed of viewpoints of different agents. Applying this approach to PETRI-HELP will enable the learner to propose solution ideas, test hypotheses, and get help on an abstract "goal level".
| Item Type: | Book Section |
|---|---|
| Uncontrolled Keywords: | PETRI-HELP, Intelligent Problem-Solving Environment, help system, Condition-event Petri nets, Hypothesis Testing, Completions, Feedback, Correction proposals, Transformation Rules, solution proposals, Goal level |
| 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:17 |
| Last Modified: | 10 Sep 2015 11:17 |
| URI: | https://oops.uni-oldenburg.de/id/eprint/2326 |
| URN: | urn:nbn:de:gbv:715-oops-24073 |
| DOI: | 10.13140/2.1.2807.6329 |
| Nutzungslizenz: |
Actions (login required)
 |
View Item |
