The notion of forgetting, also known as variable elimination, has been investigated extensively in the context of classical logic, but less so in (nonmonotonic) logic programming and nonmonotonic reasoning. The few approaches that exist are based on syntactic modifications of a program at hand. In this paper, we establish a declarative theory of forgetting for disjunctive logic programs under a...

We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one of our results shows that our notion of forgetting is completely captured by the classical forgetting. A transformation-based algorithm is also developed for computing the result of forgetting. We also provide an anal...

Distilling from a knowledge base only the part that is relevant to a subset of alphabet, which is recognized as forgetting, has attracted extensive interests in AI community. In standard propositional logic, a general algorithm of forgetting and its computation-oriented investigation in various fragments whose satisfiability are tractable are still lacking. The paper aims at filling the gap. Af...

In this paper we examine the possible benefits of increasing efficiency of external memory systems on two organizational communication structures, a legacy communication structure and a proposed future communication structure, for a logistical command and control military staff. External memory aids are a popular area of study in the field of HCI and CSCW (Norman, 1993). We first compared the o...

The notion of uniform interpolation for description logic ALC has been introduced in [9]. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our...

The idea that sleep improves memory processing has a long history and has been highly challenged and enriched these last decades. While Crick & Mitchison [1] early suggested that sleep could promote forgetting of daily unwanted memories, their hypothesis failed to reach researchers mind as most of the investigations reported opposite results, that is, sleep prevented forgetting. Now a wide rang...

A long-term goal of AI is to produce agents that can learn a diversity of skills throughout their lifetimes and continuously improve those skills via experience. A longstanding obstacle towards that goal is catastrophic forgetting, which is when learning new information erases previously learned information. Catastrophic forgetting occurs in artificial neural networks (ANNs), which have fueled ...