走向保证论证中定量置信度评估的组合语义

保证论点提供了一种清晰且结构化的方式来解释为什么利益相关者应该相信系统满足某些属性，但广泛使用的符号，例如目标结构化符号（GSN），通常缺乏用于导出保证信心的操作语义。现有的方法解决了结构和健全性问题，但主要是对真值的推理，而不是对主张合理性的信心。主观逻辑 (SL) 提供了信念、怀疑和不确定性的计算，并通过运算符组合意见，从而在不完整、冲突或主观证据下实现置信传播。然而，现有的基于 SL 的方法并未提供涵盖所有论证元素和关系的统一的组合语义，以实现整体置信度评估。我们提出了一种置信语义，将论证元素表示为 SL 意见，并将元素之间的关系映射到 SL 运算符，对置信度如何流动进行建模，从而有效地将论证转变为可分析的置信网络。该方法提供了明确的保证、有原则的上下文处理、保留的出处以及与 GSN 的兼容性，以及使用示例性保证置信度评估的实用指导。