Logic and Artificial Intelligence for Multi-Agent Systems
Marie Duží, Daniela Ďuráková, Pavel Děrgel, Petr Gajdoš, Jaroslav Müller · 2006
The project Logic and Artificial Intelligence for Multi-Agent Systems is briefly described and its structure is specified. First we introduce the underlying logical framework---the Transparent Intensional Logic (TIL). Then we provide a description of particular problem areas, viz. knowledge representation including geographical data, languages apt for agents communication, and process management. Finally, future research and trends are specified.