Conditional independence in propositional logic.
type: Item
instance of: scholarly article
title: Conditional independence in propositional logic.
zbMATH Open document ID: 1043.68094
DOI: 10.1016/S0004-3702(02)00244-8
author: Jérôme Lang
author: Paolo Liberatore
author: Pierre Marquis
published in: Artificial Intelligence
publication date: 2003-01-21T00:00:00Z
review text: Independence -- the study of what is relevant to a given problem of reasoning -- is an important AI topic. In this paper, we investigate several notions of conditional independence in propositional logic: Darwiche and Pearl's conditional independence, and some more restricted forms of it. Many characterizations and properties of these independence relations are provided. We show them related to many other notions of independence pointed out so far in the literature (mainly formula-variable independence, irrelevance and novelty under various forms, separability, interactivity). We identify the computational complexity of conditional independence and of all these related independence relations.
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 1856158
zbMATH Keywords: Conditional independence
zbMATH Keywords: Relevance
zbMATH Keywords: Novelty
zbMATH Keywords: Separability
MaRDI profile type: Publication
cites work: A logical notion of conditional independence: properties and applications
cites work: Q4944961
cites work: The complexity of logic-based abduction
cites work: Novelty in deductive databases
cites work: Propositional information systems
cites work: Relevance from an epistemic perspective
cites work: Q4411161
cites work: Q3221403
cites work: The polynomial-time hierarchy
cites work: Q4028092
full work available at URL: s0004-3702(02)00244-8
OpenAlex ID: W2066789866
Recommended article: A logical notion of conditional independence: properties and applications
Recommended article: Conditionals and Independence in Many-Valued Logics
Recommended article: Propositional logics of dependence
Recommended article: CONDITIONAL INDEPENDENCE RELATIONS IN POSSIBILITY THEORY
Recommended article: LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
Recommended article: Possibility theory: conditional independence
Recommended article: Q5392501
Recommended article: Probabilistic logic with independence
Recommended article: Independence logic and abstract independence relations
description: scientific article; zbMATH DE number 1856158