UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Equivalence in Answer Set Programming

Osorio, M; Pérez, JAN; Arrazola, J; (2002) Equivalence in Answer Set Programming. In: Pettorossi, A, (ed.) Logic Based Program Synthesis and Transformation. 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers. (pp. 57 - 75). Springer Berlin Heidelberg Green open access

[img]
Preview
PDF
Navarro_lopstr01.pdf

Download (212kB)

Abstract

We study the notion of strong equivalence between two Answer Set programs and we show how some particular cases of testing strong equivalence between programs can be reduced to verify if a formula is a theorem in intuitionistic or classical logic. We present some program transformations for disjunctive programs, which can be used to simplify the structure of programs and reduce their size. These transformations are shown to be of interest for both computational and theoretical reasons. Then we propose how to generalize such transformations to deal with free programs (which allow the use of default negation in the head of clauses). We also present a linear time transformation that can reduce an augmented logic program (which allows nested expressions in both the head and body of clauses) to a program consisting only of standard disjunctive clauses and constraints.

Type: Proceedings paper
Title: Equivalence in Answer Set Programming
Event: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001
ISBN: 3-540-43915-3
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/3-540-45607-4_4
Publisher version: http://dx.doi.org/10.1007/3-540-45607-4_4
Language: English
Additional information: This is the authors' accepted version of this published chapter. The final publication is available at Springer via http://dx.doi.org/10.1007/3-540-45607-4_4
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/1361361
Downloads since deposit
171Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item