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