Publication Details

Formal Models of Agent Systems

ZBOŘIL František and ZBOŘIL František V.. Formal Models of Agent Systems. In: Proceedings of 36th International Conference MOSIS '02. Vol. I. Ostrava, 2002, pp. 163-168. ISBN 80-85988-71-2.

Czech title

Formální modely agentních systémů

Type

conference paper

Language

english

Authors

Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT)
Zbořil František V., doc. Ing., CSc. (DITS FIT BUT)

Keywords

Agent systems, CTL logic, BDI logic

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.

Annotation

The paper is focused on the BDI logic and its usage to descriptions of agent systems. The main three chapters of the paper deal with BDI logic (basic principles), with Relations among B, D and I agent mental states and with Example of BDI logic usage.

Published

2002

Pages

163-168

Proceedings

Proceedings of 36th International Conference MOSIS '02

Series

Vol. I

Conference

36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems , Rožnov pod Radhoštěm, CZ

ISBN

80-85988-71-2

Place

Ostrava, CZ

BibTeX

@INPROCEEDINGS{FITPUB6902,
   author = "Franti\v{s}ek Zbo\v{r}il and V. Franti\v{s}ek Zbo\v{r}il",
   title = "Formal Models of Agent Systems",
   pages = "163--168",
   booktitle = "Proceedings of 36th International Conference MOSIS '02",
   series = "Vol. I",
   year = 2002,
   location = "Ostrava, CZ",
   ISBN = "80-85988-71-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6902"
}