可计算有穷论证框架语义复杂度研究
热点事件持续更新
可计算有穷论证框架语义复杂度研究
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
Jinfan Xu、Jieting Luo 发表论文，给出可计算有穷论证框架中 grounded 与 preferred 语义在标准判定问题上的复杂度图谱。 据论文，grounded 语义下非空存在性与轻信、怀疑接受同为 Σ₁⁰-完全，存在性与唯一性则是平凡的；preferred 语义下轻信接受属于 Π₁⁰-c、非空存在性为 Σ₂⁰-c，怀疑接受仍留在 Π₁¹、唯一性为 Σ₂¹-c。
AI 根据报道生成 · 1 小时前更新
最新进展10月9日 12:00
可计算有穷论证框架中 grounded 与 preferred 语义的复杂度报道时间线
沿着报道，了解事件的不同侧面。
10月9日
- arXiv：cs.AI可计算有穷论证框架中 grounded 与 preferred 语义的复杂度
该论文给出可计算有穷论证框架（AFs）中 grounded 与 preferred 语义在标准判定问题上的复杂度图谱。grounded 语义下，非空存在性与轻信、怀疑接受同为 Σ₁⁰-完全，存在性与唯一性则是平凡的；preferred 语义下 Cred 属于 Π₁⁰-c、NE 为 Σ₂⁰-c，而怀疑接受仍留在 Π₁¹、唯一性为 Σ₂¹-c。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。