Detail výsledku

PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets

JANOUŠEK, V.; KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. p. 420-425. ISBN: 978-0-7695-3382-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Kočí Radek, Ing., Ph.D., UITS (FIT)
Mazal Zdeněk, Ing., Ph.D.
Zbořil František, doc. Ing., Ph.D., UITS (FIT)
Abstrakt

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 of the whole multi-agent system in Petri nets. The use of Petri nets is usually limited to sub-problems, such as verification of interaction protocols.
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.

Klíčová slova

modelling, BDI agent, Object Oriented Petri Nets

Rok
2008
Strany
420–425
Sborník
Proceedings of 8th ISDA
Konference
Intelligent Systems Design and Applications Conference
ISBN
978-0-7695-3382-7
Vydavatel
IEEE Computer Society
Místo
Los Alamitos
BibTeX
@inproceedings{BUT30726,
  author="Vladimír {Janoušek} and Radek {Kočí} and Zdeněk {Mazal} and František {Zbořil}",
  title="PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets",
  booktitle="Proceedings of 8th ISDA",
  year="2008",
  pages="420--425",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="978-0-7695-3382-7"
}
Projekty
Inteligentní agentní a multiagentní systémy, GAČR, Postdoktorandské granty, GP102/07/P431, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Nahoru