PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!
  • Sesja wygasła!

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  abstract planning
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available 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
Content available Solving the abstract planning problem using genetic algorithms
Skaruz J., Niewiadomski A., Penczek W.
Studia Informatica : systems and information technology
|
2013
|
Vol. 1-2(17)
29--48
EN
The paper presents a new approach based on genetic algorithms to the abstract planning problem, which is the first stage 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 compared with the results obtained from SMT-solver, which show that GA finds solutions for very large sets of service types in a reasonable time.
3
Content available remote 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.
4
Content available remote Towards Automatic Composition of Web Services : SAT-Based Concretisation of Abstract Scenarios
Niewiadomski A., Penczek W., Półrola A., Szreter M., Zbrzezny A.
Fundamenta Informaticae
|
2012
|
Vol. 120, nr 2
181-203
EN
Automating the composition of web services is an object of a growing interest. In our paper [13] we proposed a method for converting the problem of the composition to the problem of building a graph of worlds consisting of formally defined objects, and presented the first phase of this composition aimed at building a graph of types of services (an abstract graph). In this work we propose a method of replacing abstract flows of this graph by sequences of concrete services able to satisfy the user’s request. The method is based on SAT-based reachability checking for (timed) automata with discrete data and parametric assignments.
5
Content available Web Services composition - from ontology to plan by query
Doliwa D., Horzelski W., Jarocki M., Niewiadomski A., Penczek W., Półrola A., Szreter M.
Control and Cybernetics
|
2011
|
Vol. 40, no 2
315-336
EN
The paper proposes a method to cover the world of web services with a uniform semantics, possibly simple but enabling to arrange complex flows of service invocations. The flows are built according to fully declarative user's intentions, specified in a language common for the descriptions of services and for the query. In the approach we model the world of services and of the subjects they operate on using a uniform knowledge database and an objectoriented manner. The current work describes the first phase of the composition: making an abstract plan, i.e., giving an answer how (with what types of services) the required effect can be obtained. The problem of creating a plan is converted to building a specialized graph.
6
Content available remote 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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.