May, 2024

保障 2.0 中的挑战与否定性论证

TL;DR描述了在 Assurance 2.0 及其 Clarissa/ASCE 工具支持下如何表示和评估 defeaters 和多个层次的 defeaters。这些机制还支持消除性论证,这是一种与确保相反的方法,被一些人青睐,它使用负面论证来否定为什么顶层主张可能是错误的所有理由。