strong tenability

新的可维持性语义模型用于AI辩论中的战略论证防御

研究人员引入了一系列新的基于对话的语义，称为“可维持性”，用于模拟论证在辩论中如何被辩护。与要求对所有合理反驳进行均匀辩护的现有弱语义不同，可维持性允许基于对手攻击的战略性回应。通过承诺博弈定义了三种变体——静态可维持性、可维持性和强可维持性——为争论者提供了不同的义务。论文还分析了决定这些语义的计算复杂性，其中静态可维持性是$\Pi^P_2$-完全的，而另外两种是PSPACE-完全的。