Detail výsledku

A Petri Nets Approach to Rational Agent Development

ZBOŘIL, F. A Petri Nets Approach to Rational Agent Development. Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006. Ostrava: Marq software s.r.o., 2006. p. 170-175. ISBN: 80-86840-26-3.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

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.

Klíčová slova

Rational Agents, BDI Systems, Petri Nets

Rok
2006
Strany
170–175
Sborník
Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006
Konference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006
ISBN
80-86840-26-3
Vydavatel
Marq software s.r.o.
Místo
Ostrava
BibTeX
@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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-26-3"
}
Projekty
Specifický výzkum, VUT, Vnitřní projekty VUT, SV, zahájení: 2005-01-01, ukončení: 2009-12-31, ukončen
Výzkumné skupiny
Pracoviště
Nahoru