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

[img]
Preview
- Accepted Version

Volltext (55Kb)
Official URL: https://www.researchgate.net/publication/272758253...

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 View Item

Document Downloads

More statistics for this item...