Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel/Transitions-Netzen
Date Issued
2011-05-20
Author(s)
Supervisors
Abstract
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.
Subjects
petri nets
;
goal/transiton nets
;
agents
;
dynamic goals
;
goal-oriented behaviour
Institution
Type
Dissertation
Secondary publication
No
Language
German
File(s)![Thumbnail Image]()
Loading...
Name
00102002-1.pdf
Size
8.15 MB
Format
Adobe PDF
Checksum
(MD5):9ec938281caff49462b0fd06fd488c31