Hidden protocols

Authors:
Hans van Ditmarsch;Sujata Ghosh;Rineke Verbrugge;Yanjing Wang
Affiliations:
University of Sevilla, Calle Camilo José Cela s/n, Sevilla, Spain;University of Groningen, AK Groningen, The Netherlands;University of Groningen, AK Groningen, The Netherlands;Peking University, Beijing, China
Venue:
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Year:
2011

Citing 12
Cited 2

Reasoning about knowledge

Reasoning about knowledge
Derivatives of Regular Expressions

Journal of the ACM (JACM)
The Code Book: The Evolution of Secrecy from Mary, Queen of Scots, to Quantum Cryptography

The Code Book: The Evolution of Secrecy from Mary, Queen of Scots, to Quantum Cryptography
Automata on Guarded Strings and Applications

Automata on Guarded Strings and Applications
A Knowledge Based Semantics of Messages

Journal of Logic, Language and Information
Knowledge-based programs

Distributed Computing
Logics of communication and change

Information and Computation
Learning to Apply Theory of Mind

Journal of Logic, Language and Information
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Epistemic dynamics and protocol information

Epistemic dynamics and protocol information
Reasoning about protocol change and knowledge

ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Perception and change in update logic

Games, Actions and Social Software

An alternative axiomatization of DEL and its applications

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hidden protocols: Modifying our expectations in an evolving world

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.