资源分类
》 资源 》论文》Epistemic Boolean Games Based on a Logic of Visibility and Control

Epistemic Boolean Games Based on a Logic of Visibility and Control

2019-11-22 | |  45 |   50 |   0
Abstract We analyse epistemic boolean games in a computationally grounded dynamic epistemic logic. The agents’ knowledge is determined by what they see, including higher-order visibility: agents may observe whether another agent observes an atom or not. The agents’ actions consist in modifying the truth values of atoms. We provide an axiomatisation of the logic, establish that the model checking problem is in PS PACE, and show how one can reason about equilibria in epistemic boolean games.

上一篇：Distributing Knowledge into Simple Bases

下一篇：Normative Multiagent Systems: A Dynamic Generalization

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...