Forgetting in Modular Answer Set Programming

Ricardo Goncalves, Tomi Janhunen, Matthias Knorr, Joao Leite, Stefan Woltran

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Modular programming facilitates the creation and reuse of large software, and has recently gathered considerable interest in the context of Answer Set Programming (ASP). In this setting, forgetting, or the elimination of middle variables no longer deemed relevant, is of importance as it allows one to, e.g., simplify a program, make it more declarative, or even hide some of its parts without affecting the consequences for those parts that are relevant.
While forgetting in the context of ASP has been extensively studied, its known limitations make it unsuitable to be used in Modular ASP. In this paper, we present a novel class of forgetting operators and show that such operators can always be successfully applied in Modular ASP to forget all kinds of atoms - input, output and hidden - overcoming the impossibility results that exist for general ASP. Additionally, we investigate conditions under which this class of operators preserves the module theorem in Modular ASP, thus ensuring that answer sets of modules can still be composed, and how the module theorem can always be preserved if we further allow the reconfiguration of modules.
Original languageEnglish
Title of host publicationProceedings of the 33rd AAAI Conference on Artificial Intelligence
Number of pages8
Publication statusPublished - 17 Jul 2019
MoE publication typeA4 Article in a conference publication
EventAAAI Conference on Artificial Intelligence - Honolulu, United States
Duration: 27 Jan 20191 Feb 2019
Conference number: 33

Publication series

NameProceedings of the AAAI Conference on Artificial Intelligence
PublisherAAAI Press
ISSN (Print)2159-5399
ISSN (Electronic)2374-3468


ConferenceAAAI Conference on Artificial Intelligence
Abbreviated titleAAAI
CountryUnited States
Internet address

Fingerprint Dive into the research topics of 'Forgetting in Modular Answer Set Programming'. Together they form a unique fingerprint.

Cite this