Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

FP5

SOCS Informe resumido

Project ID: IST-2001-32530
Financiado con arreglo a: FP5-IST
País: Italy

A logic-based model for the formal description of interaction protocols in multi-agent systems

The formal, logic-based model for a society of agents (named computes) focuses on the interactions among computes, and leads to the definition of a Computational Logic-based architecture for compute interactions.

In particular, a layered architecture has been proposed, where the society defines the allowed interaction protocols, which determine the socially allowed compute interaction patterns. The semantics of protocols and of the Agent Communication Language (ACL) are defined in a uniform way by means of Social Integrity Constraints.

The main advantages of this formal approach are in the design of societies of computes, in the possibility to detect undesirable behaviour, and in the possibility to formally reason upon the specifications of such a framework, and to understand its own limits and potential.

Contacto

Paola MELLO
Tel.: +39-051-2093818
Fax: +39-051-2093073
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba