R.E. Axiomatization of conditional independence
R.E. Axiomatization of conditional independence
The paper investigates properties of the conditional independence relation between pieces of information. This relation is also known in the database theory as embedded multivalued dependency. In 1980, Parker and Parsaye-Ghomi established that the properties of this relation can not be described by a finite system of inference rules. In 1995, Herrmann proved that the propositional theory of this relation is undecidable. The main result of this paper is a complete recursively enumerable axiomatization of this theory.
148-155
American Institute of Mathematical Sciences
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
9 January 2013
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
Naumov, Pavel and Nicholls, Brittany
(2013)
R.E. Axiomatization of conditional independence.
Schipper, Burkhard C.
(ed.)
In Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013.
American Institute of Mathematical Sciences.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper investigates properties of the conditional independence relation between pieces of information. This relation is also known in the database theory as embedded multivalued dependency. In 1980, Parker and Parsaye-Ghomi established that the properties of this relation can not be described by a finite system of inference rules. In 1995, Herrmann proved that the propositional theory of this relation is undecidable. The main result of this paper is a complete recursively enumerable axiomatization of this theory.
This record has no associated files available for download.
More information
Published date: 9 January 2013
Additional Information:
Publisher Copyright:
Copyright 2013 by the authors.
Venue - Dates:
14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013, , Chennai, India, 2013-01-07 - 2013-01-09
Identifiers
Local EPrints ID: 475999
URI: http://eprints.soton.ac.uk/id/eprint/475999
PURE UUID: 055e394c-d227-414a-a7a1-dd5e392ae876
Catalogue record
Date deposited: 04 Apr 2023 16:31
Last modified: 05 Apr 2023 02:03
Export record
Contributors
Author:
Pavel Naumov
Author:
Brittany Nicholls
Editor:
Burkhard C. Schipper
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