[1H4-GS-1c] 基礎・理論：アルゴリズム

[1H4-GS-1c-03] Solving Multi-objective Vehicle Equipment Specification Problem with Answer Set Programming

〇Raito Takeuchi¹, Naoyuki Tamura², Mutsunori Banbara¹ (1. Nagoya University, 2. Kobe University)

Keywords:Answer Set Programming, Multi-objective Optimization, Vehicle Equipment Specification Problem, Corporate Average Fuel Economy Standards, Orthogonal Variability Model

Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving capacities. We here develop an ASP-based approach to Multi-Objective Vehicle Equipment Specification Problem (MO-VESP). The resulting system reads a MO-VESP instance of OVM format and converts it into a set of ASP facts. In turn, these facts are combined with a first-order encoding for MO-VESP solving, which can subsequently be solved by the ASP solver asprin. In our experiments, we succeeded in enumerating all Pareto optimal solutions for a small-scale problem.