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. (C) 2002 Elsevier Science B.V. All rights reserved.
Conditional independence in propositional logic / Jerome, Lang; Liberatore, Paolo; Pierre, Marquis. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - STAMPA. - 141:1-2(2002), pp. 79-121. [10.1016/s0004-3702(02)00244-8]
Conditional independence in propositional logic
LIBERATORE, Paolo;
2002
Abstract
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. (C) 2002 Elsevier Science B.V. All rights reserved.File | Dimensione | Formato | |
---|---|---|---|
VE_2002_11573-124758.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
341.09 kB
Formato
Adobe PDF
|
341.09 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.