AAAI Publications, Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Independence and Functional Dependence Relations on Secrets
Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp

Last modified: 2010-04-27


We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different epistemic interpretations for these relations are discussed: semantics of secrets and probabilistic semantics. A logical system sound and complete with respect to both of these semantics is introduced and is shown to be decidable.


independence; nondeducibility; dependence; logic

Full Text: PDF