Detail publikace

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: 2002. p. 163-168. ISBN: 80-85988-71-2.
Název česky
Formální modely agentních systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zbořil František, doc. Ing., Ph.D. (UITS)
Zbořil František, doc. Ing., CSc. (UITS)
Klíčová slova

Agent systems, CTL logic, BDI logic

Abstrakt

Příspěvek sje změřen na BDI logiku a na její použití při popisu agentních systémů. Příspěvek má tři kapitoly, které jsou zaměřeny na popis základních principů této logiky a vztahů mezi mentálními stavy (B, D a I) agentů a jsou zde ukázány i praktické příklady.

Rok
2002
Strany
163–168
Sborník
Proceedings of 36th International Conference MOSIS '02
Řada
Vol. I
ISBN
80-85988-71-2
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",
  address="Ostrava",
  isbn="80-85988-71-2"
}
Nahoru