基于 FO(.) 与 IDP-Z3 的交互式配置器
计算机科学中的逻辑
2023-03-21 v3 人工智能
摘要
工业中充斥着交互式配置问题，即由人员在计算机辅助下交互求解的约束满足问题。称为配置器的计算机程序需要利用用户提供的不完整信息进行多种推理任务。命令式编程方法使此类系统难以实现与维护。基于知识的配置器已被提出以帮助工程师解决此类问题，但许多挑战依然存在。我们提出 IDP-Z3，一种用于 FO(.) 知识表示语言的新推理引擎，并报告其在从知识库自动构建配置器中的应用。
引用
@article{arxiv.2202.00343,
title = {Interactive configurator with FO(.) and IDP-Z3},
author = {Pierre Carbonnelle and Simon Vandevelde and Joost Vennekens and Marc Denecker},
journal= {arXiv preprint arXiv:2202.00343},
year = {2023}
}
备注
Submitted to KR 2023