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

PROSOCS: A platform for programming societies of intelligent, adaptable and heterogeneous software agents in a dynamic environment, and checking their conformance to protocols

PROSOCS is a platform that allows a developer to build computational logic agents interacting in a global computing environment.

PROSOCS results from the integration of two main components: SOCS-iC - which allows the programming of agents as intelligent computes, and SOCS-SI - which is a social infrastructure that allows social interactions to be verified.

Agents programmed using SOCS-iC can be deployed in a network using PROSOCS and be discovered dynamically by other PROSOCS agents, while their interactions can be verified and tested for conformance, according to rules that the developer can specify in SOCS-SI.

PROSOCS offers a number of advantages in the building of a global computing application. The logic-based development of PROSOCS agents makes the resulting application more transparent, and as a result, closer to the people who will use it. In addition, the social infrastructure of PROSOCS can test for unwanted interactions, according to formally specified rules.

The transparent and socially aware features, combined with the dynamic discovery of agents, gives PROSOCS an enormous potential for a range of applications, ranging from building flexible and smart services over ad-hoc networks (or the web) to more demanding applications such as those exemplified by ambient intelligence.

All the components of the current PROSOCS prototype have been developed using Prolog - to program the functionality of the mind and the proof-procedures that support individual and social reasoning, Java - to program the functionality of the body and the user interfaces, and the Peer-to-Peer system JXTA - to provide the functionality required for instances of components developed in SOCS-iC and SOCS-SI, to communicate and interact in an open distributed environment.

Informations connexes

Reported by

City University, Computing Department
Northampton Square
EC1V0HB London
United Kingdom
See on map