用智能扩展提升ASP配置求解效率，更快完成用户部分选择。
Smart Expansion Techniques for ASP-based Interactive Configuration
- 通过四种智能扩展函数预判可添加项，减少无效检查。
- 相比传统方法，大幅降低不满足性检查次数与搜索空间。
- 适合需要快速响应的工业级交互式配置系统开发者。
产品配置是答案集编程（ASP）的成功应用。然而，交互式系统在有效引导用户完成配置过程方面仍面临挑战。本文旨在提供一种基于ASP的求解器，能够处理大规模工业配置问题，并通过API支持直观的用户界面。研究重点在于提升对部分配置进行自动补全的性能。主要贡献是通过四种不同的智能扩展函数，改进经典的多轮求解增量方法。核心思想是在每轮迭代中，通过利用谨慎和勇敢推论，预先确定并添加特定对象或关联，再检查当前对象是否存在完整配置。该方法减少了昂贵的不满足性检查次数，缩小了搜索空间，从而提升求解性能。此外，我们还实现了一个基于ASP的用户界面，使用该API进行交互。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。