DocumentCode
398188
Title
Automata theory for multi-agent systems implementation
Author
Naumov, Lev ; Shalyto, Anatoly
Author_Institution
Dept. of Comput. Sci., Saint-Peterburg State Inst. of Fine Mech. & Opt., Russia
fYear
2003
fDate
30 Sept.-4 Oct. 2003
Firstpage
65
Lastpage
70
Abstract
We show that automata theory can be useful for engineering, developing and documenting multiagent systems. Algorithmization and programming principles for logic control are formulated, regarding algorithms and programs as finite automata.
Keywords
finite automata; formal specification; multi-agent systems; programmable controllers; system documentation; finite automata theory; formal specification; logic control algorithmization; logic control programming principles; multiagent systems; program documentation; Automata; Automatic control; Automatic programming; Computer languages; Control systems; Hardware; IEC standards; Logic programming; Multiagent systems; Object oriented programming;
fLanguage
English
Publisher
ieee
Conference_Titel
Integration of Knowledge Intensive Multi-Agent Systems, 2003. International Conference on
Print_ISBN
0-7803-7958-6
Type
conf
DOI
10.1109/KIMAS.2003.1245023
Filename
1245023
Link To Document