Pour des environnements informatiques mondiaux, ouverts et dynamiques
Le projet SOCS s'est concentré sur les modèles de calcul adaptés à la description, l'analyse et la vérification des entités de calcul individuelles et collectives. Ces entités, dénommées «ordinatés» (en anglais, «computees»), interagissent dans des environnements mondiaux, ouverts et dynamiques, et peuvent constituer des organisations complexes, les sociétés. Le modèle déclaratif mis au point pour les «ordinatés» comporte une base de connaissance (K) pour le raisonnement, des objectifs (G) à atteindre ainsi que des plans (P) pour atteindre ces objectifs. Le modèle «KGP» constitue un cadre permettant aux «ordinatés» d'effectuer une synthèse de leurs raisonnements et de poursuivre leurs objectifs, lesquels peuvent être adaptés en fonction des modifications. Des compromis sont prévus pour gérer un comportement hétérogène des «ordinatés». L'utilisation du modèle de contrôle de spécifications modulaire, flexible et déclaratif KGP permet de modéliser à la fois les capacités de raisonnement et la rationalisation du comportement. Le modèle KGP contribue au développement de systèmes conviviaux, intelligents et transparents pour la gestion des activités quotidiennes et des informations électroniques. Ce projet est susceptible de déboucher sur des applications utiles dans les environnements complexes, y compris de nouvelles formes de communication et de commerce. En outre, ces nouvelles techniques permettent un accès universel aux informations disponibles sous forme électronique ainsi que leur exploitation à l'aide de dispositifs intelligents, distribués et collaboratifs. Pour de plus amples informations, consulter: http://www-lia.deis.unibo.it/Research/Projects/SOCS/
