English(EN) Complexity of Grounded Semantics and Preferred Semantics in Finitary Argumentation Frameworks

AI论证框架：接地和首选语义的复杂性已映射

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

本文深入探讨了有限论证框架中接地语义和首选语义的计算复杂性。研究人员已经为这些语义绘制了决策问题图，发现虽然有限性可以将复杂性降低到算术层级，但某些问题，如怀疑性接受和全称量词，仍然存在于较高的分析层级中。这些发现突显了有限性在简化这些AI框架内推理方面的精确限制。 AI

影响阐明了特定AI推理方法的计算限制，为形式AI的未来研究提供信息。

排序理由学术论文，详细介绍了AI推理框架的计算复杂性。[lever_c_demoted from research: ic=1 ai=1.0]

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

本文如何被排名

Signal score: 18 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 学术论文，详细介绍了AI推理框架的计算复杂性。[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: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

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

arXiv cs.AI TIER_1 English(EN) · Jinfan Xu, Jieting Luo · 2026-10-09 04:00

有限论证框架中基于事实的语义与偏好语义的复杂性

arXiv:2610.12008v1 Announce Type: new Abstract: Abstract argumentation frameworks (AFs) introduced by Dung provide a formal foundation for non-monotonic reasoning in artificial intelligence. While decision problems for general infinite AFs typically reside at high levels of the a…