Alternative Characterizations for Strong Equivalence of Logic Programs

07/09/2002
by   Pedro Cabalar, et al.
0

In this work we present additional results related to the property of strong equivalence of logic programs. This property asserts that two programs share the same set of stable models, even under the addition of new rules. As shown in a recent work by Lifschitz, Pearce and Valverde, strong equivalence can be simply reduced to equivalence in the logic of Here-and-There (HT). In this paper we provide two alternatives respectively based on classical logic and 3-valued logic. The former is applicable to general rules, but not for nested expressions, whereas the latter is applicable for nested expressions but, when moving to an unrestricted syntax, it generally yields different results from HT.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/18/2019

Strong Equivalence for LPMLN Programs

LPMLN is a probabilistic extension of answer set programs with the weigh...
research
06/11/2009

Characterising equilibrium logic and nested logic programs: Reductions and complexity

Equilibrium logic is an approach to nonmonotonic reasoning that extends ...
research
05/18/2019

Strong equivalence for LP^MLN programs

Strong equivalence is a well-studied and important concept in answer set...
research
05/10/2022

Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective

Logic Programs with Ordered Disjunction (LPODs) extend classical logic p...
research
07/19/2002

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report

Nested logic programs have recently been introduced in order to allow fo...
research
02/09/2018

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules

Confluence denotes the property of a state transition system that states...
research
09/22/2021

Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules

We target the problem of synthesizing proofs of semantic equivalence bet...

Please sign up or login with your details

Forgot password? Click here to reset