Logic Tuple Spaces for the Coordination of Heterogeneous Agents

Last modified by Andrea Omicini on 2020/12/14 11:15

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti

This work presents ACLT, a coordination model aimed to combine and coordinate heterogeneous agents by means of a communication abstraction inspired to the Linda model, but rooted in a logic framework. The twofold interpretation of a logic tuple space both as a message and as a knowledge repository naturally induces a categorisation of agents as logic and non-logic. While non-logic agents adopt the basic Linda kernel, logic agents exploit the full power of the ACLT model, which supports deduction and reasoning over the content of the tuple space. By providing a conceptual framework where logic inference and temporal tuple space evolution coexist, ACLT provides a suitable environment to build heterogeneous multi-agent systems, where hybrid agent architectures can be designed, integrating reasoning capabilities together with reactive behaviours.

Frontiers of Combining Systems, Applied Logic Series 3, pages 147-160, 1996.
Franz Baader, Klaus U. Schulz (eds.), Kluwer Academic Publishers
1st International Workshop (FroCoS'96), Munich, Germany, 26-29 March 1996. Proceedings
Author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
Booktitle = {Frontiers of Combining Systems},
Doi = {10.1007/978-94-009-0349-4_12},
Editor = {Baader, Franz and Schulz, Klaus U.},
Isbn = {978-94-010-6643-3},
Isbn-Online = {978-94-009-0349-4},
Isbn-10 = {0-7923-4271-2},
Issn = {1386-2790},
Note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
Pages = {147--160},
Publisher = {Kluwer Academic Publishers},
Series = {Applied Logic Series},
Title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
Volume = 3,
WosId = {A1996BH48J00012},
Year = 1996}



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna