论文标题
将增量答案集求解求解到产品配置
Applying Incremental Answer Set Solving to Product Configuration
论文作者
论文摘要
在本文中，我们将增量答案集求解求解求解。增量答案集求解是一种逐步的增量方法，可以回答集编程（ASP）。我们演示了如何使用此技术来逐步解决产品配置问题。增量求解过程的每个步骤都对应于预定义的配置操作。使用复杂的域特异性配置操作可以严格控制求解过程的非确定性和性能的水平。我们显示了此技术用于推理产品配置的应用，例如模拟确定性配置算法的行为并描述用户操作。
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.
