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.
conditional independence; formal logics; knolwedge representation; knowledge representation; novelty; relevance; separability
01 Pubblicazione su rivista::01a Articolo in rivista
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]
File allegati a questo prodotto
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   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/124758
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 19
social impact