BriefGPT.xyz
Dec, 2024
具有可观察性度的概率策略逻辑
Probabilistic Strategy Logic with Degrees of Observability
HTML
PDF
Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
TL;DR
本研究针对现有的概率策略逻辑在信息透明度表达上的不足，提出了一种新的形式化框架，以便在随机多智能体系统中推理信息透明性特性。论文引入新的可观察性运算符，从而捕捉时间属性的可观察度，并证明所提出逻辑的模型检测问题是可决定的，提升了在安全、隐私和决策等领域的应用潜力。
Abstract
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
→