Publication detail
Modelling intelligent agents for autonomic computing in the PNagent framework
MAZAL, Z. KOČÍ, R. JANOUŠEK, V. ZBOŘIL, F.
Original Title
Modelling intelligent agents for autonomic computing in the PNagent framework
English Title
Modelling intelligent agents for autonomic computing in the PNagent framework
Type
journal article - other
Language
en
Original Abstract
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.
English abstract
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.
Keywords
system modelling, agent systems, model-based design, programming languages
RIV year
2009
Released
09.04.2009
Publisher
NEUVEDEN
Location
NEUVEDEN
ISBN
1741-8569
Periodical
International Journal of Autonomic Computing
Year of study
1
Number
2
State
GB
Pages from
121
Pages to
139
Pages count
19
Documents
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",
annote="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.",
address="NEUVEDEN",
chapter="47971",
edition="NEUVEDEN",
howpublished="print",
institution="NEUVEDEN",
journal="International Journal of Autonomic Computing",
number="2",
volume="1",
year="2009",
month="april",
pages="121--139",
publisher="NEUVEDEN",
type="journal article - other"
}