Through a series of examples, we illustrate some important drawbacks that the action model logic framework suffers from in its ability to represent the dynamics of information updates. We argue that these problems stem from the fact that the action model, a central construct designed to encode agents’ uncertainty about actions, is itself effectively common knowledge amongst the agents. In response to these difficulties, we motivate and propose an alternative semantics that avoids them by (roughly speaking) endogenizing the action model. We discuss the relationship between this new framework and action model logic, and provide a sound and complete axiomatization of several new logics that naturally arise.

通过一系列示例，我们说明了行为模型逻辑框架在表示信息更新动态方面的能力所遭受的一些重要缺陷。我们认为，这些问题源于以下事实：行为模型是一种旨在编码代理对行为的不确定性的中央结构，它本身就是代理之间的有效常识。针对这些困难，我们提出并提出了一种替代语义，该语义可以通过（粗略地说）内生动作模型来避免它们。我们讨论了这个新框架与动作模型逻辑之间的关系，并提供了一些自然而然的新逻辑的健全而完整的公理化。