Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel/Transitions-Netzen
Veröffentlichungsdatum
2011-05-20
Autoren
Betreuer
Gutachter
Zusammenfassung
There are several attempts to model agent-based systems with different advantages and disadvantages. Especially the modelling of goals is a challenge, because goals can change during the run time of an agent (dynamic goals). Hence, they have to be considered as dynamic elements in the model. To support the modelling of agent-based systems with dynamic goals, this work introduces the class of goal/transition nets. The idea relies on predicate/transition nets, a common variant of High-Level Petri nets. For the representation of system runs, protocol nets are used. By using protocol nets, both goals and states can be represented in one context, so that their interrelation can be analyzed. In this way, it is possible to formalize goal-oriented behaviour.
Schlagwörter
petri nets
;
goal/transiton nets
;
agents
;
dynamic goals
;
goal-oriented behaviour
Institution
Fachbereich
Dokumenttyp
Dissertation
Zweitveröffentlichung
Nein
Sprache
Deutsch
Dateien![Vorschaubild]()
Lade...
Name
00102002-1.pdf
Size
8.15 MB
Format
Adobe PDF
Checksum
(MD5):9ec938281caff49462b0fd06fd488c31