Wyniki wyszukiwania - BazTech

1

Bounded Abstract Planning in PlanICS based on Graph Databases

Szreter M.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2015

|

Nr 1031

1--31

EN

The paper describes an application of a graph database to the abstract planning in the Planics composition system for web services. Abstract planning is the first stage of the service composition process, and consists in matching types of the services and objects processed by them, with some additional constraints. The result is an abstract plan matching the user query. The presented solution prunes the ontologies for the abstract planners, greatly improving efficiency and providing better scalability. This is of particular importance in the domain of web service composition, because usually systems are expected to produce answers immediatly.

PL

Praca opisuje zastosowanie grafowej bazy danych do fazy planowania abstrakcyjnego w systemie automatycznej kompozycji usług sieciowych Planics. Planowanie abstrakcyjne jest pierwszą fazą procesu planowania usług, i polega na dopasowaniu typów usług i przetwarzanych przez nie obiektów, w celu wygenerowania planu abstrakcyjnego spełniającego zapytanie skierowane do systemu przez użytkownika. Rozwiązanie bardzo istotnie zwiększa efektywność istniejących metod planowania opartych na testowaniu spełnialności formuł logicznych lub bazujących na algorytmach genetycznych. Jest to szczególnie ważne w dziedzinie planowania usług sieciowych, gdzie od systemów oczekuje się bardzo krótkich czasów przetwarzania zapytań. Metoda ogranicza przeszukiwaną ontologię ze względu na zapytanie użytkownika, znacząco ułatwiając znalezienie rozwiązań.

2

Towards Automated Abstract Planning Based on a Genetic Algorithm

Skaruz J., Niewiadomski A., Penczek W.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2012

|

Nr 1026

1--32

EN

The paper presents a new approach based on nature inspired algorithms to an automated abstract planning problem, which is a part of the web service composition problem. An abstract plan is defined as an equivalence class of sequences of service types that satisfy a user query. Intuitively, two sequences are equivalent if they are composed of the same service types, but not necessarily occurring in the same order. The objective of our genetic algorithm (GA) is to return representatives of abstract plans without generating all the equivalent sequences. The paper presents experimental results, which show that GA finds solutions for very large sets of service types in a reasonable time.

PL

Raport przedstawia nowe podejście do problemu planowania abstrakcyjnego za pomocą algorytmów genetycznych (AG). Problem planowania abstrakcyjnego polega na takiej kompozycji usług sieciowych, która spełnia zapytanie użytkownika. W raporcie pokazano sposób zastosowania AG do rozwiązania problemu planowania abstrakcyjnego oraz zaprezentowano wyniki eksperymentalne.

3

SMT-based Abstract Planning in PlanICS Ontology

Niewiadomski A., Penczek W., Półrola A.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2012

|

Nr 1027

1--42

EN

The paper deals with the abstract planning problem - the first stage of Web Service Composition (WSC) in the Planics framework. We present a solution based on a compact repre-sentation of abstract plans by multisets of service types and a reduction of the planning problem to a task for an SMT-solver. The paper presents theoretical aspects of the abstract planning as well as some details of our symbolic encoding and implementation, followed by preliminary experimental results.

PL

Przedmiotem niniejszej pracy jest problem planowania abstrakcyjnego - pierwszy etap kompozycji usług sieciowych w systemie Planics. Prezentujemy rozwiązanie bazujące na kompaktowej reprezentacji planów abstrakcyjnych za pomocą wielozbiorów typów usług i redukcji problemu planowania do problemu spełnialności instancji SMT (Satisfiability Modulo Theories). Przedstawiamy zarówno teoretyczne aspekty planowania, jak również szczegóły symbolicznego kodowania i implementacji oraz wstępne wyniki eksperymentalne.

4

Towards automatic composition of web services :

Jarocki M., Niewiadomski A., Penczek W., Półrola A., Szreter M.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2010

|

Nr 1017

1-40

EN

The paper proposes a method of converting the problem of automated composition of web services to the problem of building a graph of worlds consisting of formally defined objects. We present basic rules of defining ontologies for services execution environments, in which automatic reasoning about sequences of service calls leading to saatisfying a user's intention is possible. The intention can be specified in a fully declarative language, without knowledge about services. In turn, the services are treated as independent "black boxes", realizing their activities regardless of the flow in which they attend. The intentions and the descriptions of the services are the only source of knowledge used to generate abstract plans. The above planning process is the first phase of automated composition. The paper presents also a tool implementing our composition algorithm and some experimental results.

PL

Praca zawiera propozycję konwersji zagadnienia automatycznej kompozycji usług sieciowych do problemu budowy grafu światów zbudowanych z formalnie zdefiniowanych obiektów. Przedstawiono podstawy budowy ontologii środowiska wykonania usług, w której możliwe jest automatyczne wnioskowanie przebiegu wywołań, prowadzących do realizacji intencji użytkownika. Język wyrażania takiej intencji jest całkowicie deklaratywny i wraz z ontologią, w której usługi pozostają nie związanymi ze sobą "czarnymi skrzynkami", stanowi jedyne źródło wiedzy dla budowy abstrakcyjnych planów wykonania. Opisany tutaj proces stanowi pierwszą z trzech faz automatycznej kompozycji, będącej tematem badań zespołu. Praca prezentuje również narzędzie implementujące algorytm kompozycji oraz przykład jego zastosowania.