Dynamic Awareness

• Tác giả: Joseph Y Halpern, Evan Piermont
• Ngôn ngữ: eng
• Ký hiệu phân loại: 537.5 Electronics
• Thông tin xuất bản: 2020
• Bộ sưu tập: Báo, Tạp chí
• ID: 164810

Tóm tắt

Comment: To appear in the 17th International Conference on Principles of Knowledge Representation and ReasoningWe 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.