We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO
< prev | next >
new | recent | 2007

Change to browse by:

cs
cs.AI
econ
econ.TH

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Artificial Intelligence

Title: Dynamic Awareness

Authors: Joseph Y. Halpern, Evan Piermont
(Submitted on 6 Jul 2020)
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.
Comments: To appear in the 17th International Conference on Principles of Knowledge Representation and Reasoning
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Theoretical Economics (econ.TH)
Cite as: arXiv:2007.02823 [cs.AI]
  (or arXiv:2007.02823v1 [cs.AI] for this version)

Submission history

From: Evan Piermont [view email]
[v1] Mon, 6 Jul 2020 15:28:22 GMT (75kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.