Publication Details
A Petri Nets Approach to Rational Agent Development
Rational Agents, BDI Systems, Petri Nets
Systems with rational agents and area of formal models based on Petri Nets have both an impact onto the area of distributed systems. In our opinion there are some reasons why these two subjects meet rarely than they deserve. While the first one rises from the fields of artificial intelligence and experiment often with hypothesis and products of psychology and philosophy the second one is strictly defined system purposed mainly for model checking, protocol verification and other formal purposes. In this text we examine possible usage of the PN systems for development of rational agents. There is shown some idea of installation of the PN models into BDI based agent architecture and some problems and possible solutions are delineated here too.
@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" }