A brief survey on forgetting from a knowledge representation and reasoning perspective

T Eiter, G Kern-Isberner - KI-Künstliche Intelligenz, 2019 - Springer
Forgetting is an ambivalent concept of (human) intelligence. By definition, it is negatively
related to knowledge in that knowledge is lost, be it deliberately or not, and therefore …

A knowledge level account of forgetting

JP Delgrande - Journal of Artificial Intelligence Research, 2017 - jair.org
Forgetting is an operation on knowledge bases that has been addressed in different areas of
Knowledge Representation and with respect to different formalisms, including classical …

[PDF][PDF] The ultimate guide to forgetting in answer set programming

R Gonçalves, M Knorr, J Leite - Fifteenth International Conference on …, 2016 - cdn.aaai.org
Many approaches for forgetting in Answer Set Programming (ASP) have been proposed in
recent years, in the form of specific operators, or classes of operators, following different …

You can't always forget what you want: on the limits of forgetting in answer set programming

R Gonçalves, M Knorr, J Leite - ECAI 2016, 2016 - ebooks.iospress.nl
Selectively forgetting information while preserving what matters the most is becoming an
increasingly important issue in many areas, including in knowledge representation and …

Knowledge forgetting in answer set programming

Y Wang, Y Zhang, Y Zhou, M Zhang - Journal of Artificial Intelligence …, 2014 - jair.org
The ability of discarding or hiding irrelevant information has been recognized as an
important feature for knowledge based systems, including answer set programming. The …

[PDF][PDF] Forgetting for Answer Set Programs Revisited.

Y Wang, K Wang, M Zhang - IJCAI, 2013 - Citeseer
A new semantic forgetting for answer set programs (ASP), called SM-forgetting, is proposed
in the paper. It distinguishes itself from the others in that it preserves not only skeptical and …

Forgetting in answer set programming–a survey

R Gonçalves, M Knorr, J Leite - Theory and Practice of Logic …, 2023 - cambridge.org
Forgetting–or variable elimination–is an operation that allows the removal, from a
knowledge base, of middle variables no longer deemed relevant. In recent years, many …

Preserving strong equivalence while forgetting

M Knorr, JJ Alferes - Logics in Artificial Intelligence: 14th European …, 2014 - Springer
A variety of proposals for forgetting in logic programs under different semantics have
emerged that satisfy differing sets of properties considered desirable. Despite the achieved …

A syntax-independent approach to forgetting in disjunctive logic programs

J Delgrande, K Wang - Proceedings of the AAAI Conference on Artificial …, 2015 - ojs.aaai.org
In this paper, we present an approach to forgetting in disjunctive logic programs, where
forgetting an atom from a program amounts to a reduction in the signature of that program …

When you must forget: Beyond strong persistence when forgetting in answer set programming

R Gonçalves, M Knorr, J Leite… - Theory and Practice of …, 2017 - cambridge.org
Among the myriad of desirable properties discussed in the context of forgetting in Answer
Set Programming, strong persistence naturally captures its essence. Recently, it has been …