arXiv:2505.08155v1 宣告类型: new 摘要: 复杂查询回答（CQA）旨在从不完整知识图中检索复杂逻辑公式的问题集，这是知识图推理中的一项关键而具有挑战性的任务。虽然神经符号搜索利用神经链接预测实现了卓越的准确性，但它们遇到了显著的复杂性瓶颈：(i) 数据复杂性通常随着知识图中的实体数量呈二次增长，(ii) 循环查询的查询复杂性变为NP难问题。因此，这些方法难以有效扩展到更大的知识图和更复杂的查询。为解决这些挑战，我们提出了一种高效且可扩展的符号搜索框架。首先，我们提出了两种约束策略来计算神经逻辑索引，以减少变量的取值范围，从而降低符号搜索的数据复杂性。此外，我们引入了一个基于局部搜索的近似算法来解决循环查询的NP查询复杂性问题。在各种CQA基准测试上的实验表明，我们的框架在保持近似相同性能的同时将符号方法的计算负担降低了90%，从而缓解了效率和可扩展性问题。