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
    216 Citations

    Topics from this paper

    Projection and scope-determined circumscription
    • C. Wernhard
    • Computer Science, Mathematics
    • J. Symb. Comput.
    • 2012
    • 14
    • Highly Influenced
    • PDF
    A Logical Study of Partial Entailment
    • 1
    • Highly Influenced
    • PDF
    Literal Projection for First-Order Logic
    • 16
    • Highly Influenced
    • PDF
    PROJECTING SUPERFICIAL WORDS OUT
    • 2019
    • Highly Influenced
    A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective
    • 20
    • Highly Influenced
    • PDF
    Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management
    • 8
    • Highly Influenced
    A Knowledge Level Account of Forgetting
    • 20
    • Highly Influenced
    • PDF
    On Forgetting in Tractable Propositional Fragments
    • 1
    • Highly Influenced
    • PDF
    Knowledge Forgetting in Answer Set Programming
    • 24
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 67 REFERENCES
    Conditional independence in propositional logic
    • 29
    • PDF
    Resolving Inconsistencies by Variable Forgetting
    • 48
    • PDF
    A Perspective on Knowledge Compilation
    • 52
    Efficient Consequence Finding
    • 59
    • PDF
    Theorem Proving with Structured Theories
    • 58
    • PDF
    Updates, actions, and planning
    • 21
    Updating Epistemic States
    • 9