English(EN) Robustness of Constraint Automata for Description Logics with Concrete Domains

新的自动机方法在描述逻辑上实现了EXPTIME

作者 PulseAugur 编辑部 · [1 个来源] · 2026-06-29 04:00

这篇研究论文介绍了一种基于自动机的分析具有具体域的描述逻辑的方法，旨在确定一致性问题的可判定性和复杂度。所提出的方法通过符号约束丰富了转换，在特定具体域属性下，实现了非空性问题的最优上界EXPTIME。作者们证明了该方法可以扩展到包含逆角色和函数角色名称等特性，同时保持EXPTIME成员资格，突显了约束自动机的鲁棒性。 AI

影响这项研究为知识表示和推理的理论基础做出了贡献，可能影响未来依赖于复杂逻辑结构的AI系统。

排序理由该集群包含一篇详细介绍计算机科学新理论方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

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

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群包含一篇详细介绍计算机科学新理论方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
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: 101 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

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

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · St\'ephane Demri, Tianwen Gu · 2026-06-29 04:00

具身智能的“大脑”：OpenAI发布新一代大型语言模型GPT-4o

arXiv:2601.19644v2 Announce Type: replace-cross Abstract: Decidability or complexity issues about the consistency problem for description logics with concrete domains have already been analysed with tableaux-based or type elimination methods. Concrete domains in ontologies are es…

本文如何被排名

报道来源 [1]

具身智能的“大脑”：OpenAI发布新一代大型语言模型GPT-4o

相关实体

相关话题