Skip to main content Accessibility help
×
Home

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

Published online by Cambridge University Press:  14 October 2016


CARMINE DODARO
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail: lastname@mat.unical.it)
PHILIP GASTEIGER
Affiliation:
Alpen-Adria-Universität Klagenfurt, Austria (e-mail: firstname.lastname@gmail.com)
NICOLA LEONE
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail: lastname@mat.unical.it)
BENJAMIN MUSITSCH
Affiliation:
Alpen-Adria-Universität Klagenfurt, Austria (e-mail: firstname.lastname@gmail.com)
FRANCESCO RICCA
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail: lastname@mat.unical.it)
KOSTYANTYN SHCHEKOTYKHIN
Affiliation:
Alpen-Adria-Universität Klagenfurt, Austria (e-mail: firstname.lastname@gmail.com)
Corresponding

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.


Type
Regular Papers
Copyright
Copyright © Cambridge University Press 2016 

Access options

Get access to the full version of this content by using one of the access options below.

References

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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Balduccini, M. 2011. Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24, 2, 147164.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Commun. ACM 54, 12, 92103.CrossRefGoogle Scholar
Calimeri, F., Gebser, M., Maratea, M. and Ricca, F. 2016. Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151181.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. 2001. Complexity and expressive power of logic programming. ACM Comput. Surv. 33, 3, 374425.CrossRefGoogle Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Erdem, E. and Öztok, U. 2015. Generating explanations for biomedical queries. Theory and Practice of Logic Programming 15, 1, 3578.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
Falkner, A. A., Haselböck, A., Schenner, G. and Schreiner, H. 2011. Modeling and solving technical product configuration problems. AI EDAM 25, 2, 115129.Google Scholar
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.Google Scholar
Fionda, V. and Greco, G. 2013. The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions. Artif. Intell. 196, 125.CrossRefGoogle Scholar
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.Google Scholar
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.CrossRefGoogle Scholar
Garey, M. R. and Johnson, D. S. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Gebser, M., Maratea, M. and Ricca, F. 2015b. The sixth answer set programming competition web site. http://aspcomp2015.dibris.unige.it/.Google Scholar
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.Google Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Comput. 9, 3/4, 365386.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
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.Google Scholar
Ryabokon, A. 2015. Knowledge-based (Re)configuration of Complex Products and Services. Ph.D. thesis, Alpen-Adria-University Klagenfurt.Google Scholar
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.Google Scholar

Dodaro supplementary material

Online Appendix

[Opens in a new window]
PDF 188 KB

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 105 *
View data table for this chart

* Views captured on Cambridge Core between 14th October 2016 - 2nd December 2020. This data will be updated every 24 hours.

Hostname: page-component-79f79cbf67-cxk4b Total loading time: 1.687 Render date: 2020-12-02T12:13:35.549Z Query parameters: { "hasAccess": "0", "openAccess": "0", "isLogged": "0", "lang": "en" } Feature Flags last update: Wed Dec 02 2020 12:05:39 GMT+0000 (Coordinated Universal Time) Feature Flags: { "metrics": true, "metricsAbstractViews": false, "peerReview": true, "crossMark": true, "comments": true, "relatedCommentaries": true, "subject": true, "clr": false, "languageSwitch": true }

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

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

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

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

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

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

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *