Combining SMT and Simulated Annealing into a Hybrid Planning Method
Autorzy:
- Jarosław Skaruz,
- Artur Jerzy Niewiadomski,
- Wojciech Penczek
Streszczenie
We present a new approach to the concrete planning (CP) - a stage of theWeb service composition in the PlanICS framework. A new hybrid algorithm (HSA) based on a combination of Simulated Annealing (SA) with Satisfiability Modulo Theories (SMT) has been designed and implemented. The main idea of our hybrid solution is to use an SMT-based procedure in order to generate an initial individual and then improve it during subsequent iterations of SA. The experimental results show that HSA is superior to the other methods we have applied to the CP problem, including Genetic Algorithm, an SMT-based approach, and our previously developed hybrids.
- Identyfikator pozycji
- UPH63b444aa3b9a446db8f25d2bc4dc6ede
- Autor
- Tytuł czasopisma/serii
- Studia Informatica. Systems and Information Technology. Systemy i Technologie Informacyjne, ISSN 1731-2264
- Rok wydania
- 2015
- Nr
- 1-2
- Paginacja
- 43-48
- Objętość publikacji w arkuszach wydawniczych
- 0,30
- Uwagi merytoryczne
- Bibliogr.
- Streszcz. w jęz. ang.
- Słowa kluczowe w języku polskim
- Algorytmy genetyczne (GA); PlanICS (informat.); Symulowane wyżarzanie (SA); Teoria spełnialności modulo (SMT)
- Słowa kluczowe w języku angielskim
- Genetic algorithms
- Handle.net URL
- hdl.handle.net/11331/3459 Otwiera się w nowej karcie
- URL
- http://www.studiainformatica.ii.uph.edu.pl/jsp/publikacje.jsf?id_publikacji=19 Otwiera się w nowej karcie
- Język
- eng (en) English
- Licencja
- Plik
-
- Plik: 1
- Combining SMT and Simulated Annealing into a Hybrid Planning Method, Plik Skaruz.J.Niewiadomski.A.Penczek.W.Combining_SMT_and_Simulated_Annealing_into_a_Hybrid_Planning_Method.pdf / 346 KB
- Skaruz.J.Niewiadomski.A.Penczek.W.Combining_SMT_and_Simulated_Annealing_into_a_Hybrid_Planning_Method.pdf
- dostępny od: 22-10-2021
- z dnia 22-10-2021
346 KB - Combining SMT and Simulated Annealing into a Hybrid Planning Method, Plik Skaruz.J.Niewiadomski.A.Penczek.W.Combining_SMT_and_Simulated_Annealing_into_a_Hybrid_Planning_Method.pdf / 346 KB
-
- Punktacja ministerialna (całkowita)
- 6
- Wskaźniki bibliometryczne
- = 2
- Liczba cytowań
- 2
- Jednolity identyfikator zasobu
- https://bazawiedzy.uph.edu.pl/info/article/UPH63b444aa3b9a446db8f25d2bc4dc6ede/
- URN
urn:uph-prod:UPH63b444aa3b9a446db8f25d2bc4dc6ede
* Podana liczba cytowań wynika z analizy informacji dostępnych w Internecie i jest zbliżona do wartości obliczanej przy pomocy systemu Publish or PerishOtwiera się w nowej karcie.