Detail výsledku

Formal Models of Agent Systems

ZBOŘIL, F.; ZBOŘIL, F. Formal Models of Agent Systems. Proceedings of 36th International Conference MOSIS '02. Vol. I. Ostrava: Marq software s.r.o., 2002. p. 163-168. ISBN: 80-85988-71-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zbořil František, doc. Ing., Ph.D., FIT (FIT)
Zbořil František, doc. Ing., CSc.
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.

Klíčová slova

Agent systems, CTL logic, BDI logic

Rok
2002
Strany
163–168
Sborník
Proceedings of 36th International Conference MOSIS '02
Řada
Vol. I
Konference
36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems
ISBN
80-85988-71-2
Vydavatel
Marq software s.r.o.
Místo
Ostrava
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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-71-2"
}
Projekty
Inteligentní systémy - příprava předmětu, FR1834/2002/F1, zahájení: 2002-04-16, ukončení: 2002-12-31, ukončen
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina inteligentních systémů (VZ INTSYS)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru