Detail publikace

Modelling intelligent agents for autonomic computing in the PNagent framework

MAZAL, Z. KOČÍ, R. JANOUŠEK, V. ZBOŘIL, F.

Originální název

Modelling intelligent agents for autonomic computing in the PNagent framework

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

Petri nets have proven to be a valuable tool for modelling concurrent 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 the modelling of the whole multi-agent system in Petri nets. The use of Petri nets is usually limited to subproblems such as the verification of interaction protocols. This paper describes the main concepts of PNagent - a tool for modelling Believe-Desire-Intention (BDI) agents using the formalism of Object-Oriented Petri Nets (OOPN). PNagent allows for developing, 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, thanks to the formal nature of its underlying paradigm, it provides the means to verify an agent's properties. Thanks to its consistent environment and the high-level nature of the used formalism, the framework is also suitable for incorporating the ideas of autonomic computing.

Klíčová slova

system modelling, agent systems, model-based design, programming languages

Autoři

MAZAL, Z.; KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F.

Rok RIV

2009

Vydáno

9. 4. 2009

ISSN

1741-8569

Periodikum

International Journal of Autonomic Computing

Ročník

1

Číslo

2

Stát

Spojené království Velké Británie a Severního Irska

Strany od

121

Strany do

139

Strany počet

19

BibTex

@article{BUT47971,
  author="Zdeněk {Mazal} and Radek {Kočí} and Vladimír {Janoušek} and František {Zbořil}",
  title="Modelling intelligent agents for autonomic computing in the PNagent framework",
  journal="International Journal of Autonomic Computing",
  year="2009",
  volume="1",
  number="2",
  pages="121--139",
  issn="1741-8569"
}