artur niewiadomski siedlce university poland
play

Artur Niewiadomski Siedlce University, Poland Institute of Computer - PowerPoint PPT Presentation

Evolutionary, symbolic, and hybrid algorithms for planning and web-service composition Artur Niewiadomski Siedlce University, Poland Institute of Computer Science, Polish Academy of Sciences, 02.07.2020 Artur Niewiadomski Evolutionary and


  1. Evolutionary, symbolic, and hybrid algorithms for planning and web-service composition Artur Niewiadomski Siedlce University, Poland Institute of Computer Science, Polish Academy of Sciences, 02.07.2020 Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 1 / 37

  2. Outline Introduction 1 Abstract Planning 2 Genetic Algorithm 3 Hybrid Solution of the Abstract Planning Problem 4 Concrete Planning 5 Simmulated Annealing 6 Generalized Extremal Optimization 7 Experimental Results 8 Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 2 / 37

  3. PlanICS Team Intelligent hybrid system for planning and composition of web services Wojciech Penczek (ICS PAS, Warsaw) the Head of the project Artur Niewiadomski (Siedlce University) symbolic (SMT-based) computations and algorithms Piotr Switalski, Jaroslaw Skaruz (Siedlce University) Evolutionary (and other nature-inspired) Algorithms Mariusz Jarocki, Agata Polrola (Lodz University) main concepts and Plan ICS language contributors Lukasz Mikulski (Nicolaus Copernicus University, Torun) Multiset Explorer - plan linearisations Maciej Szreter (ICS PAS, Warsaw) dynamic Web services Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 3 / 37

  4. Related work - Web Service Composition Systems Entish - IOPR, a two phase planning by an ontology, WSMO - ontology, IOPR, a formal goal, embedded rule languages WSMX - WSMO implementation, service registration, service discovery by matchmaking, service activation by adapters SUPER - composition based on WSMO ontology and AI algorithms Plan I CS a state-based approach, multi-phase planning, a simple rule language, abstract planners based on GA, SMT-solvers, and combining both as hybrid planners , concrete planners based on evolutionary algorithms, SMT-solvers, and hybrid ones. Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 4 / 37

  5. Key Concepts Static knowledge (ontology) Abstract User intention Plan PlanICS (query) Concrete Dynamic knowledge (WS offers) The main goal: an arrangement of service executions satisfying a user intention Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 5 / 37

  6. Key Concepts Static knowledge (ontology) Abstract User intention Plan PlanICS (query) Concrete Dynamic knowledge (WS offers) The main goal: an arrangement of service executions satisfying a user intention Ontology - the types of services and objects Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 5 / 37

  7. Key Concepts Static knowledge (ontology) Abstract User intention Plan PlanICS (query) Concrete Dynamic knowledge (WS offers) The main goal: an arrangement of service executions satisfying a user intention Ontology - the types of services and objects A two phase composition process: abstract (on types) and concrete (on web services) Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 5 / 37

  8. System Overview BPEL export module MultiSet Explorer SMT SMT WS WS Abstract Concrete Offer Hybrid Hybrid WSDL Web services planner planner collector GA GA WS WS WS Parser GUI Ontology Service controls all modules Register Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 6 / 37

  9. System Overview BPEL export module MultiSet Explorer SMT SMT WS WS Abstract Concrete Offer Hybrid Hybrid WSDL Web services planner planner collector GA GA WS WS WS Parser GUI Ontology Service controls all modules Register Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 6 / 37

  10. Abstract Planning Phase Planning in the terms of Service types Object types Abstract values of object attributes Basic concepts A world - a set of objects with specific attribute values A service can transform a world (if the pre-condition is met) by changing attribute values of existing objects and adding new objects A user query specifies initial and expected (final) worlds A solution is a sequence of service types able to transform an initial world into a world matching an expected one A plan is a set of solutions built over the same multiset of service types, regardless the ordering and the contexts. Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 7 / 37

  11. Main goals of abstract planning Checking whether the user query can be realized using a given ontology Reducing the search space for a concrete planner Reducing the number of network interactions between web services and offer collector Providing a number of different potential ways to realize the query Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 8 / 37

  12. Ontology OWL + embedded Plan ICS language Service types Artifacts - objects the services operate on Stamps - special objects describing certain execution features Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 9 / 37

  13. Ontology Example Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 10 / 37

  14. User Query and Abstract Plan Example in { p : Person } inout { m : Money } out { b : Book } pre ( p.name = ME and p.address = MyAddr. and m.amount = 50) post ( b.title = ” Java in Practice ” and b.location = p.address ) m:Money m:Money m:Money Initial world Expected p: Person p: Person p: Person world b: Book b: Book Final BookSelling Transport world i: Invoice i: Invoice s1: Stamp s1: Stamp s2: Stamp Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 11 / 37

  15. SMT-based abstract planning � � ϕ q ∧ E q k ∧ B q k = I q � � T s C i i k i =1 ..k s ∈ S Abstract planning problem for a query q encoded as the formula ϕ q k ϕ q k satisfiable iff there exists a solution for q of the length k If a solution is found, then block all known abstract plans with the formula B q k and search for other solutions, Otherwise proceed with k + 1 Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 12 / 37

  16. SMT-based abstract planning � � ϕ q ∧ E q k ∧ B q k = I q � � T s C i i k i =1 ..k s ∈ S Abstract planning problem for a query q encoded as the formula ϕ q k ϕ q k satisfiable iff there exists a solution for q of the length k If a solution is found, then block all known abstract plans with the formula B q k and search for other solutions, Otherwise proceed with k + 1 The formula ϕ q k encodes the initial worlds contexts and worlds transformations the expected worlds a blocking formula Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 12 / 37

  17. SMT-based abstract planning � � ϕ q ∧ E q k ∧ B q k = I q � � T s C i i k i =1 ..k s ∈ S Abstract planning problem for a query q encoded as the formula ϕ q k ϕ q k satisfiable iff there exists a solution for q of the length k If a solution is found, then block all known abstract plans with the formula B q k and search for other solutions, Otherwise proceed with k + 1 The formula ϕ q k encodes the initial worlds contexts and worlds transformations the expected worlds a blocking formula Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 12 / 37

  18. SMT-based abstract planning � � ϕ q ∧ E q k ∧ B q k = I q � � T s C i i k i =1 ..k s ∈ S Abstract planning problem for a query q encoded as the formula ϕ q k ϕ q k satisfiable iff there exists a solution for q of the length k If a solution is found, then block all known abstract plans with the formula B q k and search for other solutions, Otherwise proceed with k + 1 The formula ϕ q k encodes the initial worlds contexts and worlds transformations the expected worlds a blocking formula Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 12 / 37

  19. SMT-based abstract planning � � ϕ q ∧ E q k ∧ B q k = I q � � T s C i i k i =1 ..k s ∈ S Abstract planning problem for a query q encoded as the formula ϕ q k ϕ q k satisfiable iff there exists a solution for q of the length k If a solution is found, then block all known abstract plans with the formula B q k and search for other solutions, Otherwise proceed with k + 1 The formula ϕ q k encodes the initial worlds contexts and worlds transformations the expected worlds a blocking formula Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 12 / 37

  20. Genetic Algorithm Introduced in 1960 by John Holland Generate population Applied to optimization and search problems Evaluation A population of individuals (candidate solutions) is evolved toward better solutions Selection Operators: mutation, crossover and selection Crossover Problem specific: Encoding of individuals Mutation Fitness function Versions of operators and probabilities of their Evaluation application An individual is represented usually by a fixed-length NO Terminate array of bits or numbers. The fitness function evaluates a candidate solution - we know which ones are better YES than others. The better individuals have more chances End to move on to the next stages of the algorithm. Artur Niewiadomski Evolutionary and hybrid algorithms 02.07.2020, ICS PAS 13 / 37

Recommend


More recommend