Dynamic Awareness

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 φ 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.

Authors

• Joseph Y. Halpern
• Evan Piermont

Keywords

• Decision making-General
• Knowledge representation languages-General
• Uncertainty, vagueness, many-valued and fuzzy logics-General