[Zurück]

M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"First-Order Encodings of Modular Nonmonotonic Logic Programs";
Vortrag: Datalog 2.0 Workshop, Oxford, UK; 16.03.2010 - 19.03.2010; in: "Datalog Reloaded, 1st International Workshop on Datalog 2010", O. de Moor, G. Gottlob, T. Furche, A. Sellers (Hrg.); Springer, 6702 (2011), ISBN: 978-3-642-24205-2; S. 59 - 77.

Recently Modular Nonmonotonic Logic Programs (MLP) have been introduced which incorporate a call-by-value mechanism and allow for unrestricted calls between modules, including mutual and self recursion, as an approach to provide module constructs akin to those in conventional programming in Nonmonotonic Logic Programming under Answer Set Semantics. This paper considers MLPs in a Datalog setting and provides characterizations of their answers sets in terms of classical (Herbrand) models of a first-order formula, extending a line of research for ordinary logic programs. To this end, we lift the well-known loop formulas method to MLPs, and we also consider the recent ordered completion approach that avoids explicit construction of loop formulas using auxiliary predicates. Independent of computational perspectives, the novel characterizations widen our understanding of MLPs and they may prove useful for semantic investigations.

Answer Set Programming, Nonmonotic Reasoning, Modular Logic Programming

Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems