Probabilistic Strategy Logic with Degrees of Observability

要約

不完全な情報の下でエージェントの戦略的能力について推論することについては、かなりの研究が行われてきました。
しかし、確率的戦略ロジックなどの既存のロジックでは、情報の透明性に関する特性を表現できません。
情報の透明性は、エージェントの行動や行動が他のエージェントによってどの程度観察可能であるかに関係します。
情報の透明性に関する推論は、セキュリティ、プライバシー、意思決定などの多くの領域で役立ちます。
この論文では、確率的マルチエージェント システムにおける情報の透明性特性について推論するための形式的なフレームワークを紹介します。
エージェントによる時間特性の可観測性の程度を捉える新しい可観測性演算子を使用して、確率的戦略ロジックを拡張します。
結果として得られるロジックのモデル検査問題が決定可能であることを示します。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google