On replacements in answer-set programming based on partial evaluation

Abstract

Diese Masterarbeitet beschäftigt sich mit Ersetzungen bei nicht-monotonen logischen Programmen im Context von Antwortmengenprogrammierung. Sie betrachtet im Speziellen die Transformationsregeln GPPE und WGPPE von Brass und Dix. Des weiteren werden Generalisierungen zu diesen Regeln eingeführt, diskutiert und auf die Erhaltung spezieller Equivalenzen überprüft. Auch die Arbeiten von Lin and Chen werden untersucht und Ergebnisse von ihnen vereinfacht und neu formuliert.

In this thesis, we have discussed rule replacements in non-monotonic logic programs within the answer-set programming paradigm. Of particular interest were the replacement schemas GPPE and WGPPE, standing for "generalized principle of partial evaluation" and "weak generalized principle of partial evaluation", respectively, originally studied by Brass and Dix. We have introduced generalizations and variants of these rules in the setting of ground and non-ground logic programs and examined relations to well-known equivalence notions.<br />Furthermore, we simplified a Theorem of Lin and Chen by rephrasing it with other transformation rules.