Solving Multi-objective Vehicle Equipment Specification Problem with Answer Set Programming

Abstract

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.