扩展策略逻辑，让智能体能评估彼此行为的可见程度。
Probabilistic Strategy Logic with Degrees of Observability
- 引入可观测度算子，量化智能体对其他行为的观察程度。
- 证明扩展后的逻辑模型检测问题可判定，理论完备。
- 适合安全、隐私和多智能体决策领域的研究者参考。
现有推理智能体在不完全信息下的战略能力的逻辑体系，如概率策略逻辑，难以表达与信息透明度相关的性质。信息透明度指智能体的行为和行动被其他智能体观测到的程度，对安全、隐私及决策等领域至关重要。本文提出一个形式化框架，用于分析随机多智能体系统中的信息透明度属性。通过在概率策略逻辑中引入新的可观测度算子，捕捉智能体对时序性质的可观测程度。我们证明了由此产生的逻辑的模型检测问题是可判定的。
原文摘要 · Abstract (English)
There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are unable to express properties relating to information transparency. Information transparency concerns the extent to which agents' actions and behaviours are observable by other agents. Reasoning about information transparency is useful in many domains including security, privacy, and decision-making. In this paper, we present a formal framework for reasoning about information transparency properties in stochastic multi-agent systems. We extend Probabilistic Strategy Logic with new observability operators that capture the degree of observability of temporal properties by agents. We show that the model checking problem for the resulting logic is decidable.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。