Abstract
Product configuration is a successful application of Answer Set Programming(ASP). However, challenges are still open for interactive systems toeffectively guide users through the configuration process. The aim of our workis to provide an ASP-based solver for interactive configuration that can dealwith large-scale industrial configuration problems and that supports intuitiveuser interfaces via an API. In this paper, we focus on improving theperformance of automatically completing a partial configuration. Our maincontribution enhances the classical incremental approach for multi-shot solvingby four different smart expansion functions. The core idea is to determine andadd specific objects or associations to the partial configuration by exploitingcautious and brave consequences before checking for the existence of a completeconfiguration with the current objects in each iteration. This approach limitsthe number of costly unsatisfiability checks and reduces the search space,thereby improving solving performance. In addition, we present a user interfacethat uses our API and is implemented in ASP.