Reflexive Autoepistemic Logic and Logic Programming
Victor W. Marek, Mirosław Truszczyński · Logic Programming and Non-Monotonic Reasoning · 1993
In this paper we show that reflexive autoepistemic logic of Schwarz is a particularly convenient modal formalism for studying properties of answer sets for logic programs with classical negation and disjunctive logic programs. Syntactical properties of logic programs imply that a natural interpretation of default logic in the logic of minimal knowledge (nonmonotonic S4F) provides also a modal representation of logic programs. Moreover, in the case of logic programs one can use reflexive autoepistemic logic which is stronger and possesses simpler semantical characterizations than the logic of minimal knowledge. Reflexive autoepistemic logic and autoepistemic logic are bi-interpretable. Consequently, our results provide embeddings of logic programs with classical negation and disjunctive programs in autoepistemic logic.