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.<br />
de
dc.description.abstract
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.<br />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.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Nichtmonotones Schließen
de
dc.subject
Wissensrepräsentation
de
dc.subject
Antwortmengen Programmierung
de
dc.subject
Logische Programme
de
dc.subject
Programmäquivalenz
de
dc.subject
Quantifizierte Aussagenlogik
de
dc.subject
Nonmonotonic Reasoning
en
dc.subject
Knowledge Representation
en
dc.subject
Answer-Set Programming
en
dc.subject
Logic Programs
en
dc.subject
Program Equivalence
en
dc.subject
Quantified Propositional Logic
en
dc.title
Beyond uniform equivalence between answer-set programs : relativisation and projection
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Johannes Oetsch
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC07814678
-
dc.description.numberOfPages
88
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-61317
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
tuw.author.orcid
0000-0002-9902-7662
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.orcid
0000-0001-5673-2460
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.mimetype
application/pdf
-
item.openairetype
master thesis
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems