用于知识表示与推理的 DLV 系统

本文介绍了被广泛认为是析取逻辑编程最先进实现的 DLV 系统，并探讨了其若干方面。在问题求解方面，我们给出了其核心语言——无函数析取逻辑程序（亦称析取 datalog）的形式化定义，该语言通过弱约束进行了扩展，而弱约束是表达优化问题的强大工具。随后我们阐述了 DLV 作为知识表示与推理工具的用法，描述了一种新的声明式编程方法，该方法允许以声明式方式对复杂问题（直至 $\Delta^P_3$-完全问题）进行编码。在基础理论方面，我们对 DLV 语言的计算复杂性进行了详细分析，并通过推导新的复杂性结果，绘制了该语言及其重要片段复杂性的完整图景。此外，我们展示了受这些结果影响的 DLV 系统的总体架构。在应用方面，我们概述了在 DLV 之上开发的应用前端，用于解决特定的知识表示任务，并简要介绍了探索该系统工业应用潜力的主要国际项目。最后，我们报告了为评估系统效率而进行的全面实验与基准测试。实验结果证实了 DLV 的稳健性，并突出了其在知识管理和信息集成等新兴应用领域的潜力。