Applying Incremental Answer Set Solving to Product Configuration
This work addresses product configuration for users in domains requiring deterministic simulation and user action description, but it is incremental as it applies an existing method to a new application area.
The paper tackles product configuration problems by applying incremental answer set solving, a step-wise approach in Answer Set Programming, to control non-determinism and improve performance through domain-specific actions.
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.