Presentation information

General Session

General Session » GS-1 Fundamental AI, theory

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

Tue. Jun 8, 2021 5:20 PM - 7:00 PM Room H (GS room 3)

座長:荒井 幸代(千葉大学)

6:00 PM - 6:20 PM

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

〇Raito Takeuchi1, Naoyuki Tamura2, Mutsunori Banbara1 (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.

Authentication for paper PDF access

A password is required to view paper PDFs. If you are a registered participant, please log on the site from Participant Log In.
You could view the PDF with entering the PDF viewing password bellow.