English(EN) A New Well-Supported Semantics for Description Logic Programs

描述逻辑程序的新语义提高了复杂性和表征能力

作者 PulseAugur 编辑部 · [2 个来源] · 2026-07-23 11:20

研究人员为描述逻辑程序引入了一种新颖的语义，旨在解决现有良支撑语义的局限性。新方法为一致性问题提供了改进的计算复杂性，将其保持在NP完全的范围内，并通过不动点算子和约简变换提供了表征。这种更严格的语义在保持良支撑性的核心概念的同时，提供了更精细的概念，使其更贴近传统的逻辑编程原则。 AI

影响这项研究可能导致AI中更高效、更鲁棒的推理系统，特别是在结合规则与本体的领域。

排序理由该集群描述了一篇详细介绍描述逻辑程序新颖语义的学术论文。

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

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Research; 该集群描述了一篇详细介绍描述逻辑程序新颖语义的学术论文。
Source corroboration: 2 independent sources; Multiple independent publishers reporting the same story raises confidence that it's real and newsworthy.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 76 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

arXiv cs.AI TIER_1 English(EN) · Spencer Killen, Jia-Huai You · 2026-07-24 04:00

描述逻辑程序的新的、有充分支持的语义

arXiv:2607.21203v1 Announce Type: new Abstract: Description logic programs are a powerful formalism for combining rules with ontologies. The well-supported semantics for description logic programs ensures that no answer sets rely on cyclic dependencies. Most popular semantics for…
Hugging Face Daily Papers TIER_1 English(EN) · 2026-07-23 11:20

描述逻辑程序的新的、有充分支持的语义

Description logic programs are a powerful formalism for combining rules with ontologies. The well-supported semantics for description logic programs ensures that no answer sets rely on cyclic dependencies. Most popular semantics for logic programming have this property of well-su…