Institute seminar:

Zaprezentujemy nową metodę redukcji przestrzeni planów w dziedzinie obiektowej. Pierwotną motywacją naszej pracy była chęć usprawnienia syntezy zbioru wszystkich sposobów kompozycji usług sieciowych w ramach systemu PlanICS. W uproszczonej, abstrakcyjnej wersji, kompozycja usług zakłada iż żadne obiekty nie są zużywane: np. zasoby spożytkowane w celu wyprodukowania pojazdu mogą posłużyć produkcji kolejnego. Jak się okazuje, pozwala to na liniową i monotoniczną reprezentację planów kompozycji. Pokazujemy, jak dokonać w uproszczonej, liniowej dziedzinie planowania syntezy zbiorów usług, które nie mogą być nośnikiem żadnego planu w dziedzinie pierwotnej. Zbiory te nazywane przez nas 'nie-planami', pozwalają na znaczną redukcję przestrzeni przeszukiwania w dziedzinie pierwotnej. Metoda cechuje się pewną ogólnością i może być stosowana jako heurystyka przy analizie wielu problemów trudnych.