2007/01/01 by Abhaya Nayak, Yin Chen, Nayak, Abhaya +3 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Dalal Distance #Erasure #Forgetting #Knowledge Update #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Winslett Distance.
paper · doi:10.4230/dagsemproc.07351.12
openalex publication_date 2007/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Knowledge Update (respectively Erasure) and Forgetting are two very different concepts, with very different underlying motivation. Both are tools for knowledge management; however while the former is meant for accommodating new knowledge into a knowledge corpus, the latter is meant for modifying – in fact reducing the expressivity – of the underlying language. In this paper we show that there is an intimate connection between these two concepts: a particular form of knowledge update and literal forgetting are inter-definable. This connection is exploited to enhance both our understanding of update as well as forgetting in this paper.