Dynamic Awareness. / Halpern, Joseph Y ; Piermont, Evan.

17th International Conference on Principles of Knowledge Representation and Reasoning. 2020.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

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 ϕ 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.
Original languageEnglish
Title of host publication17th International Conference on Principles of Knowledge Representation and Reasoning
Publication statusPublished - Sep 2020
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 43348828