文章基本信息

标题：Solver Requirements for Interactive Configuration
本地全文：下载
作者：Andreas Falkner ; Alois Haselböck ; Gerfried Krames 等
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2020
卷号：26
期号：3
页码：343-373
出版社：Graz University of Technology and Know-Center
摘要：Interactive configuration includes the user as an essential factor in the configuration process. The two main components of an interactive configurator are a user interface at the front-end and a knowledge representation and reasoning (KRR) framework at the back-end. In this paper we discuss important requirements for the underlying KRR system to support an interactive configuration process. Representative of many reasoning systems and tools used for implementing product configurators, we selected MiniZinc, Choco, Potassco, Picat, CP-SAT solver, and Z3 for evaluation and reviewed them against the identified requirements. We observe that many of those requirements are not well supported by existing stand-alone solvers.
关键词：constraint programming; interactive configuration; knowledge representation and reasoning; product configuration; user interface