Formal ReSpecT


Andrea Omicini, Enrico Denti

Agostino Dovier, Maria Chiara Meo, Andrea Omicini (eds.)
Declarative Programming - Selected Papers from AGP 2000, pages 179-196
Electronic Notes in Theoretical Computer Science 48
June 2001

Logic-based languages have already proved to be effective to build individual agents and to enable inter-agent communication in multi-agent systems. Also, logic tuple centres have shown that logic-based languages can be effectively exploited to rule inter-agent communication so as to build social behaviours. In this paper, we formally define the notion of logic tuple centre as well as the operational semantics of the logic-based language ReSpecT for the behaviour specification of logic tuple centres. For this purpose, we exploit a formal framework for asynchronous systems allowing coordination media to be represented in a separate and independent way with respect to the coordinated entities. As a by-product, this shows that a logic-based approach may be effectively exploited for the coordination of heterogeneous agents of different sorts and technologies.

Publication

— authors

— editors

Agostino Dovier, Maria Chiara Meo, Andrea Omicini

— status

published

— sort

paper in proceedings

— publication date

June 2001

— volume

Declarative Programming - Selected Papers from AGP 2000

— series

Electronic Notes in Theoretical Computer Science

— volume

48

— pages

179-196

URLs

original page

identifiers

— DOI

10.1016/S1571-0661(04)00156-2

— IRIS

11585/903186

— Scopus

2-s2.0-0001384925

— print ISSN

1571-0661

— print ISBN

0-444-50916-X

notes

— note

Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000

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