Hidden Protocols

Hans van Ditmarsch,Sujata Ghosh,Rineke Verbrugge,Yanjing Wang
DOI: https://doi.org/10.1145/2000378.2000386
2011-01-01
Abstract:When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a logic to reason about knowledge in such scenarios.
What problem does this paper attempt to address?