An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

04/29/2014
by   James P. Delgrande, et al.
0

In this paper we investigate forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program. The goal is to provide an approach that is syntax-independent, in that if two programs are strongly equivalent, then the results of forgetting an atom in each program should also be strongly equivalent. Our central definition of forgetting is impractical but satisfies this goal: Forgetting an atom is characterised by the set of SE consequences of the program that do not mention the atom to be forgotten. We then provide an equivalent, practical definition, wherein forgetting an atom p is given by those rules in the program that don't mention p, together with rules obtained by a single inference step from rules that do mention p. Forgetting is shown to have appropriate properties; as well, the finite characterisation results in a modest (at worst quadratic) blowup. Finally we have also obtained a prototype implementation of this approach to forgetting.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/12/2011

Discovering Classes of Strongly Equivalent Logic Programs

In this paper we apply computer-aided theorem discovery technique to dis...
research
05/16/2022

Strong Equivalence of Logic Programs with Counting

In answer set programming, two groups of rules are considered strongly e...
research
11/15/2019

Forgetting to learn logic programs

Most program induction approaches require predefined, often hand-enginee...
research
07/29/2019

A Syntactic Operator for Forgetting that Satisfies Strong Persistence

Whereas the operation of forgetting has recently seen a considerable amo...
research
08/19/2021

Forgetting Formulas and Signature Elements in Epistemic States

Delgrande's knowledge level account of forgetting provides a general app...
research
11/13/2018

ABox Abduction via Forgetting in ALC (Long Version)

Abductive reasoning generates explanatory hypotheses for new observation...
research
11/09/2020

A Syntactic Approach to Studying Strongly Equivalent Logic Programs

In the field of Answer Set Programming (ASP), two logic programs are str...

Please sign up or login with your details

Forgot password? Click here to reset