Publication result detail

A Petri Nets Approach to Rational Agent Development

ZBOŘIL, F.

Original Title

A Petri Nets Approach to Rational Agent Development

English Title

A Petri Nets Approach to Rational Agent Development

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

Rational Agents, BDI Systems, Petri Nets

Key words in English

Rational Agents, BDI Systems, Petri Nets

Authors

ZBOŘIL, F.

Released

05.09.2006

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-86840-26-3

Book

Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006

Pages from

170

Pages to

175

Pages count

6

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