10、安全保证案例中的信心与不确定性推理及结核病治疗依从性预测研究

安全保证案例中的信心与不确定性推理及结核病治疗依从性预测研究

安全保证案例中的信心与不确定性推理

在安全保证案例的研究中，不确定性是一个关键问题。不确定性可分为偶然不确定性（aleatory）和认知不确定性（epistemic），研究人员采用了多种方法来处理支持系统可靠性声明的保证论证中固有的不确定性。

证据权重相关问题

Grigorova和Maibuam的工作存在一个问题，即他们没有直接明确谁应该承担考虑证据权重的负担，是保证案例开发者确保所有证据都被考虑到，还是审查者检查证据是否全部包含，他们在这个问题上摇摆不定。

Ayoub等人的研究

• 确认偏差与加权证据 ：Anaheed Ayoub等人从确认偏差的概念出发，确认偏差在人类判断中几乎总是存在。人们往往更倾向于相信与自己先前信念一致的事情，因此构建保证案例的人可能会（可能是无意地）使所使用的证据偏向于主张，而减少可能削弱该主张的证据。Leveson建议在论证系统安全时使用反论证来对抗确认偏差，例如让制造商论证系统不安全，从而迫使他们考虑之前可能会被拒绝的证据。
• 评估论证的充分性和不充分性 ：Ayoub等人则让审查者评估论证的充分性和不充分性，以避免确认偏差。例如，对于“设备可安全使用”这一主张，审查者评估其充分性为80%（0.8），再评估其不充分性（即“设备不可安全使用”）为10%（0.1），那么剩下未被考虑的10%就是不确定性。
• 构建系统方法 ：Ayoub等人试图创建一种“系统的方法来证明安全论证中的信心