Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel/Transitions-Netzen
|Other Titles:||Formal Modelling of Goals and Goal-oriented Behaviour in Agent Based Systems using Goal/Transition-Nets||Authors:||Chong, Dennis||Supervisor:||Czernik, Sofie||1. Expert:||Kreowski, Hans-Jörg||2. Expert:||Czernik, Sofie||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.
|Keywords:||petri nets, goal/transiton nets, agents, dynamic goals, goal-oriented behaviour||Issue Date:||20-May-2011||URN:||urn:nbn:de:gbv:46-00102002-11||Institution:||Universität Bremen||Faculty:||FB3 Mathematik/Informatik|
|Appears in Collections:||Dissertationen|
checked on Sep 23, 2020
Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.