Skip to main content

Advertisement

SpringerLink
Log in

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

  • Technical Contribution
  • Published:
KI - Künstliche Intelligenz Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. A different view on focussing is proposed in [13], where generic and evidential knowledge are distinguished.

References

  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–530

    Article  MathSciNet  MATH  Google Scholar 

  2. Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New York

    Book  Google Scholar 

  3. Anderson JR, Byrne MD, Douglass S, Lebiere C, Qin Y (2004) An integrated theory of the mind. Psychol Rev 111(4):1036–1050

    Article  Google Scholar 

  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–373

  5. Beierle C, Kern-Isberner G (2009) Formal similarities and differences among qualitative conditional semantics. Int J Approx Reason 50(9):1333–1346

    Article  MathSciNet  MATH  Google Scholar 

  6. Beierle C, Kern-Isberner G (2012) Semantical investigations into nonmonotonic and probabilistic logics. Ann Math Artif Intell 65(2–3):123–158

    Article  MathSciNet  MATH  Google Scholar 

  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, London

    MATH  Google Scholar 

  8. Darwiche A, Pearl J (1997) On the logic of iterated belief revision. Artif Intell 89:1–29

    Article  MathSciNet  MATH  Google Scholar 

  9. DeFinetti B (1974) Theory of probability, vol 1,2. Wiley, New York

    Google Scholar 

  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 2014

  11. Delgrande JP (2017) A knowledge level account of forgetting. J Artif Intell Res 60:1165–1213

    Article  MathSciNet  MATH  Google Scholar 

  12. van Ditmarsch H, Herzig A, Lang J, Marquis P (2009) Introspective forgetting. Synthese 169(2):405–423

    Article  MathSciNet  MATH  Google Scholar 

  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–107

    Chapter  Google Scholar 

  14. Ebbinghaus H (1885) Über das Gedächtnis. Untersuchungen zur experimentellen Psychologie. Duncker and Humblot, Leipzig

    Google Scholar 

  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–132

    Google Scholar 

  16. Goldszmidt M, Pearl J (1996) Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif Intell 84:57–112

    Article  MathSciNet  Google Scholar 

  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–144

  18. Katsuno H, Mendelzon A (1991) Propositional knowledge base revision and minimal change. Artif Intell 52:263–294

    Article  MathSciNet  MATH  Google Scholar 

  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 thesis

  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–164

    Article  MathSciNet  MATH  Google Scholar 

  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–256

  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. http://www.easychair.org/publications/volume/GCAI_2017

  23. Laird J (2012) The Soar cognitive architecture. MIT Press, Cambridge

    Book  Google Scholar 

  24. Lang J, Liberatore P, Marquis P (2003) Propositional independence: formula-variable independence and forgetting. J Artif Intell Res 18:391–443

    Article  MathSciNet  MATH  Google Scholar 

  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–22

  26. Levi I (1977) Subjunctives, dispositions and chances. Synthese 34(4):423–455

    Article  MATH  Google Scholar 

  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–175

  28. Lin F, Reiter R (1994) Forget it! In: Proceedings of the AAAI fall symposium on relevance, AAAI Press, Menlo Park, pp 154–159

  29. Mac Lane S (1972) Categories for the working mathematician. Springer, New York

    MATH  Google Scholar 

  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–110

    Google Scholar 

  31. Pearl J (1988) Probabilistic reasoning in intelligent systems. Morgan Kaufmann, San Mateo

    MATH  Google Scholar 

  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, CognitiveScienceSociety.org, pp 2321–2326. https://mindmodeling.org/cogsci2018

  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 2014

  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–695

  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–134

    Chapter  Google Scholar 

  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–681

  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–1168

  38. Zhang Y, Zhou Y (2009) Knowledge forgetting: properties and applications. Artif Intell 173(16):1525–1537

    Article  MathSciNet  MATH  Google Scholar 

  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 2011

Download references

Acknowledgements

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.

Author information

Authors and Affiliations

  1. FernUniversität in Hagen, 58084, Hagen, Germany

    Christoph Beierle & Kai Sauerwald

  2. Technical University Dortmund, 44227, Dortmund, Germany

    Gabriele Kern-Isberner & Tanja Bock

  3. University of Freiburg, 79110, Freiburg, Germany

    Marco Ragni

Authors
  1. Christoph Beierle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriele Kern-Isberner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kai Sauerwald
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tanja Bock
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Marco Ragni
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Christoph Beierle.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Beierle, C., Kern-Isberner, G., Sauerwald, K. et al. Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstl Intell 33, 57–68 (2019). https://doi.org/10.1007/s13218-018-0567-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-018-0567-3

Keywords

Search

Navigation