Smart Expansion Techniques for ASP-based Interactive Configuration
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908762060619776 |
|---|---|
| author | Balážová, Lucia Comploi-Taupe, Richard Hahn, Susana Rühling, Nicolas Schenner, Gottfried |
| author_facet | Balážová, Lucia Comploi-Taupe, Richard Hahn, Susana Rühling, Nicolas Schenner, Gottfried |
| contents | Product configuration is a successful application of Answer Set Programming (ASP). However, challenges are still open for interactive systems to effectively guide users through the configuration process. The aim of our work is to provide an ASP-based solver for interactive configuration that can deal with large-scale industrial configuration problems and that supports intuitive user interfaces via an API. In this paper, we focus on improving the performance of automatically completing a partial configuration. Our main contribution enhances the classical incremental approach for multi-shot solving by four different smart expansion functions. The core idea is to determine and add specific objects or associations to the partial configuration by exploiting cautious and brave consequences before checking for the existence of a complete configuration with the current objects in each iteration. This approach limits the number of costly unsatisfiability checks and reduces the search space, thereby improving solving performance. In addition, we present a user interface that uses our API and is implemented in ASP. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_21027 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Smart Expansion Techniques for ASP-based Interactive Configuration Balážová, Lucia Comploi-Taupe, Richard Hahn, Susana Rühling, Nicolas Schenner, Gottfried Artificial Intelligence Software Engineering D.1.6; I.2.1 Product configuration is a successful application of Answer Set Programming (ASP). However, challenges are still open for interactive systems to effectively guide users through the configuration process. The aim of our work is to provide an ASP-based solver for interactive configuration that can deal with large-scale industrial configuration problems and that supports intuitive user interfaces via an API. In this paper, we focus on improving the performance of automatically completing a partial configuration. Our main contribution enhances the classical incremental approach for multi-shot solving by four different smart expansion functions. The core idea is to determine and add specific objects or associations to the partial configuration by exploiting cautious and brave consequences before checking for the existence of a complete configuration with the current objects in each iteration. This approach limits the number of costly unsatisfiability checks and reduces the search space, thereby improving solving performance. In addition, we present a user interface that uses our API and is implemented in ASP. |
| title | Smart Expansion Techniques for ASP-based Interactive Configuration |
| topic | Artificial Intelligence Software Engineering D.1.6; I.2.1 |
| url | https://arxiv.org/abs/2507.21027 |