[论文解读] Context-dependent Trust Decisions with Subjective Logic

Federico Cerutti, Alice Toniolo+2 more|arXiv (Cornell University)|Sep 19, 2013

Access Control and Trust参考文献 23被引用 4

一句话总结

本文提出了一种新颖的主观逻辑算子，通过结合可信度与上下文相关的置信度，提升多智能体系统中的信任决策。通过将置信度形式化为一种主观逻辑意见，并引入基于几何结构的算子，作者证明了现有主观逻辑算子在信任-置信融合中无法满足关键属性，而新算子在形式约束下可确保合理且上下文敏感的信任评估。

ABSTRACT

A decision procedure implemented over a computational trust mechanism aims to allow for decisions to be made regarding whether some entity or information should be trusted. As recognised in the literature, trust is contextual, and we describe how such a context often translates into a confidence level which should be used to modify an underlying trust value. Jøsang's Subjective Logic has long been used in the trust domain, and we show that its operators are insufficient to address this problem. We therefore provide a decision-making approach about trust which also considers the notion of confidence (based on context) through the introduction of a new operator. In particular, we introduce general requirements that must be respected when combining trustworthiness and confidence degree, and demonstrate the soundness of our new operator with respect to these properties.

研究动机与目标

• 为解决现有主观逻辑算子在信任决策过程中处理上下文相关置信度方面的局限性。
• 将源自上下文因素（例如环境条件、系统状态）的置信度概念形式化为一种主观逻辑意见。
• 定义一组形式化要求，任何信任-置信融合算子都必须满足，以确保逻辑一致性和合理性。
• 设计并验证一种新算子，满足所有推导出的要求，确保稳健且上下文敏感的信任评估。
• 通过形式化分析与几何推理，展示所提算子相较于现有主观逻辑算子的优越性。

提出的方法

• 使用标准意见结构（信任度、不信任度、不确定性）将可信度与置信度均表示为主观逻辑意见。
• 定义四项核心属性（单调性、单位元、一致性与有界性），任何信任-置信融合算子都必须满足。
• 在意见单纯形中使用几何推理，将信任与置信意见的组合建模为投影操作。
• 提出一种新二元算子，将一个信任意见与一个置信意见映射为最终的信任意见，确保满足四项形式属性。
• 通过形式化证明与主观逻辑框架内的几何分析，验证该算子的合理性。
• 将所提算子与现有主观逻辑算子（如演绎、折扣）进行比较，突出其在上下文相关信任融合中的独特适用性。

实验结果

研究问题

• RQ1 如何正式表示并整合上下文相关的置信度，以用于主观逻辑中的信任决策？
• RQ2 信任-置信融合算子必须满足哪些形式属性，以确保逻辑一致性和可靠性？
• RQ3 为何现有主观逻辑算子在上下文场景中无法正确融合可信度与置信度？
• RQ4 能否构建一种新算子，满足所有必需属性的同时保持主观逻辑的几何结构？
• RQ5 在功能性和适用于信任融合方面，所提算子与既有的主观逻辑算子（如演绎与折扣）相比有何差异？

主要发现

• 所提算子成功满足信任-置信融合的全部四项形式要求——单调性、单位元、一致性和有界性。
• 现有主观逻辑算子（包括演绎与折扣）在应用于信任-置信融合时，至少不满足一项所需属性。
• 新算子所采用的几何投影方法确保最终的信任意见始终位于有效的意见单纯形内，从而保持逻辑一致性。
• 该算子通过允许源自上下文相似性或环境因素的置信度调节最终信任值，实现上下文敏感的信任决策。
• 该方法为将上下文信息正式整合进信任机制提供了基础，提升了在动态或不确定环境中决策的鲁棒性。
• 作者证明了源自上下文的置信度与声誉或传递性信任不同，因此在主观逻辑中需要专门的算子。