Modularity Aspects of Disjunctive Stable Models

Reference:

Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran. Modularity aspects of disjunctive stable models. In Chitta Baral, Gerhard Brewka, and John Schlipf, editors, Logic Programming and Nonmonotonic Reasoning, 9th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings, volume 4483 of Lecture Notes in Artificial Intelligence, pages 175–187, Tempe, Arizona, USA, May 2007. Springer-Verlag.

Abstract:

Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages, however, the modular structure of programs is hard to realise, since the output of an entire program cannot in general be composed from the output of its component programs in a direct manner. In this paper, we consider these aspects for the stable-model semantics of disjunctive logic programs (DLPs). We define the notion of a DLP-function, where a well-defined input/output interface is provided, and establish a novel module theorem enabling a suitable compositional semantics for modules. The module theorem extends the well-known splitting-set theorem and allows also a generalisation of a shifting technique for splitting shared disjunctive rules among components.

Suggested BibTeX entry:

@inproceedings{JOTW07:lpnmr,
    address = {Tempe, Arizona, USA},
    author = {Tomi Janhunen and Emilia Oikarinen and Hans Tompits and Stefan Woltran},
    booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings},
    editor = {Chitta Baral and Gerhard Brewka and John Schlipf},
    month = {May},
    pages = {175--187},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Artificial Intelligence},
    title = {Modularity Aspects of Disjunctive Stable Models},
    volume = {4483},
    year = {2007},
}