Dynamic Awareness

TL;DR

This paper extends a logical framework to model how agents' beliefs change as they become more aware, incorporating probabilities and exploring implications for information disclosure.

Contribution

It introduces a probabilistic extension to the awareness framework and defines model transitions for awareness updates, advancing understanding of belief dynamics.

Findings

Defined a model transition for awareness increase

Integrated probability into the awareness framework

Discussed applications to information disclosure

Abstract

We investigate how to model the beliefs of an agent who becomes more aware. We use the framework of Halpern and Rego (2013) by adding probability, and define a notion of a model transition that describes constraints on how, if an agent becomes aware of a new formula $\phi$ in state $s$ of a model $M$, she transitions to state $s^*$ in a model $M^*$. We then discuss how such a model can be applied to information disclosure.