Abstract
This paper describes an abstract problem derived from a combination of Siemens product configuration problems encountered in practice. Often isolated parts of configuration problems can be solved by mapping them to well-studied problems for which efficient heuristics exist (graph coloring, bin-packing, etc.). Unfortunately, these heuristics may fail to work when applied to a problem that combines two or more subproblems. In the paper we show how to formulate a combined configuration problem in Answer Set Programming (ASP) and to solve it using heuristics a la hclasp. The latter stands for heuristic clasp that is nowadays integrated in clasp and enables the declaration of domain-specific heuristics in ASP. In addition, we present a novel method for heuristic generation based on a combination of greedy search with ASP that allows to improve the performance of clasp.
Original language | English |
---|---|
Pages (from-to) | 55-60 |
Number of pages | 6 |
Journal | CEUR Workshop Proceedings |
Volume | 1453 |
Publication status | Published - 2015 |
MoE publication type | A4 Article in a conference publication |
Event | International Configuration Workshop - Vienna, Austria Duration: 10 Sep 2015 → 11 Sep 2015 Conference number: 17 |