Publication 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

conference paper

Language

en

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

RIV year

2002

Released

24.04.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

Documents

BibTex


@inproceedings{BUT9826,
  author="František {Zbořil} and František {Zbořil}",
  title="Formal Models of Agent Systems",
  annote="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.",
  booktitle="Proceedings of 36th International Conference MOSIS '02",
  chapter="9826",
  edition="Vol. I",
  year="2002",
  month="april",
  pages="163--168",
  type="conference paper"
}