Publication detail

Formal Models of Agent Systems

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

Original Title

Formal Models of Agent Systems

Type

conference paper

Language

English

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.

Keywords

Agent systems, CTL logic, BDI logic

Authors

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

RIV year

2002

Released

24. 4. 2002

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",
  address="Ostrava",
  isbn="80-85988-71-2"
}