Abstract
In this paper, we bring together marginalization and forgetting of signature elements in the framework of epistemic states. Marginalization of epistemic states is a specific approach to actively reduce signatures, also aiming at forgetting atoms which are very well known from probability theory. On the other hand, rooted in Boole’s variable elimination, Delgrande’s knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations. We generalize Delgrande’s axioms to epistemic states and show that marginalization is the most specific and informative forgetting operator that satisfies these axioms. Moreover, we propose rephrasing Delgrande’s postulates suitable for forgetting formulas by transferring the basic ideas of the axioms to forgetting formulas in epistemic states.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50(2), 510–530 (1985)
Baral, C., Zhang, Y.: Knowledge updates: semantics and complexity issues. Artif. Intell. 164(1–2), 209–243 (2005)
Becker, A., Kern-Isberner, G., Sauerwald, K., Beierle, C.: Forgetting formulas and signature elements in epistemic states. In: Amgoud, L., Booth, R. (eds.) 19th International Workshop on Non-Monotonic Reasoning (NMR 2021), Hanoi, Vietnam, 2–5 November 2021, Proceedings, pp. 233–242 (2021)
Beierle, C., Kern-Isberner, G.: Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2–3), 123–158 (2012)
Beierle, C., Kern-Isberner, G., Sauerwald, K., Bock, T., Ragni, M.: Towards a general framework for kinds of forgetting in common-sense belief management. KI-Künstliche Intelligenz 33(1), 57–68 (2019)
Boole, G.: An Investigation of The Laws of Thought: On Which are Founded the Mathematical Theories of Logic and Probabilities. Dover Publications, New York (1854)
Delgrande, J.P.: A knowledge level account of forgetting. J. Artif. Intell. Res. 60, 1165–1213 (2017)
Lin, F., Reiter, R.: Forget it. In: Working Notes of AAAI Fall Symposium on Relevance, pp. 154–159 (1994)
Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Causation in decision belief change, and statistics, vol. 42, pp. 105–134. Springer, Dordrecht (1988). https://doi.org/10.1007/978-94-009-2865-7_6
Wong, K.S.: Forgetting in logic programs. Ph.D. thesis, Ph. D. thesis, The University of New South Wales (2009)
Zhang, Y., Foo, N.Y.: Solving logic program conflict through strong and weak forgettings. Artif. Intell. 170(8–9), 739–778 (2006)
Acknowlegements
We would like to thank the reviewers for their fruitful, detailed, and helpful comments. This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation), grant KE 1413/12-1 awarded to Gabriele Kern-Isberner and grant BE 1700/10-1 awarded to Christoph Beierle as part of the priority program “Intentional Forgetting in Organizations” (SPP 1921). Kai Sauerwald was supported by the grant BE 1700/10-1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Sauerwald, K., Kern-Isberner, G., Becker, A., Beierle, C. (2022). From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. In: Dupin de Saint-Cyr, F., Öztürk-Escoffier, M., Potyka, N. (eds) Scalable Uncertainty Management. SUM 2022. Lecture Notes in Computer Science(), vol 13562. Springer, Cham. https://doi.org/10.1007/978-3-031-18843-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-18843-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-18842-8
Online ISBN: 978-3-031-18843-5
eBook Packages: Computer ScienceComputer Science (R0)