[Zurück]


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

M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs";
Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany; 14.09.2009 - 18.09.2009; in: "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (Hrg.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; S. 87 - 100.



Kurzfassung englisch:
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input from other modules, while allowing (mutually) recursive module calls. This can be used for more succinct and natural problem representation at the price of an exponential increase of evaluation time. In this paper, we aim at an efficient top-down evaluation of MLPs, considering only calls to relevant module instances. To this end, we generalize the well-known Splitting Theorem to the MLP setting and present notions of call stratification, for which we determine sufficient conditions. Call-stratified MLPs allow to split module instantiations into two parts, one for computing input of module calls, and one for evaluating the calls themselves with subsequent computations. Based on these results, we develop a top-down evaluation procedure that expands only relevant module instantiations. Finally, we discuss syntactic conditions for its exploitation.

Schlagworte:
Answer Set Programming, Modular Logic Programming


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



Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.