×

Solution enumeration by optimality in answer set programming. (English) Zbl 1530.68058

Summary: Given a combinatorial search problem, it may be highly useful to enumerate its (all) solutions besides just finding one solution, or showing that none exists. The same can be stated about optimal solutions if an objective function is provided. This work goes beyond the bare enumeration of optimal solutions and addresses the computational task of solution enumeration by optimality (SEO). This task is studied in the context of answer set programming (ASP) where (optimal) solutions of a problem are captured with the answer sets of a logic program encoding the problem. Existing answer set solvers already support the enumeration of all (optimal) answer sets. However, in this work, we generalize the enumeration of optimal answer sets beyond strictly optimal ones, giving rise to the idea of answer set enumeration in the order of optimality (ASEO). This approach is applicable up to the best \(k\) answer sets or in an unlimited setting, which amounts to a process of sorting answer sets based on the objective function. As the main contribution of this work, we present the first general algorithms for the aforementioned tasks of answer set enumeration. Moreover, we illustrate the potential use cases of ASEO. First, we study how efficiently access to the next-best solutions can be achieved in a number of optimization problems that have been formalized and solved in ASP. Second, we show that ASEO provides us with an effective sampling technique for Bayesian networks.

MSC:

68N17 Logic programming
62H22 Probabilistic graphical models

References:

[1] Alviano, M., Faber, W. and Gebser, M.2015. Rewriting recursive aggregates in answer set programming: Back to monotonicity. Theory and Practice of Logic Programming 15, 4-5, 559-573. · Zbl 1379.68034
[2] Bacchus, F., Berg, J., Järvisalo, M. and Martins, R.2020. MaxSAT evaluation. https://maxsat-evaluations.github.io/2020/topk.html
[3] Beaver, H. and Niemelä, I.1999. Finding MAPs for belief networks using rule-based constraint programming. In Arpakannus 1/99, Special Issue on Networks 1999. Finnish Artificial Intelligence Society.
[4] Biere, A., Heule, M., Van Maaren, H. and Walsh, T.2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press. · Zbl 1183.68568
[5] Bomanson, J., Gebser, M. and Janhunen, T.2014. Improving the normalization of weight rules in answer set programs. In Proceedings of JELIA 2014. Springer, 166-180. · Zbl 1432.68056
[6] Brewka, G., Eiter, T. and Truszczyński, M.2011. Answer set programming at a glance. Communications of the ACM 54, 12, 92-103.
[7] Brewka, G., Niemelä, I. and Truszczyński, M.2003. Answer set optimization. In Proceedings of IJCAI 2003. Vol. 3. Morgan Kaufmann, 867-872.
[8] Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F. and Schaub, T.2020. Asp-core-2 input language format. Theory and Practice of Logic Programming 20, 2, 294-309. · Zbl 1472.68180
[9] Calimeri, F., Gebser, M., Maratea, M. and Ricca, F.2016. Design and results of the fifth answer set programming competition. Artificial Intelligence 231, 151-181. · Zbl 1344.68042
[10] Chavira, M. and Darwiche, A.2008. On probabilistic inference by weighted model counting. Artificial Intelligence 172, 6-7, 772-799. · Zbl 1182.68297
[11] Eiter, T. and Gottlob, G.1995. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15, 3-4, 289-323. · Zbl 0858.68016
[12] Ermon, S., Gomes, C. P., Sabharwal, A. and Selman, B.2013. Taming the curse of dimensionality: Discrete integration by hashing and optimization. In Proceedings of ICML 2013. JMLR.org, 334-342.
[13] Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Thiele, S.2008. A User’s Guide to Gringo, Clasp, Clingo, and iClingo.
[14] Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T.2007a. Conflict-driven answer set enumeration. In Proceedings of LPNMR 2007. Springer, 136-148. · Zbl 1149.68332
[15] Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T.2007b. Conflict-driven answer set solving. In Proceedings of IJCAI 2007. IJCAI.org, 386-392. · Zbl 1149.68332
[16] Gebser, M., Kaufmann, B. and Schaub, T.2009. Solution enumeration for projected Boolean search problems. In Proceedings of CPAIOR 2009. Springer, 71-86. · Zbl 1241.68100
[17] Geiger, D., Verma, T. and Pearl, J.1989. d-separation: From theorems to algorithms. In Proceedings of UAI 1989. North-Holland, 139-148. · Zbl 0721.68070
[18] Gonzales, C., Torti, L. and Wuillemin, P.-H.2017. aGrUM: A graphical universal model framework. In Proceedings of IEA/AIE. Springer, 171-177.
[19] Karp, R. M.1972. Reducibility among combinatorial problems. In Complexity of Computer Computations. Springer, 85-103. · Zbl 1467.68065
[20] Korte, B. and Vygen, J.2006. Combinatorial Optimization. Springer. · Zbl 1099.90054
[21] Lawler, E.1972. A procedure for computing the k best solutions to discrete optimization problems and its application to the shortest path problem. Management Science 18, 7, 401-405. · Zbl 0234.90050
[22] Madsen, A. and Jensen, F.1999. LAZY propagation: A junction tree inference algorithm based on lazy evaluation. Artificial Intelligence 113, 1-2, 203-245. · Zbl 0939.68848
[23] Marek, V. and Truszczyński, M.1991. Autoepistemic logic. Journal of ACM 38, 3, 588-619. · Zbl 0799.68176
[24] Murty, K.1968. An algorithm for ranking all the assignments in increasing order of cost. Operations Research 16, 682-687. · Zbl 0214.18705
[25] Pajunen, J.2020. Optimization strategies in answer set programming, enumerating answer sets by optimality. M.S. thesis, Aalto University, School of Science. http://urn.fi/URN:NBN:fi:aalto-202006213974
[26] Papadimitriou, C. H.1994. Computational Complexity. Addison-Wesley. · Zbl 0833.68049
[27] Rossi, F., Van Beek, P. and Walsh, T.2006. Handbook of Constraint Programming. Foundations of Artificial Intelligence, vol. 2. Elsevier. · Zbl 1175.90011
[28] Simons, P., Niemelä, I. and Soininen, T.2002. Extending and implementing the stable model semantics. Artificial Intelligence 138, 1-2, 181-234. · Zbl 0995.68021
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.