Logic Tuple Spaces for the Coordination of Heterogeneous Agents


Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti

Franz Baader, Klaus U. Schulz (eds.)
Frontiers of Combining Systems, pages 147–160
Applied Logic Series 3
Kluwer Academic Publishers
1996

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.

Journals & Series

Publication

— authors

— editors

Franz Baader, Klaus U. Schulz

— status

published

— sort

paper in proceedings

— publication date

1996

— volume

Frontiers of Combining Systems

— series

Applied Logic Series

— volume

3

— pages

147–160

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

notes

— note

1st International Workshop (FroCoS'96), Munich, Germany, 26-29 March 1996. Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY