Článek ve sborníku konference

 
Zbořil, F., Zbořil, F., V.: Formal Models of Agent Systems, In: Proceedings of 36th International Conference MOSIS '02, Ostrava, CZ, MARQ, 2002, s. 163-168, ISBN 80-85988-71-2
Jazyk publikace:angličtina
Název publikace:Formal Models of Agent Systems
Název (cs):Formální modely agentních systémů
Strany:163-168
Sborník:Proceedings of 36th International Conference MOSIS '02
Konference:36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems
Řada knih:Vol. I
Místo vydání:Ostrava, CZ
Rok:2002
ISBN:80-85988-71-2
Vydavatel:MARQ
Klíčová slova
Agent systems, CTL logic, BDI logic
Anotace
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.
Abstrakt
The paper is focused on the BDI logic and its usage to descriptions of agent systems. The main three chapters of the paper deal with BDI logic (basic principles), with Relations among B, D and I agent mental states and with Example of BDI logic usage.
BibTeX:
@INPROCEEDINGS{
   author = {František Zbořil and V. František Zbořil},
   title = {Formal Models of Agent Systems},
   pages = {163--168},
   booktitle = {Proceedings of 36th International Conference MOSIS '02},
   series = {Vol. I},
   year = {2002},
   location = {Ostrava, CZ},
   publisher = {},
   ISBN = {80-85988-71-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6902}
}