Publication result detail

Formal Models of Agent Systems

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

Original Title

Formal Models of Agent Systems

English Title

Formal Models of Agent Systems

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

Agent systems, CTL logic, BDI logic

Key words in English

Agent systems, CTL logic, BDI logic

Authors

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

Released

24.04.2002

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-85988-71-2

Book

Proceedings of 36th International Conference MOSIS '02

Edition

Vol. I

Pages from

163

Pages to

168

Pages count

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-71-2"
}