Endogenizing Epistemic Actions

Through a series of examples, we illustrate some important drawbacks that the action 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'...

Full description

Bibliographic Details
Main Authors: Will Nalls, Adam Bjorndahl
Format: Article
Language:English
Published: Open Publishing Association 2017-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1707.08758v1
Description
Summary:Through a series of examples, we illustrate some important drawbacks that the action 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 to action logic, and provide a sound and complete axiomatization.
ISSN:2075-2180