PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU78074" target="_blank" >RIV/00216305:26230/08:PU78074 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Popis výsledku v původním jazyce
Petri nets have proven to be a valuable tool for modelling concurent systems. As such they should be suitable for modelling agent and multi-agent systems, as these are inherently concurrent. Nevertheless there are not many systems that allow modelling ofthe whole multi-agent system in Petri nets. The use of Petri nets is usually limited to sub-problems, such as verification of interaction protocols. <br>This paper describes the main concepts of PNagent -- a tool for modelling BDI agents using the formalism of Object Oriented Petri Nets (OOPN). PNagent allows development, testing and running software agents in a consistent graphical environment. The framework is suitable for prototyping and experiments with both multi-agent applications and the particular agent architecture itself. At the same time, thank to the formal nature of its underlying paradigm, it provides means for verification of agent's properties.
Název v anglickém jazyce
PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
Popis výsledku anglicky
Petri nets have proven to be a valuable tool for modelling concurent systems. As such they should be suitable for modelling agent and multi-agent systems, as these are inherently concurrent. Nevertheless there are not many systems that allow modelling ofthe whole multi-agent system in Petri nets. The use of Petri nets is usually limited to sub-problems, such as verification of interaction protocols. <br>This paper describes the main concepts of PNagent -- a tool for modelling BDI agents using the formalism of Object Oriented Petri Nets (OOPN). PNagent allows development, testing and running software agents in a consistent graphical environment. The framework is suitable for prototyping and experiments with both multi-agent applications and the particular agent architecture itself. At the same time, thank to the formal nature of its underlying paradigm, it provides means for verification of agent's properties.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2008
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 8th ISDA
ISBN
978-0-7695-3382-7
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
IEEE Computer Society
Místo vydání
Los Alamitos
Místo konání akce
Kaohsiung City
Datum konání akce
26. 11. 2008
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—