Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract
Pages 1168 - 1171
Abstract
This article focusses on how belief change operations could model forgetting and remembering. Inspired by psychological findings, it is proposed that forgetting could be understood as an operation of memory decay. Remembering is then an operation which recovers already decayed beliefs. It is described how different areas of belief change could be used to build a system of these operations. An example of such a system is presented. The expected contributions and challenges of this approach are discussed, and possible applications are presented.
References
[1]
Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. 1985. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. J. Symb. Log. 50, 2 (1985), 510--530.
[2]
Natasha Alechina, Fenrong Liu, and Brian Logan. 2018. Efficient minimal preference change. Journal of Logic and Computation 28, 8 (2018), 1715--1733.
[3]
Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, and Kai Sauerwald. 2018. Kinds and Aspects of Forgetting in Common Sense Knowledge and Belief Management. In 41st German Conference on Artificial Intelligence, Proceedings (LNAI), Frank Trollmann and Anni-Yasmin Turhan (Eds.), Vol. 10833. Springer, 366--373.
[4]
Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, and Marco Ragni. 2019. Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. KI - Zeitschrift für Künstliche Intelligenz: Special Issue on Intentional Forgetting (2019). (to appear; First Online 8 December 2018).
[5]
Richard Booth, Eduardo Fermé, Sébastien Konieczny, and Ramón Pino Pérez. 2012. Credibility-Limited Revision Operators in Propositional Logic. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10--14, 2012, Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith (Eds.). AAAI Press.
[6]
Richard Booth, Eduardo L. Fermé, Sébastien Konieczny, and Ramón Pino Pérez. 2014. Credibility-Limited Improvement Operators. In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18--22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) (Frontiers in Artificial Intelligence and Applications), Torsten Schaub, Gerhard Friedrich, and Barry O'Sullivan (Eds.), Vol. 263. IOS Press, 123--128.
[7]
Richard Booth and Thomas Andreas Meyer. 2007. On the Dynamics of Total Preorders: Revising Abstract Interval Orders. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings (Lecture Notes in Computer Science), Khaled Mellouli (Ed.), Vol. 4724. Springer, 42--53.
[8]
Thomas Caridroit, Sébastien Konieczny, and Pierre Marquis. 2015. Contraction in Propositional Logic. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiègne, France, July 15--17, 2015. Proceedings (Lecture Notes in Computer Science), Sébastien Destercke and Thierry Denoeux (Eds.), Vol. 9161. Springer, 186--196.
[9]
A. Darwiche and J. Pearl. 1997. On the logic of iterated belief revision. Artificial Intelligence 89 (1997), 1--29.
[10]
James P. Delgrande. 2017. A Knowledge Level Account of Forgetting. J. Artif. Intell. Res. 60 (2017), 1165--1213.
[11]
Hermann Ebbinghaus. 1885. Über das Gedächtnis. Untersuchungen zur experimentellen Psychologie. Duncker & Humblot, Leipzig.
[12]
Thomas Eiter and Gabriele Kern-Isberner. 2018. A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. KI - Zeitschrift für Künstliche Intelligenz: Special Issue on Intentional Forgetting (2018). (accepted for publication).
[13]
Eduardo L. Fermé and Sven Ove Hansson. 2018. Belief Change - Introduction and Overview. Springer.
[14]
Marco Garapa, Eduardo Fermé, and Maurício D. Luís Reis. 2018. Shielded base contraction. Artif. Intell. 259 (2018), 186--216.
[15]
Ricardo Gonçalves, Matthias Knorr, and João Leite. 2016. The Ultimate Guide to Forgetting in Answer Set Programming. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25--29, 2016., Chitta Baral, James P. Delgrande, and Frank Wolter (Eds.). AAAI Press, 135--144.
[16]
Peter. Gärdenfors. 1988. Knowledge in flux : modeling the dynamics of epistemic states. MIT Press Cambridge.
[17]
Sven Ove Hansson. 1999. A Textbook of Belief Dynamics: Theory Change and Database Updating. Springer.
[18]
Sven Ove Hansson. 2014. Decomposition of multiple AGM contraction: possibility and impossibility results. Logic Journal of the IGPL 22, 4 (2014), 696--710.
[19]
Sven Ove Hansson, Eduardo L. Fermé, John Cantwell, and Marcelo A. Falappa. 2001. Credibility Limited Revision. J. Symb. Log. 66, 4 (2001), 1581--1596.
[20]
Sébastien Konieczny and Ramón Pino Pérez. 2008. Improvement Operators. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16--19, 2008, Gerhard Brewka and Jérôme Lang (Eds.). AAAI Press, 177--187.
[21]
Jérôme Lang, Paolo Liberatore, and Pierre Marquis. 2003. Propositional Independence: Formula-Variable Independence and Forgetting. J. Artif. Intell. Res. 18 (2003), 391--443.
[22]
Daniel J. Lehmann. 1995. Belief Revision, Revised. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20--25 1995, 2 Volumes. Morgan Kaufmann, 1534--1540.
[23]
Fangzhen Lin and Ray Reiter. 1994. Forget It!. In In Proceedings of the AAAI Fall Symposium on Relevance. AAAI Press, Menlo Park, CA, 154--159.
[24]
Jandson S. Ribeiro, Abhaya Nayak, and Renata Wassermann. 2018. Towards Belief Contraction without Compactness. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., Michael Thielscher, Francesca Toni, and Frank Wolter (Eds.). AAAI Press, 287--296. https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
[25]
E. Tulving and F.I.M. Craik. 2005. The Oxford Handbook of Memory. Oxford University Press.
[26]
Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, and Pierre Marquis. 2009. Introspective forgetting. Synthese 169, 2 (2009), 405--423.
[27]
P. A. Wozniak, E. J. Gorzelanczyk, and J. A. Murakowski. 1995. Two components of long-term memory. Acta Neurobiol Exp (Wars) 55, 4 (1995), 301--305.
Index Terms
- Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract
Recommendations
Parallel belief revision: Revising by sets of formulas
The area of belief revision studies how a rational agent may incorporate new information about a domain into its belief corpus. An agent is characterised by a belief state K, and receives a new item of information @a which is to be included among its ...
Introspective Forgetting
AI '08: Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial IntelligenceWe model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others' or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-...
Iterated belief contraction from first principles
IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligenceImportance of contraction for belief change notwithstanding, literature on iterated belief change has by and large centered around the issue of iterated belief revision, ignoring the problem of iterated belief contraction. In this paper we examine ...
Comments
Information & Contributors
Information
Published In
April 2019
2682 pages
Copyright © 2019 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 08 April 2019
Check for updates
Author Tags
Qualifiers
- Abstract
Conference
SAC '19
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Upcoming Conference
SAC '25
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 65Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in