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 shown how our translation-based verification method is accommodated to the case of modular equivalence; and how the verification of weak/visible equivalence can be optimized as a sequence of module-level tests.

@inproceedings{
    OJ06:ecai_eoikarin,
    editor = "Brewka, Gerhard and Coradeschi, Silvia and Perini, Anna and Traverso, Paolo",
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    publisher = "IOS Press",
    title = "Modular Equivalence for Normal Logic Programs",
    booktitle = "Proceedings of the 17th European Conference on Artificial Intelligence",
    address = "Riva del Garda, Italy",
    month = "August",
    flags = "public, ACPT",
    pages = "412--416",
    year = "2006",
    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 shown how our translation-based verification method is accommodated to the case of modular equivalence; and how the verification of weak/visible equivalence can be optimized as a sequence of module-level tests."
}

AUTHORS:

ABSTRACT: