Forgetting in Modular Answer Set Programming

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Downloads (Pure)

Abstract

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 publication33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence
PublisherAAAI Press
Pages2843-2850
Number of pages8
ISBN (Print)978-1-57735-809-1
DOIs
Publication statusPublished - 2019
Event33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence - Honolulu, United States
Duration: 27 Jan 20191 Feb 2019

Conference

Conference33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence
CountryUnited States
CityHonolulu
Period27/01/191/02/19

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

  • Cite this

    Gonçalves, R., Janhunen, T., Knorr, M., Leite, J., & Woltran, S. (2019). Forgetting in Modular Answer Set Programming. In 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence (pp. 2843-2850). AAAI Press. https://doi.org/10.1609/aaai.v33i01.33012843