Modelling intelligent agents for autonomic computing in the PNagent framework

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82592" target="_blank" >RIV/00216305:26230/09:PU82592 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Modelling intelligent agents for autonomic computing in the PNagent framework
Original language description
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
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)