Forgetting in Answer Set Programming - A Survey

Detalhes bibliográficos
Autor(a) principal: Gonçalves, Ricardo
Data de Publicação: 2023
Outros Autores: Knorr, Matthias, Leite, João
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/135042
Resumo: We thank the anonymous reviewers for their helpful comments. This work was partially supported by FCT project FORGET (PTDC/CCI-INF/32219/2017)
id RCAP_a6acc3f79f3bee817ee316476f234d40
oai_identifier_str oai:run.unl.pt:10362/135042
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Forgetting in Answer Set Programming - A SurveyAnswer set programmingForgettingLogic programsSoftwareTheoretical Computer ScienceHardware and ArchitectureComputational Theory and MathematicsArtificial IntelligenceWe thank the anonymous reviewers for their helpful comments. This work was partially supported by FCT project FORGET (PTDC/CCI-INF/32219/2017)Forgetting - or variable elimination - is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many different approaches for forgetting in Answer Set Programming have been proposed, in the form of specific operators, or classes of such operators, commonly following different principles and obeying different properties. Each such approach was developed to address some particular view on forgetting, aimed at obeying a specific set of properties deemed desirable in such view, but a comprehensive and uniform overview of all the existing operators and properties is missing. In this article, we thoroughly examine existing properties and (classes of) operators for forgetting in Answer Set Programming, drawing a complete picture of the landscape of these classes of forgetting operators, which includes many novel results on relations between properties and operators, including considerations on concrete operators to compute results of forgetting and computational complexity. Our goal is to provide guidance to help users in choosing the operator most adequate for their application requirements.NOVALincsDI - Departamento de InformáticaRUNGonçalves, RicardoKnorr, MatthiasLeite, João2023-04-06T00:31:57Z2023-012023-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10362/135042eng1471-0684PURE: 42284636https://doi.org/10.1017/S1471068421000570info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T05:13:29Zoai:run.unl.pt:10362/135042Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:48:17.555489Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Forgetting in Answer Set Programming - A Survey
title Forgetting in Answer Set Programming - A Survey
spellingShingle Forgetting in Answer Set Programming - A Survey
Gonçalves, Ricardo
Answer set programming
Forgetting
Logic programs
Software
Theoretical Computer Science
Hardware and Architecture
Computational Theory and Mathematics
Artificial Intelligence
title_short Forgetting in Answer Set Programming - A Survey
title_full Forgetting in Answer Set Programming - A Survey
title_fullStr Forgetting in Answer Set Programming - A Survey
title_full_unstemmed Forgetting in Answer Set Programming - A Survey
title_sort Forgetting in Answer Set Programming - A Survey
author Gonçalves, Ricardo
author_facet Gonçalves, Ricardo
Knorr, Matthias
Leite, João
author_role author
author2 Knorr, Matthias
Leite, João
author2_role author
author
dc.contributor.none.fl_str_mv NOVALincs
DI - Departamento de Informática
RUN
dc.contributor.author.fl_str_mv Gonçalves, Ricardo
Knorr, Matthias
Leite, João
dc.subject.por.fl_str_mv Answer set programming
Forgetting
Logic programs
Software
Theoretical Computer Science
Hardware and Architecture
Computational Theory and Mathematics
Artificial Intelligence
topic Answer set programming
Forgetting
Logic programs
Software
Theoretical Computer Science
Hardware and Architecture
Computational Theory and Mathematics
Artificial Intelligence
description We thank the anonymous reviewers for their helpful comments. This work was partially supported by FCT project FORGET (PTDC/CCI-INF/32219/2017)
publishDate 2023
dc.date.none.fl_str_mv 2023-04-06T00:31:57Z
2023-01
2023-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/135042
url http://hdl.handle.net/10362/135042
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 1471-0684
PURE: 42284636
https://doi.org/10.1017/S1471068421000570
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799138084029202432

Registros relacionados