Service Communautaire d'Information sur la Recherche et le Développement - CORDIS


SOCS Résumé de rapport

Project ID: IST-2001-32530
Financé au titre de: FP5-IST
Pays: 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.


Tél.: +39-051-2093818
Fax: +39-051-2093073