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
fDate :
30 Sept.-4 Oct. 2003
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;
Conference_Titel :
Integration of Knowledge Intensive Multi-Agent Systems, 2003. International Conference on
Print_ISBN :
0-7803-7958-6
DOI :
10.1109/KIMAS.2003.1245023
