Affiliations: [a] Siedlce University, Faculty of Science, Institute of Computer Science, 3 Maja 54, 08-110 Siedlce, Poland. {artur.niewiadomski, piotr.switalski}@uph.edu.pl; [email protected] | [b] Institute of Computer Science, Polish Academy of Sciences, Jana Kazimierza 5, 01-248 Warsaw, Poland. [email protected]
Correspondence:
[*]
Also affiliated with: Siedlce University, Faculty of Science, Institute of Computer Science. Address for correspondence: Institute of Computer Science, Siedlce University of Natural Sciences and Humanities, 3 Maja 54, 08-110 Siedlce, Poland.
Abstract: We present the web service composition system TripICS, which allows for an easy and user-friendly planning of visits to interesting cities and places around the world in combination with travels, arranged in the way satisfying the user’s requirements. TripICS is a specialization of the concrete planning of PlanICS viewed as a constrained optimization problem to the ontology containing services provided by hotels, airlines, railways, museums etc. The system finds an optimal plan by applying a modification of the most efficient concrete planner of PlanICS based on a combination of an SMT-solver with the algorithm GEO. The modification has been designed in order to solve quickly multiple equality constraints. The efficiency of the new planning algorithm is proved by experimental results.
Keywords: Web Service Composition, Concrete Planning, PlanICS, TripICS, SMT, Hybrid Algorithm, GEO
