Independence and functional dependence relations on secrets
Independence and functional dependence relations on secrets
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.
528-533
Kelvey, Robert
72dc1de0-c9aa-478a-91c6-5b7e5ecccb2d
More, Sara Miner
979b2749-1732-4a36-abda-64b4f6899ea9
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Sapp, Benjamin
4cf155a8-3124-4930-8e4d-d51b453a9963
13 May 2010
Kelvey, Robert
72dc1de0-c9aa-478a-91c6-5b7e5ecccb2d
More, Sara Miner
979b2749-1732-4a36-abda-64b4f6899ea9
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Sapp, Benjamin
4cf155a8-3124-4930-8e4d-d51b453a9963
Kelvey, Robert, More, Sara Miner, Naumov, Pavel and Sapp, Benjamin
(2010)
Independence and functional dependence relations on secrets.
In Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010.
IEEE.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
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.
This record has no associated files available for download.
More information
Published date: 13 May 2010
Venue - Dates:
12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010, , Toronto, ON, Canada, 2010-05-09 - 2010-05-13
Identifiers
Local EPrints ID: 476002
URI: http://eprints.soton.ac.uk/id/eprint/476002
ISSN: 2334-1025
PURE UUID: 542cc54c-d6a6-4133-b1d5-54a72f8bbfbe
Catalogue record
Date deposited: 04 Apr 2023 16:31
Last modified: 06 Mar 2024 03:08
Export record
Contributors
Author:
Robert Kelvey
Author:
Sara Miner More
Author:
Pavel Naumov
Author:
Benjamin Sapp
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics