研究人员引入了一系列新的基于对话的语义，称为“可维持性”，用于模拟论证在辩论中如何被辩护。与要求对所有合理反驳进行均匀辩护的现有弱语义不同，可维持性允许基于对手攻击的战略性回应。通过承诺博弈定义了三种变体——静态可维持性、可维持性和强可维持性——为争论者提供了不同的义务。论文还分析了决定这些语义的计算复杂性，其中静态可维持性是$\Pi^P_2$-完全的，而另外两种是PSPACE-完全的。 AI
排序理由 这是一篇介绍新形式论证语义的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
