Assurance 2.0中的击败者与消除性论证

传统的保证案例采用正面论证，其中基于证据和假设的推理步骤支持具有外部意义的首要主张。需要人工判断来检查证据、假设以及推理步骤的叙述性理由；如果所有评估都是良好的，那么首要主张可以被接受。对这个过程的一个有效担忧是人工判断容易出错且倾向于确认偏差。对此担忧的最佳防御是像辩证法或苏格拉底式对话那样进行激烈和怀疑的辩论和讨论。记录这些讨论的方面对于后续的开发者和评估者是有价值的。击败者是一种实现方式：它们表达对论证方面的怀疑，并可以发展为确认或反驳怀疑的子案例，并作为文档记录以帮助未来的考虑。本报告描述了在Assurance 2.0及其Clarissa/ASCE工具支持中如何表示和评估击败者以及多级击败者。这些机制还支持消除性论证，这是一种相反的保证方法，被一些人青睐，它使用负面论证来反驳所有可能导致首要主张为假的原因。