A bird’s-eye view of forgetting in answer-set programming

Research output: Contribution to conferencePaper

8 Citations (Scopus)

Abstract

Forgetting is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant, while preserving all relationships (direct and indirect) between the remaining variables. When investigated in the context of Answer-Set Programming, many different approaches to forgetting have been proposed, following different intuitions, and obeying different sets of properties. This talk will present a bird’s-eye view of the complex landscape composed of the properties and operators of forgetting defined over the years in the context of Answer-Set Programming, zooming in on recent findings triggered by the formulation of the so-called strong persistence, a property based on the strong equivalence between an answer-set program and the result of forgetting modulo the forgotten atoms, which seems to best encode the requirements of the forgetting operation.

Original languageEnglish
Pages10-22
Number of pages13
DOIs
Publication statusPublished - 2017
Event14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017 - Espoo, Finland
Duration: 3 Jul 20176 Jul 2017

Conference

Conference14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017
CountryFinland
CityEspoo
Period3/07/176/07/17

Keywords

  • Answer-set programming
  • Forgetting
  • Variable elimination

Fingerprint Dive into the research topics of 'A bird’s-eye view of forgetting in answer-set programming'. Together they form a unique fingerprint.

  • Cite this

    Leite, J. (2017). A bird’s-eye view of forgetting in answer-set programming. 10-22. Paper presented at 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, Espoo, Finland. https://doi.org/10.1007/978-3-319-61660-5_2