Abstract
We investigate how to model the beliefs of an agent who becomes more aware. We use the framework of Halpern and Rêgo (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 sin a model M. We then discuss how such a model can be applied to information disclosure.
Cite
CITATION STYLE
Halpern, J. Y., & Piermont, E. (2020). Dynamic awareness. In 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 (Vol. 2, pp. 475–483). International Joint Conference on Artificial Intelligence (IJCAI). https://doi.org/10.24963/kr.2020/48
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
