Forgetting/Oubli in areas (2020-01-17)

Some knowledge based systems will have to deal with increasing amount of knowledge. In order to avoid memory overflow, it is necessary to clean memory of useless data. Here is a first step toward an intelligent automatic forgetting scheme. The problem of the close relation between forgetting and inferring is addressed, and a general solution is proposed. It is implemented as invalidation operators for reasoning maintenance system dependency graphs. This results in a general architecture for selective forgetting which is presented in the framework of the Sachem system.

We propose a model of "agent" that has some characteristics at the crossroad of several ongoing research tracks: self rationality, autoepistemic reasoning, cooperative agents and resource-bounded reasoning. That model is particular since available technologies enable its implementation and thus its experimentation. Although in distributed artificial intelligence, the emphasis is on cooperation, we concentrate on belief management. We stress here the resource-bounded reasoning aspect of the work but describe first the architecture of our agents. We then describe the kind of behavior we expect from forgetting and show that this is achievable in both the theoretical and practical frameworks.