2、创建清晰安全论证的新方法

创建清晰安全论证的新方法

在安全论证领域，构建清晰且有说服力的论证至关重要。下面将详细介绍创建安全论证的相关概念、结构以及一个实际的示例。

1. 断言推理（Asserted inference）

在论证中，当一个主张被其他主张支持时，就做出了一个断言，即这种推理是恰当且充分的。在演绎论证中，前提主张能证明特定结论；而在归纳论证中，断言的是前提的可能真实性足以确立结论的可能真实性。安全论证通常以归纳论证为主。

例如，在GSN（Goal Structuring Notation）中，如果给定适用的上下文，为实现所选论证策略而提出的子主张若为真，就足以推断出父主张中陈述的结论。为了确保所采用的论证策略的可靠性，需要提供一个置信论证，来说明为什么应该相信这个断言推理。断言推理的论证主张点（ACP）是父主张与其策略或子主张之间的联系。

元素	说明
父主张	整体的结论主张
子主张	支持父主张的具体主张
断言推理	连接父主张和子主张的逻辑关系
ACP	论证主张点，体现推理的合理性

下面是一个简单的mermaid流程图来展示断言推理：