Applying Incremental Answer Set Solving to Product Configuration
Abstract
In this paper, we apply incremental answer set solving to product configuration. Incremental answer set solving is a step-wise incremental approach to Answer Set Programming (ASP). We demonstrate how to use this technique to solve product configurations problems incrementally. Every step of the incremental solving process corresponds to a predefined configuration action. Using complex domain-specific configuration actions makes it possible to tightly control the level of non-determinism and performance of the solving process. We show applications of this technique for reasoning about product configuration, like simulating the behavior of a deterministic configuration algorithm and describing user actions.
Keywords
Cite
@article{arxiv.2207.08599,
title = {Applying Incremental Answer Set Solving to Product Configuration},
author = {Richard Comploi-Taupe and Giulia Francescutto and Gottfried Schenner},
journal= {arXiv preprint arXiv:2207.08599},
year = {2022}
}
Comments
This is the authors' version of the work. It is posted here for your personal use. Not for redistribution. The definitive version will be published as https://doi.org/10.1145/3503229.3547069