Logic Tuple Spaces for the Coordination of Heterogeneous Agents


Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti

Frontiers of Combining Systems, pages 147-160
Applied Logic Series 3,  1996
Kluwer Academic Publishers
Franz Baader, Klaus U. Schulz (eds.)
1st International Workshop (FroCoS'96), Munich, Germany, 26-29 March 1996. Proceedings

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.

 @incollection{aclt-frocos96,
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

Journals & Series

Publication

— authors

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti

— editors

Franz Baader, Klaus U. Schulz

— status

published

— sort

paper in proceedings

Venue

— volume

Frontiers of Combining Systems

— series

Applied Logic Series

— volume

3

— pages

147-160

— publication date

1996

Identifiers

— DOI

10.1007/978-94-009-0349-4_12

— WoS / ISI

A1996BH48J00012

— print ISSN

1386-2790

— print ISBN

978-94-010-6643-3

— online ISBN

978-94-009-0349-4

— ISBN–10

0-7923-4271-2

BibTeX

— BibTeX ID
aclt-frocos96
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY