Forgetting in Answer Set Programming with Anonymous Cycles

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

2 Downloads (Pure)

Abstract

It is now widely accepted that the operation of forgetting in the context of Answer Set Programming [10, 18] is best characterized by the so-called strong persistence, a property that requires that all existing relations between the atoms not to be forgotten be preserved. However, it has been shown that strong persistence cannot always be satisfied. What happens if we must nevertheless forget? One possibility that has been explored before is to consider weaker versions of strong persistence, although not without a cost: some relations between the atoms not to be forgotten are broken in the process. A different alternative is to enhance the logical language so that all such relations can be maintained after the forgetting operation. In this paper, we borrow from the recently introduced notion of fork [1] – a conservative extension of Equilibrium Logic and its monotonic basis, the logic of Here-and-There – which has been shown to be sufficient to overcome the problems related to satisfying strong persistence. We map this notion into the language of logic programs, enhancing it with so-called anonymous cycles, and we introduce a concrete syntactical forgetting operator over this enhanced language that we show to always obey strong persistence.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Proceedings
EditorsPaulo Moura Oliveira, Paulo Novais, Luís Paulo Reis
Place of PublicationCham
PublisherSpringer
Pages552-565
Number of pages14
ISBN (Electronic)978-3-030-30244-3
ISBN (Print)978-3-030-30243-6
DOIs
Publication statusPublished - 2019
Event19th EPIA Conference on Artificial Intelligence, EPIA 2019 - Vila Real, Portugal
Duration: 3 Sep 20196 Sep 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume11805 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th EPIA Conference on Artificial Intelligence, EPIA 2019
CountryPortugal
CityVila Real
Period3/09/196/09/19

Fingerprint

Dive into the research topics of 'Forgetting in Answer Set Programming with Anonymous Cycles'. Together they form a unique fingerprint.

Cite this