article · Proceedings of the AAAI Conference on Artificial Intelligence · 2019

Forgetting in Modular Answer Set Programming

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

Cited by 12Open access

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.

Cite this paper

APA 7

Gonçalves, R., Janhunen, T., Knorr, M., Leite, J., & Woltran, S. (2019). Forgetting in Modular Answer Set Programming. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 2843–2850. https://doi.org/10.1609/aaai.v33i01.33012843

MLA 9

Gonçalves, Ricardo, et al. “Forgetting in Modular Answer Set Programming.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, no. 01, 2019, pp. 2843–50, https://doi.org/10.1609/aaai.v33i01.33012843.

Chicago

Gonçalves, Ricardo, Tomi Janhunen, Matthias Knorr, João Leite, and Stefan Woltran. 2019. “Forgetting in Modular Answer Set Programming.” Proceedings of the AAAI Conference on Artificial Intelligence 33 (01): 2843–50. https://doi.org/10.1609/aaai.v33i01.33012843.

Harvard

Gonçalves, R. et al. (2019) ‘Forgetting in Modular Answer Set Programming’, Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), pp. 2843–2850. Available at: https://doi.org/10.1609/aaai.v33i01.33012843.

BibTeX

@article{goncalves2019forgetting,
  title = {{Forgetting in Modular Answer Set Programming}},
  author = {Gonçalves, Ricardo and Janhunen, Tomi and Knorr, Matthias and Leite, João and Woltran, Stefan},
  journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
  volume = {33},
  number = {01},
  pages = {2843--2850},
  year = {2019},
  doi = {10.1609/aaai.v33i01.33012843}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.