Logic Tuple Spaces for the Coordination of Heterogeneous Agents

@talk{acltfrocos1996,
    abstract = {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.},
    address = {Munich, Germany},
    apice = {AcltFrocos1996},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Marco Venuti},
    date = {1996-03-28},
    howpublished = {FroCoS 1996},
    language = {en},
    month = mar,
    sort = {talk},
    speaker = {Omicini, Andrea},
    title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
    type = {Talk},
    year = 1996
}