.png){kind=icon}
返回
Smart Expansion Techniques for ASP-Based Interactive Configuration
.png){kind=icon}
OA
AI
DOI：10.1017/S147106842510029X.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
产品配置是答案集编程（ASP）的一个成功应用。然而，对于交互式系统有效引导用户完成配置过程而言，仍然存在挑战。我们工作的目的是提供一种基于ASP的求解器，用于交互式配置，能够处理大规模工业配置问题，并通过应用程序编程接口（API）支持直观的用户界面（UI）。本文重点关注提高自动完成部分配置的性能。我们的主要贡献是通过四种不同的智能扩展函数增强了多轮求解的经典增量方法。核心思想是在每次迭代中使用谨慎和勇敢的推论来确定并添加特定对象或关联到部分配置中，然后再检查当前对象是否存在完整配置。这种方法限制了昂贵的不可满足性检查次数，减少了搜索空间，从而提高了求解性能。此外，我们展示了一个使用我们API并由ASP实现的UI。
Keyword:
answer set programming
product configuration
interactivity
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
T
IF:
1.1
论文数:
24
被引数:
684
机构
引用论文
分享收藏Twenty‐Five Years of Successful Application of Constraint Technologies at Siemens.png)
AI Magazine
AI MagazineIF0
PREAI
分享收藏分享收藏分享收藏
查看更多内容