W kierunku globalnych, otwartych i dynamicznych środowisk komputerowych
W projekcie SOCS skoncentrowano się na odpowiednich modelach obliczeniowych, służących do opisu, analizy i weryfikacji pojedynczych i zagregowanych jednostek obliczeniowych. Jednostki te wchodzą w interakcję w globalnych, otwartych i dynamicznych środowiskach oraz mogą tworzyć złożone struktury — społeczeństwa. Model deklaratywny opracowany na potrzeby jednostek obliczeniowych obejmuje bazę wiedzy do wnioskowania (knowledge base — K), cele do osiągnięcia (goals — G) oraz plany niezbędne do realizacji celów (P). Model KGP zapewnia jednostkom obliczeniowym odpowiednie ramy, w których możliwa jest synteza wnioskowania oraz realizacja celów z możliwością ich adaptacji do zachodzących zmian. Uwzględniono również możliwość reakcji na niejednorodne zachowanie jednostek obliczeniowych. Zastosowanie modułowego, elastycznego i deklaratywnego modelu specyfikacji KGP umożliwia modelowanie zarówno zdolności do wnioskowania, jak i wnioskowania o zachowaniu. Model KGP stanowi wkład w rozwój przyjaznych dla użytkownika, inteligentnych i transparentnych systemów zarządzania codziennymi czynnościami i informacjami elektronicznymi. Prace wykonane podczas projektu mogą zaowocować przydatnymi zastosowaniami w złożonych środowiskach, w tym nowymi formami łączności i handlu. Ponadto nowe techniki umożliwiają powszechną dostępność informacji elektronicznych oraz ich wykorzystanie za pomocą inteligentnych, rozproszonych mechanizmów opartych na współpracy. Więcej informacji na temat projektu znajduje się na stronie: http://www-lia.deis.unibo.it/Research/Projects/SOCS/