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{BUT22370,
author="František {Zbořil}",
title="A Petri Nets Approach to Rational Agent Development",
booktitle="Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006",
year="2006",
pages="170--175",
address="Ostrava",
isbn="80-86840-26-3"
}