论文标题
fo（。）和IDP-z3的交互式配置器
Interactive configurator with FO(.) and IDP-Z3
论文作者
论文摘要
具有交互式配置问题的行业充斥着，即，在计算机的协助下，人们可以交互解决问题。称为配置器的计算机程序需要使用用户提供的（通常不完整的）信息执行各种推理任务。当务之急的编程方法使这种系统难以实施和维护。已经提出了基于知识的配置者来帮助工程师解决此类问题，但仍然存在许多挑战。 我们介绍了FO（。）KR语言的新推理引擎IDP-Z3，我们报告了它用于自动从知识库构建配置者的使用。
Industry abounds with interactive configuration problems, i.e., constraint solving problems interactively solved by persons with the assistance of a computer. The computer program, called a configurator, needs to perform a variety of reasoning tasks with the (often incomplete) information that the user provides. Imperative programming approaches make such systems difficult to implement and maintain. Knowledge-based configurators have been proposed to help engineers solve such problems, but many challenges remain. We present IDP-Z3, a new reasoning engine for the FO(.) KR language, and we report on its use for building configurators automatically from a knowledge base.
