Faber, W., & Woltran, S. (2009). Manifold Answer-Set Programs for Meta-reasoning. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings (pp. 115–128). Springer. https://doi.org/10.1007/978-3-642-04238-6_12
10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
-
Event date:
14-Sep-2009 - 18-Sep-2009
-
Event place:
Potsdam, Germany, EU
-
Number of Pages:
14
-
Publisher:
Springer, 5753
-
Publisher:
Springer, Berlin, Heidelberg
-
Peer reviewed:
Yes
-
Abstract:
In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported by ASP systems (usually in the form of computing brave or cautious consequences), but slightly more involved reasoning problems require external postprocessing.
Generally speaking, it is often desirable to use (a subset of) brave or cautious consequences of a program P1 as input to another program P2 in order to provide the desired solutions to the problem to be solved. In practice, the evaluation of the program P1 currently has to be decoupled from the evaluation of P2 using an intermediate step which collects the desired consequences of P1 and provides them as input to P2. In this work, we present a novel method for representing
such a procedure within a single program, and thus within the realm of ASP itself. Our technique relies on rewriting P1 into a so-called manifold program, which allows for accessing all desired consequences of P1 within a single answer set. Then, this manifold program can be evaluated jointly with P2 avoiding any intermediate computation step. For determining the consequences within the manifold program we use weak constraints, which is strongly motivated by complexity considerations. As an application, we present an encoding for omputing
the ideal extension of an abstract argumentation framework.
en
Project title:
Theoretical Tractability vs. Practical Computation (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) New Methods for Analyzing, Comparing, and Solving Argumentation Problems (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)