Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing*

TripICS - a Web Service Composition System for Planning Trips and Travels

“…Then, the user adds accommodations and attractions to enjoy in the particular cities, and inputs his preferences in the forms attached to the list. Finally, the user starts the planning process using the dedicated button, and optionally sets some planner options, such as a planning algorithm (SMT, GA, IPH, SCGEO, SCSA 3 [16,14]), timeout, maximal number of offers etc., as well as some parameters specific to the particular planning method, e.g., a population size of GA and IPH.…”

“…In this paper we present the system TripICS -a real-life application of our Web service composition system PlanICS [8,9,13] to planning trips and travels around the world. While there are systems offering some support for planning excursions and travels [4,5], our system uses advanced automated concrete planning methods [13,16,14]. TripICS is a specialization of the concrete planning viewed as a constrained optimization problem to the ontology containing services provided by hotels, airlines, railways, museums etc.…”

“…TripICS is a specialization of the concrete planning viewed as a constrained optimization problem to the ontology containing services provided by hotels, airlines, railways, museums etc. The system finds an optimal plan (solution) satisfying the requirements of the user by applying the most efficient concrete planners of PlanICS based on a combination of an SMT-solver [7] with the nature inspired algorithm: GA, SA, and GEO [16,14]. Contrary to PlanICS, the first phase of planning, called abstract planning, is realized by TripICS in a semi-automatic way by giving the user a possibility to choose the elements of an abstract plan using a Graphical User Interface (GUI).…”