Entornos de computación globales, abiertos y dinámicos
El proyecto SOCS se centró en modelos computacionales pertinentes para la descripción, el análisis y la verificación de elementos individuales y agregados de entidades computacionales. Estas entidades, llamadas computados, interactúan en entornos globales, abiertos y dinámicos y pueden formar organizaciones complejas, llamadas sociedades. El modelo declarativo desarrollado para los computados incluye una fase de conocimientos (K) con la que razonar, objetivos (G) para lograr y planes (P) para lograr los objetivos. El llamado KGP ofrece un marco adecuado que permite a los computados llevar a cabo una síntesis de su razonamiento y perseguir sus objetivos, que pueden adaptarse en función de los cambios. También es posible gestionar el comportamiento heterogéneo de los computados. El uso del modelo de control de especificaciones modular, flexible y declarativo KGP permite modelar tanto las capacidades de razonamiento como el razonamiento del comportamiento. El modelo KGP contribuye al desarrollo de sistemas transparentes, inteligentes y de fácil curso para gestionar las actividades diarias y la información electrónica. Las labores del proyecto pueden tener aplicaciones útiles en entornos complejos, incluidas nuevas formas de comunicación y comercio. Asimismo, las nuevas técnicas permiten acceder de manera ubicua a información disponible en formato electrónico y su explotación a través de medios inteligentes, distribuidos y colaborativos. Para obtener más información sobre el proyecto, consulte: http://www-lia.deis.unibo.it/Research/Projects/SOCS/