Exploring Relations between Answer Set Programs
Katsumi Inoue and Chiaki Sakama
Proceedings of the Symposium on Constructive Mathematics in Computer Science,
Lecture Notes in Artificial Intelligence 6565, Springer-Verlag, pages 91-110, 2011.
Equivalence and generality relations over logic programs have been proposed
in answer set programming to semantically compare information contents of
logic programs. In this paper, we overview previous relations of
answer set programs, and propose a general framework that subsumes previous relations.
The proposed framework allows us to compare programs possibly having
non-minimal answer sets as well as to explore new relations between programs.
Such new relations include relativized variants of generality
relations over logic programs. By selecting contexts for comparison,
the proposed framework can represent weak, strong and uniform
variants of generality, inclusion and equivalence relations.
These new relations can be applied to comparison of abductive logic
programs and coordination of multiple answer set programs.
Full Paper (PDF 227K)