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
→