Detail publikace

Formal Models of Agent Systems

ZBOŘIL, F., ZBOŘIL, F.

Originální název

Formal Models of Agent Systems

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

The paper deals with modelling of agent systems. It shows an approach to creating formal models of these systems by using BDI logic. BDI logic is probably the most popular tool for formal definition of agent systems and it has been applied in several systems based on the agent technology. The subject has been widely studied in recent years. There are provided descriptions of BDI syntax and semantic together with an example of usage of this logic.

Klíčová slova

Agent systems, CTL logic, BDI logic

Autoři

ZBOŘIL, F., ZBOŘIL, F.

Rok RIV

2002

Vydáno

24. 4. 2002

Místo

Ostrava

ISBN

80-85988-71-2

Kniha

Proceedings of 36th International Conference MOSIS '02

Edice

Vol. I

Strany od

163

Strany do

168

Strany počet

6

BibTex

@inproceedings{BUT9826,
  author="František {Zbořil} and František {Zbořil}",
  title="Formal Models of Agent Systems",
  booktitle="Proceedings of 36th International Conference MOSIS '02",
  year="2002",
  series="Vol. I",
  pages="163--168",
  address="Ostrava",
  isbn="80-85988-71-2"
}