Granty

Kierownik grantu

prof. dr hab. inż. Wojciech Penczek

Lista wykonawców

dr Artur Niewiadomski, dr Jarosław Skaruz, dr Agata Półrola, dr Mariusz Jarocki, dr Maciej Szreter, dr Łukasz Mikulski

Okres realizacji

od 2011-12-27 do 2015-04-26

Opis grantu

Rozwój sieci Internet zmienił sposoby osiągania złożonych celów, realizowanych poprzez współdziałanie wielu usługobiorców i usługodawców. Mało sformalizowane kontakty przez pocztę elektroniczną zostały zastąpione najpierw przez interakcję użytkowników z serwisami WWW, a następnie przez wymianę danych między aplikacjami kooperujących podmiotów. Następnym naturalnym etapem jest automatyzacja budowy planów złożonych przedsięwzięć (np. budowa domu, podróż dookoła świata) oraz znajdowanie optymalnych ofert dla usług z tych planów, pochodzących z Internetu.
System PlanICS, rozwijany w projekcie badawczym, realizuje ten cel, poprzez rozwiązanie kilka kluczowych problemów. Pierwszy problem to brak jednolitej semantyki usług udostępnianych w sieci, co uniemożliwia ich automatyczne współdziałanie. Proponowane rozwiązanie w odróżnieniu od istniejących pozwala na budowanie ontologii dziedzinowych i rejestru usług, które nie muszą opisywać całego świata dostępnych usług, pozwalając integratorowi na rozwiązywanie tylko interesującej go klasy zadań, na przykład związanych z danym sektorem przemysłu czy usług. Pokazujemy, że bazę wiedzy (ontologię) o usługach sieciowych, dostarczającą informacje niezbędne do automatyzacji procesu planowania każdy integrator takich usług może zbudować sam, bez konieczności modyfikacji istniejących interfejsów sieciowych po stronie kooperantów.

Problem wnioskowania w powyższym systemie wiedzy związany jest z wykładniczą eksplozją liczby możliwych rozwiązań, a także dynamiką informacji. Oferty usługodawców są nie tylko zmienne w czasie, ale również zależne od (potencjalnie nieznanych) kontekstów, których odkrycie jest możliwe poprzez zapytania ofertowe. Zatem, PlanICS realizuje koncepcję planowania wielofazowego, a moduły planujące wykorzystują najnowsze metody ze sztucznej inteligencji, jak algorytmy genetyczne i symboliczne kodowanie poprzez translację do problemu spełnialności formuł logicznych. Wielofazowość połączona z efektywnością tych metod gwarantuje skuteczność procesu planowania, zarówno na poziomie planowanie abstrakcyjnego w typach (“jak to zrobić”) jak i konkretnego w usługach (“z kim można zrobić to optymalnie”). Każdy etap planowania wymagał rozwiązania specyficznych problemów. Na przykład przy planowaniu abstrakcyjnym ważna była konstrukcja algorytmów umożliwiających znajdowanie istotnie różnych rozwiązań, do czego przyczyniło się opracowanie metody kompaktowej reprezentacji planów abstrakcyjnych, bazującej na koncepcji wielo-zbiorów i porządków częściowych.

Głównym wynikiem projektu jest opracowanie i zastosowanie, dla dwóch faz planowania, algorytmów hybrydowych będących pomysłowym rozwiązaniem łączącym szybkość algorytmów genetycznych z precyzją rozwiązań bazujących na testowaniu problemu spełnialności formuł. Ponadto, została opracowana nowatorska metoda parametrycznego planowania, w której system podpowiada modyfikacje zapytania w celu uzyskania planu. Wyniki zostały opisane w licznych publikacjach oraz wykorzystane w modułach systemu PlanICS.