描述逻辑程序的新语义提高了效率

研究人员为描述逻辑程序引入了一种新颖的语义，旨在提高计算效率并提供更清晰的表征。这种新语义更严格地评估本体原子，将一致性问题的复杂度维持在NP完全，而当前的语义可能会增加到多项式层级的第二级。该研究还确定了一类特定的描述逻辑程序，其中新语义与现有语义一致，并为其表征提供了不动点算子和归约变换。 AI

影响 引入了一种计算效率更高的逻辑编程语义，可能会影响依赖于本体和规则的AI推理系统。

排序理由 详细介绍描述逻辑程序新语义的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• alphaXiv
• CatalyzeX Code Finder for Papers
• CORE Recommender
• DagsHub
• Description logic programs
• Electronic Proceedings in Theoretical Computer Science
• Gotit.pub
• Hugging Face
• Influence Flower
• ScienceCast

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →