• DOI:10.1613/jair.1113
Corpus ID: 3118317

Propositional Independence - Formula-Variable Independence and Forgetting

@article{Lang2003PropositionalI,
  title={Propositional Independence - Formula-Variable Independence and Forgetting},
  author={J. Lang and P. Liberatore and P. Marquis},
  journal={J. Artif. Intell. Res.},
  year={2003},
  volume={18},
  pages={391-443}
}

J. Lang, P. Liberatore, P. Marquis

Published 2003

Computer Science

J. Artif. Intell. Res.

Independence - the study of what is relevant to a given problem of reasoning - has received an increasing attention from the AI community. In this paper, we consider two basic forms of independence, namely, a syntactic one and a semantic one. We show features and drawbacks of them. In particular, while the syntactic form of independence is computationally easy to check, there are cases in which things that intuitively are not relevant are not recognized as such. We also consider the problem of… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed