[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"Merging Logic Programs under Answer Set Semantics";
Vortrag: International Conference on Logic Programming (ICLP), Pasadena, Californien; 14.07.2009 - 17.07.2009; in: "Logic Programming", P. Hill, D. Warren (Hrg.); Springer, LNCS 5649 (2009), ISBN: 3-642-02845-4; S. 160 - 174.



Kurzfassung englisch:
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P 1, ..., P n , the goal is to provide characterisations of the merging of these programs. Our formal techniques are based on notions of relative distance between the underlying SE models of the logic programs. Two approaches are examined. The first informally selects those models of the programs that vary the least from the models of the other programs. The second approach informally selects those models of a program P 0 that are closest to the models of programs P 1, ..., P n . P 0 can be thought of as analogous to a set of database integrity constraints. We examine formal properties of these operators and give encodings for computing the mergings of a multiset of logic programs within the same logic programming framework. As a by-product, we provide a complexity analysis revealing that our operators do not increase the complexity of the base formalism.

Schlagworte:
answer set programming - belief merging - strong equivalence


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-02846-5



Zugeordnete Projekte:
Projektleitung Reinhard Pichler:
Theoretisch Effiziente Lösbarkeit vs. Praktische Berechnung


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.