Propositional Independence - Formula-Variable Independence and Forgetting

Details Propositional Independence - Formula-Variable Independence and Forgetting Propositional Independence - Formula-Variable Independence and Forgetting

2011-06-22

arxiv.org/abs/1106.4578v1

Journal Of Artificial Intelligence Research, Volume 18, pages 391-443, 2003

Computer Science

Artificial Intelligence

Scientific paper

10.1613/jair.1113

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 forgetting, i.e., distilling from a knowledge base only the part that is relevant to the set of queries constructed from a subset of the alphabet. While such process is computationally hard, it allows for a simplification of subsequent reasoning, and can thus be viewed as a form of compilation: once the relevant part of a knowledge base has been extracted, all reasoning tasks to be performed can be simplified.

Affiliated with

Also associated with

No associations

Rating

Propositional Independence - Formula-Variable Independence and Forgetting does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Propositional Independence - Formula-Variable Independence and Forgetting, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Propositional Independence - Formula-Variable Independence and Forgetting will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-469021