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" }