%0 Conference Paper %1 Berthold2022-qt %A Berthold, Matti %B Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning %C California %D 2022 %I International Joint Conferences on Artificial Intelligence Organization %K %T On syntactic forgetting with strong persistence %X It is generally agreed upon that so-called strong persistence (SP) captures best the essence of forgetting in logic programming. While classes of operators, such as F\_R and F\_SP, that satisfy immediate relaxations of (SP), and in the case of F\_SP, even (SP) whenever possible, have been characterized semantically, many practical questions have yet to be addressed. This technical paper aims to answer one of them: How can atoms be forgotten from a program without having to calculate its exponential number of models? To this end, we introduce two concrete representatives of F\_R and F\_SP that forget sets of atoms by syntactical manipulation of a program's rules. This may in many cases prevent exponential blowups and produce a forgetting result that is close to the original program.

@inproceedings{Berthold2022-qt, abstract = {It is generally agreed upon that so-called strong persistence (SP) captures best the essence of forgetting in logic programming. While classes of operators, such as F\_R and F\_SP, that satisfy immediate relaxations of (SP), and in the case of F\_SP, even (SP) whenever possible, have been characterized semantically, many practical questions have yet to be addressed. This technical paper aims to answer one of them: How can atoms be forgotten from a program without having to calculate its exponential number of models? To this end, we introduce two concrete representatives of F\_R and F\_SP that forget sets of atoms by syntactical manipulation of a program's rules. This may in many cases prevent exponential blowups and produce a forgetting result that is close to the original program.}, added-at = {2024-09-10T11:56:37.000+0200}, address = {California}, author = {Berthold, Matti}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2e8d42c834cbe4d5de17fc072bfeef132/scadsfct}, booktitle = {Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning}, conference = {19th International Conference on Principles of Knowledge Representation and Reasoning \{KR-2022\}}, interhash = {aa768da159a149ec67ba7d5dc859502e}, intrahash = {e8d42c834cbe4d5de17fc072bfeef132}, keywords = {}, location = {Haifa, Israel}, month = jul, publisher = {International Joint Conferences on Artificial Intelligence Organization}, timestamp = {2024-09-10T15:15:57.000+0200}, title = {On syntactic forgetting with strong persistence}, year = 2022 }