Skip to main content Accessibility help
×
Home

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)

  • CARMINE DODARO (a1), PHILIP GASTEIGER (a2), NICOLA LEONE (a1), BENJAMIN MUSITSCH (a2), FRANCESCO RICCA (a1) and KOSTYANTYN SHCHEKOTYKHIN (a2)...

Abstract

Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partner Units Problem (PUP) and the Combined Configuration Problem (CCP). The hardest instances of PUP and CCP are out of reach for state-of-the-art ASP solvers. Experiments show that the performance of ASP solvers could be significantly improved by embedding domain-specific heuristics, but a proper effective integration of such criteria in off-the-shelf ASP implementations is not obvious. In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP. As a byproduct of this activity, the ASP solver wasp was extended with an interface that eases embedding new external heuristics in the solver. The evaluation shows that our domain-heuristic-driven ASP solver finds solutions for all the real-world instances of PUP and CCP ever provided by Siemens.

Copyright

References

Hide All
Albrecht, A. 1979. Measuring Application Development Productivity. In IBM Application Development Symp., I. B. M. Press, Ed. Proc. of IBM Application Development Symp., 83–92.
Alviano, M., Dodaro, C., Leone, N. and Ricca, F. 2015. Advances in WASP. In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Calimeri, F., Ianni, G., and Truszczynski, M., Eds. Lecture Notes in Computer Science, vol. 9345. Springer, 4054.
Aschinger, M., Drescher, C., Friedrich, G., Gottlob, G., Jeavons, P., Ryabokon, A. and Thorstensen, E. 2011a. Optimization methods for the partner units problem. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings, Achterberg, T. and Beck, J. C., Eds. Lecture Notes in Computer Science, vol. 6697. Springer, 419.
Aschinger, M., Drescher, C., Gottlob, G., Jeavons, P. and Thorstensen, E. 2011b. Tackling the partner units configuration problem. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, Walsh, T., Ed. IJCAI/AAAI, 497503.
Balduccini, M. 2011. Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24, 2, 147164.
Balduccini, M., Gelfond, M., Watson, R. and Nogueira, M. 2001. The usa-advisor: A case study in answer set planning. In Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, Eiter, T., Faber, W., and Truszczynski, M., Eds. Lecture Notes in Computer Science, vol. 2173. Springer, 439442.
Baral, C. and Uyan, C. 2001. Declarative specification and solution of combinatorial auctions using logic programming. In Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, Eiter, T., Faber, W., and Truszczynski, M., Eds. Lecture Notes in Computer Science, vol. 2173. Springer, 186199.
Biere, A., Heule, M., van Maaren, H. and Walsh, T., Eds. 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press.
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Commun. ACM 54, 12, 92103.
Calimeri, F., Gebser, M., Maratea, M. and Ricca, F. 2016. Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151181.
Campeotto, F., Dovier, A. and Pontelli, E. 2015. A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27, 5, 503541.
Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. 2001. Complexity and expressive power of logic programming. ACM Comput. Surv. 33, 3, 374425.
Dodaro, C., Leone, N., Nardi, B. and Ricca, F. 2015. Allotment problem in travel industry: A solution based on ASP. In Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, ten Cate, B. and Mileo, A., Eds. Lecture Notes in Computer Science, vol. 9209. Springer, 7792.
Drescher, C. 2012. The partner units problem a constraint programming case study. In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012. IEEE Computer Society, 170177.
Eén, N. and Sörensson, N. 2003. An extensible sat-solver. In Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, Giunchiglia, E. and Tacchella, A., Eds. Lecture Notes in Computer Science, vol. 2919. Springer, 502518.
Erdem, E. and Öztok, U. 2015. Generating explanations for biomedical queries. Theory and Practice of Logic Programming 15, 1, 3578.
Erdem, E., Patoglu, V., Saribatur, Z. G., Schüller, P. and Uras, T. 2013. Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach. Theory and Practice of Logic Programming 13, 4–5, 831846.
Falkner, A. A., Haselböck, A., Schenner, G. and Schreiner, H. 2011. Modeling and solving technical product configuration problems. AI EDAM 25, 2, 115129.
Falkner, A. A., Ryabokon, A., Schenner, G. and Shchekotykhin, K. M. 2015. OOASP: connecting object-oriented and logic programming. In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Calimeri, F., Ianni, G., and Truszczynski, M., Eds. Lecture Notes in Computer Science, vol. 9345. Springer, 332345.
Fionda, V. and Greco, G. 2013. The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions. Artif. Intell. 196, 125.
Friedrich, G. 2015. Industrial success stories of ASP and CP: What's still open? Joint invited talk at ICLP and CP 2015 - http://booleconferences.ucc.ie/iclp2015speakers.
Gaggl, S. A., Manthey, N., Ronca, A., Wallner, J. P. and Woltran, S. 2015. Improved answer-set programming encodings for abstract argumentation. Theory and Practice of Logic Programming 15, 4–5, 434448.
Garey, M. R. and Johnson, D. S. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman.
Gebser, M., Kaminski, R., Kaufmann, B., Romero, J. and Schaub, T. 2015a. Progress in clasp series 3. In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Calimeri, F., Ianni, G., and Truszczynski, M., Eds. Lecture Notes in Computer Science, vol. 9345. Springer, 368383.
Gebser, M., Kaminski, R., König, A. and Schaub, T. 2011. Advances in gringo series 3. In Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, Delgrande, J. P. and Faber, W., Eds. Lecture Notes in Computer Science, vol. 6645. Springer, 345351.
Gebser, M., Kaufmann, B., Romero, J., Otero, R., Schaub, T. and Wanko, P. 2013. Domain-specific heuristics in answer set programming. In Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA., desJardins, M. and Littman, M. L., Eds. AAAI Press.
Gebser, M., Maratea, M. and Ricca, F. 2015b. The sixth answer set programming competition web site. http://aspcomp2015.dibris.unige.it/.
Gebser, M., Ryabokon, A. and Schenner, G. 2015c. Combining heuristics for configuration problems using answer set programming. In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Calimeri, F., Ianni, G., and Truszczynski, M., Eds. Lecture Notes in Computer Science, vol. 9345. Springer, 384397.
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Comput. 9, 3/4, 365386.
Grasso, G., Leone, N., Manna, M. and Ricca, F. 2011. ASP at work: Spin-off and applications of the DLV system. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Balduccini, M. and Son, T. C., Eds. Lecture Notes in Computer Science, vol. 6565. Springer, 432451.
Hoos, H., Lindauer, M. T. and Schaub, T. 2014. claspfolio 2: Advances in algorithm selection for answer set programming. Theory and Practice of Logic Programming 14, 4–5, 569585.
Koponen, L., Oikarinen, E., Janhunen, T. and Säilä, L. 2015. Optimizing phylogenetic supertrees using answer set programming. Theory and Practice of Logic Programming 15, 4–5, 604619.
Manna, M., Ricca, F. and Terracina, G. 2015. Taming primary key violations to query large inconsistent data via ASP. Theory and Practice of Logic Programming 15, 4–5, 696710.
Maratea, M., Pulina, L. and Ricca, F. 2014. A multi-engine approach to answer-set programming. Theory and Practice of Logic Programming 14, 6, 841868.
Marileo, M. C. and Bertossi, L. E. 2010. The consistency extractor system: Answer set programs for consistent query answering in databases. Data Knowl. Eng. 69, 6, 545572.
Ryabokon, A. 2015. Knowledge-based (Re)configuration of Complex Products and Services. Ph.D. thesis, Alpen-Adria-University Klagenfurt.
Teppan, E. C., Friedrich, G. and Falkner, A. A. 2012. Quickpup: A heuristic backtracking algorithm for the partner units configuration problem. In Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, Fromherz, M. P. J. and Muñoz-Avila, H., Eds. AAAI.

Keywords

Type Description Title
PDF
Supplementary materials

Dodaro supplementary material
Online Appendix

 PDF (188 KB)
188 KB

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed