KI - Künstliche Intelligenz

, Volume 33, Issue 1, pp 57–68 | Cite as

Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management

  • Christoph BeierleEmail author
  • Gabriele Kern-Isberner
  • Kai Sauerwald
  • Tanja Bock
  • Marco Ragni
Technical Contribution


While humans have developed extremely effective ways of forgetting outdated or currently irrelevant information, freeing them to process ever-increasing amounts of information, there seems to be a gap between the technically defined notions of forgetting in knowledge representation and the common-sense understanding of forgetting. In order to bring different notions of forgetting closer together, we elaborate and identify kinds and contexts of forgetting from a common sense perspective. We present abstract formalizations of operations involving forgetting in a generic axiomatic style. We instantiate and refine this abstract framework with conditional beliefs and ordinal conditional functions as a high-level semantics. Using a general concept of change employing the principle of conditional preservation, we also introduce OCF-based realizations of forgetting operations inspired by cognitive psychology. Thereby, our work may be used to further develop a general view on forgetting in artificial intelligence and to initiate and enhance the interaction and exchange among research lines dealing with forgetting.


Belief change Common sense Forgetting Conditionals Ranking functions 



The research reported here was carried out in the FADE project and was supported by the German Research Society (DFG) within the Priority Research Program Intentional Forgetting in Organisations (DFG-SPP 1921; grants BE 1700/9-1, KE 1413/10-1, RA 1934/5-1). We thank the anonymous reviewers for their detailed and valuable comments that helped us to improve the article.


  1. 1.
    Alchourrón C, Gärdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Logic 50(2):510–530MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New YorkCrossRefGoogle Scholar
  3. 3.
    Anderson JR, Byrne MD, Douglass S, Lebiere C, Qin Y (2004) An integrated theory of the mind. Psychol Rev 111(4):1036–1050CrossRefGoogle Scholar
  4. 4.
    Beierle C, Bock T, Kern-Isberner G, Ragni M, Sauerwald K (2018) Kinds and aspects of forgetting in common-sense knowledge and belief management. In: Trollmann F, Turhan A (eds) KI 2018: advances in artificial intelligence, 41st German conference on AI, proceedings, LNAI, vol 11117, Springer, Berlin, pp 366–373Google Scholar
  5. 5.
    Beierle C, Kern-Isberner G (2009) Formal similarities and differences among qualitative conditional semantics. Int J Approx Reason 50(9):1333–1346MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Beierle C, Kern-Isberner G (2012) Semantical investigations into nonmonotonic and probabilistic logics. Ann Math Artif Intell 65(2–3):123–158MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Boole G (1854) An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Walton and Maberly, LondonzbMATHGoogle Scholar
  8. 8.
    Darwiche A, Pearl J (1997) On the logic of iterated belief revision. Artif Intell 89:1–29MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    DeFinetti B (1974) Theory of probability, vol 1,2. Wiley, New YorkGoogle Scholar
  10. 10.
    Delgrande JP (2014) Towards a knowledge level analysis of forgetting. In: Principles of knowledge representation and reasoning. In: Proceedings of the fourteenth international conference, KR 2014, Vienna, 20–24 July 2014Google Scholar
  11. 11.
    Delgrande JP (2017) A knowledge level account of forgetting. J Artif Intell Res 60:1165–1213MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    van Ditmarsch H, Herzig A, Lang J, Marquis P (2009) Introspective forgetting. Synthese 169(2):405–423MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Dubois D, Prade H (1997) Focusing vs. belief revision: a fundamental distinction when dealing with generic knowledge. In: Gabbay DM, Kruse R, Nonnengart A, Ohlbach HJ (eds) Qualitative and quantitative practical reasoning. Springer, Berlin, pp 96–107CrossRefGoogle Scholar
  14. 14.
    Ebbinghaus H (1885) Über das Gedächtnis. Untersuchungen zur experimentellen Psychologie. Duncker and Humblot, LeipzigGoogle Scholar
  15. 15.
    Gärdenfors P, Rott H (1995) Belief revision. In: Gabbay DM, Hogger CJ, Robinson JA (eds) Handbook of logic in artificial intelligence and logic programming, vol 4. Oxford University Press, Oxford, pp 35–132Google Scholar
  16. 16.
    Goldszmidt M, Pearl J (1996) Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif Intell 84:57–112MathSciNetCrossRefGoogle Scholar
  17. 17.
    Gonçalves R, Knorr M, Leite J (2016) The ultimate guide to forgetting in answer set programming. In: Baral C, Delgrande JP, Wolter F (eds) Principles of knowledge representation and reasoning: proceedings of the fifteenth international conference, KR 2016, AAAI Press, California, pp 135–144Google Scholar
  18. 18.
    Katsuno H, Mendelzon A (1991) Propositional knowledge base revision and minimal change. Artif Intell 52:263–294MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Kern-Isberner G (1999) A unifying framework for symbolic and numerical approaches to nonmonotonic reasoning and belief revision. Department of Computer Science, FernUniversität Hagen. Habilitation thesisGoogle Scholar
  20. 20.
    Kern-Isberner G (2004) A thorough axiomatization of a principle of conditional preservation in belief revision. Ann Math Artif Intell 40(1–2):127–164MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Kern-Isberner G (2018) Axiomatizing a qualitative principle of conditional preservation for iterated belief change. In: Proceedings 16th international conference on principles of knowledge representation and reasoning, KR 2018, pp 248–256Google Scholar
  22. 22.
    Kern-Isberner G, Bock T, Sauerwald K, Beierle C (2017) Iterated contraction of propositions and conditionals under the principle of conditional preservation. In: Benzmüller C, Lisetti CL, Theobald M (eds) 3rd global conference on artificial intelligence (GCAI), EPiC series in computing, vol 50, EasyChair, pp 78–92.
  23. 23.
    Laird J (2012) The Soar cognitive architecture. MIT Press, CambridgeCrossRefGoogle Scholar
  24. 24.
    Lang J, Liberatore P, Marquis P (2003) Propositional independence: formula-variable independence and forgetting. J Artif Intell Res 18:391–443MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Leite J (2017) A bird’s-eye view of forgetting in answer-set programming. In: Balduccini M, Janhunen T (eds) Logic programming and nonmonotonic reasoning—14th international conference, LPNMR 2017, Espoo, 3–6 July 2017, Proceedings, Lecture notes in computer science, vol 10377, Springer, Berlin, pp 10–22Google Scholar
  26. 26.
    Levi I (1977) Subjunctives, dispositions and chances. Synthese 34(4):423–455CrossRefzbMATHGoogle Scholar
  27. 27.
    Lin F (2000) On strongest necessary and weakest sufficient conditions. In: Cohn AG, Giunchiglia F, Selman B (eds) KR 2000, Principles of knowledge representation and reasoning. Proceedings of the seventh international conference, Breckenridge, Morgan Kaufmann, 11–15 Apr 2000, pp 167–175Google Scholar
  28. 28.
    Lin F, Reiter R (1994) Forget it! In: Proceedings of the AAAI fall symposium on relevance, AAAI Press, Menlo Park, pp 154–159Google Scholar
  29. 29.
    Mac Lane S (1972) Categories for the working mathematician. Springer, New YorkzbMATHGoogle Scholar
  30. 30.
    Makinson D (1994) General patterns in nonmonotonic reasoning. In: Gabbay D, Hogger C, Robinson J (eds) Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press, Oxford, pp 35–110Google Scholar
  31. 31.
    Pearl J (1988) Probabilistic reasoning in intelligent systems. Morgan Kaufmann, San MateozbMATHGoogle Scholar
  32. 32.
    Ragni M, Sauerwald K, Bock T, Kern-Isberner G, Friemann P, Beierle C (2018) Towards a formal foundation of cognitive architectures. In: Proceedings of the 40th annual meeting of the Cognitive Science Society, CogSci 2018, Madison, 25–28 July 2018,, pp 2321–2326.
  33. 33.
    Rajaratnam D, Levesque HJ, Pagnucco M, Thielscher M (2014) Forgetting in action. In: Principles of knowledge representation and reasoning. Proceedings of the fourteenth international conference, KR 2014, Vienna, 20–24 July 2014Google Scholar
  34. 34.
    Scherl RB, Levesque HJ (1993) The frame problem and knowledge-producing actions. In: Fikes R, Lehnert WG (eds) Proceedings of the 11th national conference on artificial intelligence, Washington, DC, 11–15 July 1993. AAAI Press/ The MIT Press, pp 689–695Google Scholar
  35. 35.
    Spohn W (1988) Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper W, Skyrms B (eds) Causation in decision, belief change, and statistics, vol II. Kluwer Academic Publishers, Dordrecht, pp 105–134CrossRefGoogle Scholar
  36. 36.
    Wang K, Wang Z, Topor RW, Pan JZ, Antoniou G (2009) Concept and role forgetting in \({\cal{ALC}}\) ontologies. In: Bernstein A, Karger DR, Heath T, Feigenbaum L, Maynard D, Motta E, Thirunarayan K (eds) The semantic web—ISWC 2009, 8th international semantic web conference, ISWC 2009, Chantilly, 25–29 Oct 2009. Proceedings, LNCS, vol 5823, Springer, Berlin, pp 666–681Google Scholar
  37. 37.
    Wang Y, Wang K, Zhang M (2013) Forgetting for answer set programs revisited. In: Rossi F (ed) IJCAI 2013, Proceedings of the 23rd international joint conference on artificial intelligence, Beijing, 3–9 Aug 2013, IJCAI/AAAI, pp 1162–1168Google Scholar
  38. 38.
    Zhang Y, Zhou Y (2009) Knowledge forgetting: properties and applications. Artif Intell 173(16):1525–1537MathSciNetCrossRefzbMATHGoogle Scholar
  39. 39.
    Zhou Y, Zhang Y (2011) Bounded forgetting. In: Burgard W, Roth D (eds) Proceedings of the twenty-fifth AAAI conference on artificial intelligence, AAAI, San Francisco, 7–11 Aug 2011Google Scholar

Copyright information

© Gesellschaft für Informatik e.V. and Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.FernUniversität in HagenHagenGermany
  2. 2.Technical University DortmundDortmundGermany
  3. 3.University of FreiburgFreiburgGermany

Personalised recommendations