本文介绍了 ORBITS，一个用于查询不一致优先数据的系统。它专注于在事实具有不同重要性级别的知识库中回答查询的算法。该研究提出了用于最优修复的新 SAT 编码，并通过实验评估了它们的性能。 AI
影响 引入了处理知识库中复杂数据不一致性的新算法，可能提高 AI 推理能力。
排序理由 这是一篇发表在 arXiv 上的研究论文，详细介绍了特定数据查询系统的算法和实验。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
ORBITS 系统为查询不一致的优先数据提供新算法
报道来源 [1]
-
使用 ORBITS 查询不一致的优先级数据：算法、实现和实验
arXiv:2202.07980v5 Announce Type: replace-cross Abstract: We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We cons…