Forgetting in Answer Set Programming – A Survey

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...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 23; no. 1; pp. 111 - 156
Main Authors: GONÇALVES, RICARDO, KNORR, MATTHIAS, LEITE, JOÃO
Format: Journal Article
Language:English
Published: Cambridge Cambridge University Press 01.01.2023
Subjects:
Cognition & reasoning
Cognitive psychology
Computer science
Declarative programming
Knowledge bases (artificial intelligence)
Knowledge representation
Mathematical programming
Operators
Robotics
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068421000570