Propositional Independence - Formula-Variable Independence and Forgetting

06/22/2011
by   J. Lang, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/10/2015

On Forgetting in Tractable Propositional Fragments

Distilling from a knowledge base only the part that is relevant to a sub...
research
01/15/2014

Variable Forgetting in Reasoning about Knowledge

In this paper, we investigate knowledge reasoning within a simple framew...
research
06/26/2011

New Polynomial Classes for Logic-Based Abduction

We address the problem of propositional logic-based abduction, i.e., the...
research
12/16/2009

Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

Abduction is a fundamental and important form of non-monotonic reasoning...
research
11/22/2002

Redundancy in Logic I: CNF Propositional Formulae

A knowledge base is redundant if it contains parts that can be inferred ...
research
07/14/2021

Forgetting in Answer Set Programming – A Survey

Forgetting - or variable elimination - is an operation that allows the r...
research
01/30/2018

A Rational Distributed Process-level Account of Independence Judgment

It is inconceivable how chaotic the world would look to humans, faced wi...

Please sign up or login with your details

Forgot password? Click here to reset