混合 MKNF 知识库冲突驱动求解的基础
人工智能
2025-01-22 v1
摘要
混合 MKNF 知识库（HMKNF-KB）是一种用于紧密整合闭世界规则与开放世界本体推理的形式化方法。该方法允许对现实世界系统进行精确建模，这些系统通常同时依赖范畴推理和规范推理。冲突驱动求解是计算困难问题（如满足性问题（SAT）和答案集编程（ASP））的主导方法，MKNF 正根植于此。本文研究了 HMKNF-KB 冲突驱动求解所需的理论基础。该方法定义了一组完备公式和环路公式，其满足性刻画了 MKNF 模型。这构成了一组 nogood 的基础，进而可作为冲突驱动求解器的骨干。
引用
@article{arxiv.2408.09626,
title = {On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases},
author = {Riley Kinahan and Spencer Killen and Kevin Wan and Jia-Huai You},
journal= {arXiv preprint arXiv:2408.09626},
year = {2025}
}