Public observation logic (POL) reasons about agent expectations and agent observations in various real world situations. The expectations of agents take shape based on certain protocols about the world around and they remove those possible scenarios where their expectations and observations do not match. This in turn influences the epistemic reasoning of these agents. In this work, we study the computational complexity of the satisfaction problems of various fragments of POL. In the process, we also highlight the inevitable link that these fragments have with the well-studied Public announcement logic.

翻译：公共观察逻辑（POL）在多种现实情境中推理智能体的期望与观察行为。智能体的期望基于对周围世界的特定协议而形成，并剔除那些与期望和观察不一致的可能场景。这一过程进而影响智能体的认知推理能力。本文系统研究了POL各子片段的可满足性问题的计算复杂性，同时揭示了这些子片段与已得到充分研究的公共宣告逻辑之间不可分割的内在联系。