Abstract:Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator, characterized in [Lin and Reiter'94] in terms of model-theoretic semantics and primarily focusing on the propositional case, opened up a new research subarea. In this paper, a new operator called weak forgetting, dual to standard forgetting, is introduced and both together are shown to offer a new more uniform perspective on forgetting operators in general. Both the weak and standard forgetting operators are characterized in terms of entailment and inference, rather than a model theoretic semantics. This naturally leads to a useful algorithmic perspective based on quantifier elimination and the use of Ackermman's Lemma and its fixpoint generalization. The strong formal relationship between standard forgetting and strongest necessary conditions and weak forgetting and weakest sufficient conditions is also characterized quite naturally through the entailment-based, inferential perspective used. The framework used to characterize the dual forgetting operators is also generalized to the first-order case and includes useful algorithms for computing first-order forgetting operators in special cases. Practical examples are also included to show the importance of both weak and standard forgetting in modeling and representation.

Reconstructing a single-head formula to facilitate logical forgetting

One head is better than two: a polynomial restriction for propositional definite Horn forgetting

Common equivalence and size of forgetting from Horn formulae

Common equivalence and size after forgetting

Four algorithms for propositional forgetting

A prime implicates-based formulae forgetting

On Forgetting in Tractable Propositional Fragments

Abductive forgetting

Forgetting Formulas and Signature Elements in Epistemic States

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions

Efficient Normalization of Linear Temporal Logic

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

Concept Forgetting for ALCOI-Ontologies Using an Ackermann Approach

Forgetting complex propositions

Quantitatively Evaluating Formula-Variable Relevance by Forgetting.

A Practical Approach to Forgetting in Description Logics with Nominals.

Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension

A Fixed-point Theorem for Horn Formula Equations

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

On Concept Forgetting in Description Logics with Qualified Number Restrictions

On Forgetting Postulates in Answer Set Programming.