Detail publikace
A Petri Nets Approach to Rational Agent Development
Racionální agenti, BDI systémy, Petriho sítě
Systémy s racionálními agenty stejně jako formální modely založené na Petriho sítích mají dopad na oblast distribuovaných systémů. Podle našeho mínění se tyto dva přístupy setkávají méně, než by bylo vhodné, a to zejména ze dvou důvodů. Zatímco racionální agenti jsou tématem výzkumu většinou ve skupinách spjatých s umělou inteligencí a jsou zde zkoušeny poznatky i z oborů jakými jsou filosofie nebo psychologie, Petriho sítě jsou přesně matematicky definovány a určeny pro verifikace a jiné formální metody. V předloženém textu zkoumáme možnost propojení těchto dvou směrů. Je zde ukázána myšlenka možné implementace tzv. BDI systémů ve formě Petriho sítí a jsou zde také nastíněny možné problémy a úkoly k dalšímu řešení.
@INPROCEEDINGS{FITPUB8156,
author = "Franti\v{s}ek Zbo\v{r}il",
title = "A Petri Nets Approach to Rational Agent Development",
pages = "170--175",
booktitle = "Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006",
year = 2006,
location = "Ostrava, CZ",
ISBN = "80-86840-26-3",
language = "english",
url = "https://www.fit.vut.cz/research/publication/8156"
}