The Community for Technology Leaders
Parallel Computing in Electrical Engineering, 2004. International Conference on (2002)
Warsaw, Poland
Sept. 22, 2002 to Sept. 25, 2002
ISBN: 0-7695-1730-7
pp: 82
Magdalena Kacprzak , Technical University of Bialystok
ABSTRACT
The paper presents new formal language for describing multiagent systems, which are collections of interacting, autonomous agents. The research work includes the description of the fundamental features of agents (processes) as well as the way they communicate with each other. The language defined in the paper allows describing the properties of systems such as deadlock, termination, and fairness. Two main results are presented for the defined logic: non-compactness of the semantic conse quence relation and the lack of the deduction theorem. The article is an introducion to further research.
INDEX TERMS
null
CITATION
Magdalena Kacprzak, "Formalization of Multiagent Reasoning", Parallel Computing in Electrical Engineering, 2004. International Conference on, vol. 00, no. , pp. 82, 2002, doi:10.1109/PCEE.2002.1115206
93 ms
(Ver 3.3 (11022016))