Detail publikace

Formal Models of Agent Systems

Originální název

Formal Models of Agent Systems

Anglický název

Formal Models of Agent Systems

Jazyk

en

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.

Anglický 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.

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"
}