Title: Beyond uniform equivalence between answer-set programs : relativisation and projection
Language: English
Authors: Oetsch, Johannes 
Qualification level: Diploma
Advisor: Tompits, Hans
Issue Date: 2011
Number of Pages: 88
Qualification level: Diploma
Abstract: 
Diese Arbeit beschäftigt sich mit erweiterten Äquivalenzbegriffen für nichtmonotone logische Programme unter der Answer-Set Semantik. Dieses Thema erfreut sich zunehmendem Interesse da solche Äquivalenzbegriffe die theoretische Basis für viele Entwicklungsaufgaben wie Optimierung von Programmen, Debugging, modulares Programmieren und Verifikation bilden. Verschiedene Äquivalenzbegriffe für Logikprogramme sind ein relevanter Forschungsschwerpunkt auf dem Gebiet der Answer-Set Programmierung. Ein prominenter Vertreter eines solchen Äquivalenzbegriffes ist uniforme Äquivalenz, welche überprüft ob zwei Programme, vereint mit einer beliebigen Menge von Fakten, die gleiche Semantik besitzen. In dieser Diplomarbeit studieren wir eine Familie von verfeinerten Versionen der uniformen Äquivalenz, nämlich relativierte uniforme Äquivalenz mit Projektion, welche gewöhnliche uniforme Äquivalenz durch zwei zusätzliche Parameter ergänzt: einen, um das Eingabealphabet der Programme zu spezifizieren, und einen, um das Ausgabealphabet festzulegen.

This thesis deals with advanced notions of equivalence between nonmonotonic logic programs under the answer-set semantics, a topic of increasing interest because such notions form the basis for program optimisation, debugging, modular programming, and program verification.
In fact, there is extensive research in answer-set programming dealing with different notions of equivalence between programs. Prominent among these notions is uniform equivalence which checks whether two programs have the same semantics when joined with an arbitrary set of facts. In this thesis, we study a family of more fine-grained versions of uniform equivalence, viz. relativised uniform equivalence with projection, which extends standard uniform equivalence in terms of two additional parameters: one for specifying the input alphabet and one for specifying the output alphabet for programs.
Keywords: Nichtmonotones Schließen; Wissensrepräsentation; Antwortmengen Programmierung; Logische Programme; Programmäquivalenz; Quantifizierte Aussagenlogik
Nonmonotonic Reasoning; Knowledge Representation; Answer-Set Programming; Logic Programs; Program Equivalence; Quantified Propositional Logic
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-61317
http://hdl.handle.net/20.500.12708/8888
Library ID: AC07814678
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

11
checked on Feb 18, 2021

Download(s)

62
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.