混合自动推理工具：从黑盒到白盒集成
人工智能
2013-12-23 v1
摘要
近年来，答案集编程和约束规划领域的研究人员投入了大量精力，开发结合了这两个传统独立领域优势的混合语言和求解算法。这些努力催生了一个新的研究领域：约束答案集编程 (CASP)。CASP 语言和系统在提供涉及混合推理任务（如包含规划元素的调度问题）的高效解决方案方面取得了巨大成功。然而，CASP 系统的开发颇具难度，需要多个领域的非平凡专业知识。这表明有必要开展一项研究，以明确混合系统开发的通用原则。一旦这些原则及其含义得到充分理解，混合语言和系统的开发就可能成为一项成熟且易于理解的常规过程。作为迈向这一方向的一步，本文开展了一项案例研究，旨在评估 CASP 方法的各种集成模式。
引用
@article{arxiv.1312.6105,
title = {Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration},
author = {Marcello Balduccini and Yulia Lierler},
journal= {arXiv preprint arXiv:1312.6105},
year = {2013}
}
备注
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey