Forgetting and knowledge update

Authors:
Abhaya Nayak;Yin Chen;Fangzhen Lin
Affiliations:
Intelligent Systems Group, Department of Computing, Division of ICS, Macquare University, Sydney, NSW, Australia;Department of Comp. Sc., South China Normal University, Guangzhou, P.R. China;Department of Comp. Sc., Hong Kong U of Sc. & Tech., Clear Water Bay, Hong Kong
Venue:
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Year:
2006

Citing 5
Cited 3

A consistency-based approach for belief change

Artificial Intelligence
Propositional independence: formula-variable independence and forgetting

Journal of Artificial Intelligence Research
Introducing actions into qualitative simulation

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Syntactic characterizations of belief change operators

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Quota and Gmin merging operators

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Compositional belief update

Journal of Artificial Intelligence Research
Propositional Update Operators Based on Formula/Literal Dependence

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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, namely the KM update using Dalal Distance, and literal forgetting are inter-definable. This connection is exploited to enhance both our understanding of update as well as forgetting in this paper.