03/08/2020

Probably approximately knowing

Yoram Moses, Nitzan Zamir

Keywords: probabilistic constraints, locality of information, probabilistic protocols, probabilistic beliefs

Abstract: Whereas deterministic protocols are typically guaranteed to obtain particular goals of interest, probabilistic protocols typically provide only probabilistic guarantees. This paper initiates an investigation of the interdependence between actions and subjective beliefs of agents in a probabilistic setting. In particular, we study what probabilistic beliefs an agent should have when performing actions, in a protocol that satisfies a probabilistic constraint of the form: Condition ϕ should hold with probability at least p when action α is performed. Our main result is that the expected degree of an agent’s belief in ϕ when it performs α equals the probability that ϕ holds when α is performed. Indeed, if the threshold of the probabilistic constraint should hold with probability p = 1 − ε2 for some small value of ε then, with probability 1 − ε, when the agent acts it will assign a probabilistic belief no smaller than 1 − ε to the possibility that ϕ holds. In other words, viewing strong belief as, intuitively, approximate knowledge, the agent must Probably Approximately Know (PAK-know) that ϕ is true when it acts.

 0
 0
 0
 0
This is an embedded video. Talk and the respective paper are published at PODC 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd

Similar Papers