Pitschke, Knut and Schröder, Olaf and Möbus, Claus (1995) Erklärungsgenerierung in Petri-Help. In: GISI 95, Herausforderungen eines globalen Informationsverbundes für die Informatik. Theoretical Computer Science, Informatik Aktuell . Springer, Berlin-Heidelberg, pp. 304-313. ISBN 3-540-60213-5

Preview

- Published Version Volltext (2526Kb)

Abstract

In Petri-Help haben Hilfen die Form von Modifikationsvorschlägen (Ergänzungs, oder Korrektvorschläge) seitens des Systems. Sie werden sowohl auf Planungsebene (Auswahl eines nächsten zu realisierenden Teilzieles) als auch auf Realisierungsebene (Petri-Netz Ebene) angeboten. Die Betonung liegt hierbei auf "angeboten", denn das System unterbricht den Lernenden nicht. Hilfestellung wird nur auf ausdrücklichen Wunsch des Benutzers bereitgestellt. Die Hilfen basieren auf einer Vorhersage des Benutzerverhaltens die sich auf ein Benutzungsmodell und individuelle Kriterien des jeweiligen Benutzers stützt. Die in den Hilfen dargebotene Information bedarf in der Regel einer Erklärung. So ist es einem Lehrnenden nicht unbedingt einsichtig warum er seinen Netzentwurf gerade um diejenige Stelle ergänzen soll, die ihm das System vorschlägt oder warum er ein bestimmtes Ziel (vorgegeben durch eine temporallogische Formel der Spezifikation) verfolgen soll. Desweiteren kann bei Fehlermeldungen nach Hypothesentesten (Auswahl und Überprüfung von Spezifikationsformeln auf dem Netzentwurf Erklärungsbedarf entstehen. Hierbei ist eine Begründung erforderlich warum eine als fehlerhaft klassifizierte Formel auf dem aktuellen Netzentwurf nicht erfüllt ist.

Item Type:	Book Section
Uncontrolled Keywords:	PETRI-HELP, Hilfen, Hilfegenerierung, Modifikationsvorschäge, Vorschläge, Planungsebene, Realisierungsebene, Hilfestellung, Petrinetz, Petri Net, Verhaltensvorhersage, Benutzungsmodell, Benutzermodell, Netzentwurf, Erklärung, Hypothesentesten, Begründung, Testen von Hypothesen
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 10:15
Last Modified:	10 Sep 2015 10:15
URI:	https://oops.uni-oldenburg.de/id/eprint/2247
URN:	urn:nbn:de:gbv:715-oops-23283
DOI:	DOI: 10.13140/2.1.3466.8325
Nutzungslizenz:

Actions (login required)

View Item