Title :
Intention Structures Modelling Using Object Oriented Petri Nets
Author :
Zboril, F. ; Koci, Radek
Author_Institution :
Brno Univ. of Technol., Brno
Abstract :
This paper describes an approach to the object- oriented Petri nets usage in the area of intention-based systems. We would like to contribute in the field of intention based system with a formal model approach that would bring new capabilities of simulation, analysis and verification to the area of intelligent agents and multiagent systems. It is described here how intention structures could be made if they are built as a dynamic object-oriented Petri nets model and how execution of the agent´s intention is performed in such models.
Keywords :
Petri nets; formal verification; multi-agent systems; object-oriented programming; formal model; intelligent agents; intention structures modelling; intention-based system; multiagent system; object-oriented Petri nets; system analysis; system simulation; system verification; Analytical models; Information technology; Intelligent agent; Intelligent structures; Intelligent systems; Multiagent systems; Object oriented modeling; Performance analysis; Petri nets; Protocols;
Conference_Titel :
Intelligent Systems Design and Applications, 2007. ISDA 2007. Seventh International Conference on
Conference_Location :
Rio de Janeiro
Print_ISBN :
978-0-7695-2976-9
DOI :
10.1109/ISDA.2007.97