TCS / Research / Publications / Modular Equivalence for Normal Logic Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Modular Equivalence for Normal Logic Programs

Reference:

Emilia Oikarinen and Tomi Janhunen. Modular equivalence for normal logic programs. In Jüergen Dix and Anthony Hunter, editors, Proceedings of the 11th International Workshop on Nonmonotonic Reasoning, pages 10–18, Lake District, UK, May 2006. University of Clausthal, Department of Informatics, Technical Report, IfI-06-04.

Abstract:

A Gaifman-Shapiro-style architecture of program modules is introduced in the case of normal logic programs under stable model semantics. The composition of program modules is suitably limited by module conditions which ensure the compatibility of the module system with stable models. The resulting module theorem properly strengthens Lifschitz and Turner's splitting set theorem for normal logic programs. Consequently, the respective notion of equivalence between modules, i.e. modular equivalence, proves to be a congruence relation. Moreover, it is analyzed (i) how the translation-based verification technique from Janhunen and Oikarinen is accommodated to the case of modular equivalence and (ii) how the verification of weak/visible equivalence can be reorganized as a sequence of module-level tests and optimized on the basis of modular equivalence.

Suggested BibTeX entry:

@inproceedings{OJ06:asp,
    address = {Lake District, UK},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Proceedings of the 11th International Workshop on Nonmonotonic Reasoning},
    editor = {J\"uergen Dix and Anthony Hunter},
    month = {May},
    pages = {10--18},
    publisher = {University of Clausthal, Department of Informatics, Technical Report, IfI-06-04},
    title = {Modular Equivalence for Normal Logic Programs},
    year = {2006},
}

See cig.in.tu-clausthal.de ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.