Skip to main content Accessibility help
×
×
Home

The External Interface for Extending WASP

  • CARMINE DODARO (a1) and FRANCESCO RICCA (a2)
Abstract

Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the conflict-driven clause learning (CDCL) backtracking search algorithm. Recent work suggested that the performance of CDCL-based implementations can be considerably improved on specific benchmarks by extending their solving capabilities with custom heuristics and propagators. However, embedding such algorithms into existing systems requires expert knowledge of the internals of ASP implementations. The development of effective solver extensions can be made easier by providing suitable programming interfaces. In this paper, we present the interface for extending the CDCL-based ASP solver wasp. The interface is both general, that is, it can be used for providing either new branching heuristics or propagators, and external, that is, the implementation of new algorithms requires no internal modifications of wasp. Moreover, we review the applications of the interface witnessing it can be successfully used to extend wasp for solving effectively hard instances of both real-world and synthetic problems.

Copyright
Footnotes
Hide All
*

The paper has been partially supported by the Italian Ministry for Economic Development (MISE) under project “PIUCultura – Paradigmi Innovativi per l’Utilizzo della Cultura” (no. F/020016/01-02/X27), and under project “Smarter Solutions in the Big Data World (S2BDW)” (no. F/050389/01-03/X32) funded within the call “HORIZON2020” PON I&C 2014-2020. Authors are grateful to Mario Alviano, Bernardo Cuteri, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Peter Schüller, and Kostyantyn Shchekotykhin for their suggestions.

Footnotes
References
Hide All
Abseher, M., Gebser, M., Musliu, N., Schaub, T. and Woltran, S. 2016. Shift design with answer set programming. Fundamenta Informaticae 147, 1, 125.
Alviano, M., Calimeri, F., Dodaro, C., Fuscà, D., Leone, N., Perri, S., Ricca, F., Veltri, P. and Zangari, J. 2017. The ASP system DLV2. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 10377. Springer, 215221.
Alviano, M. and Dodaro, C. 2016. Completion of disjunctive logic programs. In International Joint Conference on Artificial Intelligence. IJCAI/AAAI Press, 886892.
Alviano, M., Dodaro, C., Faber, W., Leone, N. and Ricca, F. 2013. WASP: A native ASP solver based on constraint learning. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 8148. Springer, 5466.
Alviano, M., Dodaro, C., Leone, N. and Ricca, F. 2015. Advances in WASP. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 9345. Springer, 4054.
Alviano, M., Dodaro, C. and Maratea, M. 2017. An advanced answer set programming encoding for nurse scheduling. In AI*IA. Lecture Notes in Computer Science, vol. 10640. Springer, 468482.
Alviano, M., Dodaro, C. and Maratea, M. 2018. Shared aggregate sets in answer set programming. Theory and Practice of Logic Programming 18, 3–4, 301318.
Balduccini, M. 2011. Learning and using domain-specific heuristics in ASP solvers. AI Communications 24, 2, 147164.
Balduccini, M., Gelfond, M., Watson, R. and Nogueira, M. 2001. The USA-advisor: A case study in answer set planning. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 2173. Springer, 439442.
Balduccini, M. and Lierler, Y. 2017. Constraint answer set solver EZCSP and why integration schemas matter. Theory and Practice of Logic Programming 17, 4, 462515.
Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
Bartholomew, M. and Lee, J. 2013. Functional stable model semantics and answer set programming modulo theories. In International Joint Conference on Artificial Intelligence. IJCAI/AAAI, 718724.
Bartholomew, M. and Lee, J. 2014. System aspmt2smt: Computing ASPMT theories by SMT solvers. In European Conference on Logics in Artificial Intelligence. Lecture Notes in Computer Science, vol. 8761. Springer, 529542.
Baselice, S., Bonatti, P. A. and Gelfond, M. 2005. Towards an integration of answer set and constraint solving. In International Conference on Logic Programming. Lecture Notes in Computer Science, vol. 3668. Springer, 5266.
Biere, A. and Fröhlich, A. 2015. Evaluating CDCL variable scoring schemes. In SAT. Lecture Notes in Computer Science, vol. 9340. Springer, 405422.
Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. and Schaub, T. 2015. Answer set programming modulo acyclicity. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 9345. Springer, 143150.
Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. and Schaub, T. 2016. Answer set programming modulo acyclicity. Fundamenta Informaticae 147, 1, 6391.
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Communications of the ACM 54, 12, 92103.
Cuteri, B., Dodaro, C., Ricca, F. and Schüller, P. 2017. Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory and Practice of Logic Programming 17, 5–6, 780799.
Dodaro, C. 2015. Computational Tasks in Answer Set Programming: Algorithms and Implementations. Ph.D. dissertation, University of Calabria.
Dodaro, C., Alviano, M., Faber, W., Leone, N., Ricca, F. and Sirianni, M. 2011. The birth of a WASP: Preliminary report on a new ASP solver. In Italian Conference on Computational Logic. CEUR Workshop Proceedings, vol. 810. CEUR-WS.org, 99113.
Dodaro, C., Gasteiger, P., Leone, N., Musitsch, B., Ricca, F. and Schekotihin, K. 2016. Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). Theory and Practice of Logic Programming 16, 5–6, 653669.
Dodaro, C., Leone, N., Nardi, B. and Ricca, F. 2015. Allotment problem in travel industry: A solution based on ASP. In International Conference on Web Reasoning and Rule Systems. Lecture Notes in Computer Science, vol. 9209. Springer, 7792.
Dodaro, C. and Maratea, M. 2017. Nurse scheduling via answer set programming. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 10377. Springer, 301307.
Dodaro, C., Ricca, F. and Schüller, P. 2016. External propagators in WASP: Preliminary report. In International RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. CEUR Workshop Proceedings, vol. 1745. CEUR-WS.org, 19.
Eén, N. and Sörensson, N. 2003. An extensible sat-solver. In International Conference on Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science, vol. 2919. Springer, 502518.
Erdem, E., Gelfond, M. and Leone, N. 2016. Applications of answer set programming. AI Magazine 37, 3, 5368.
Erdem, E. and Öztok, U. 2015. Generating explanations for biomedical queries. Theory and Practice of Logic Programming 15, 1, 3578.
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.
Garro, A., Palopoli, L. and Ricca, F. 2006. Exploiting agents in e-learning and skills management context. AI Communications 19, 2, 137154.
Gavanelli, M., Nonato, M. and Peano, A. 2015. An ASP approach for the valves positioning optimization in a water distribution system. Journal of Logic and Computation 25, 6, 13511369.
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Wanko, P. 2016. Theory solving made easy with clingo 5. In International Conference on Logic Programming (Technical Communications). OpenAccess Series in Informatics, vol. 52. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2:1–2:15.
Gebser, M., Kaminski, R., Kaufmann, B., Romero, J. and Schaub, T. 2015. Progress in clasp Series 3. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 9345. Springer, 368383.
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2012. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers.
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2014. Clingo = ASP + control: Preliminary report. CoRR abs/1405.3694.
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T. and Schneider, M. T. 2011. Potassco: The potsdam answer set solving collection. AI Communications 24, 2, 107124.
Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. 2008. Advanced preprocessing for answer set solving. In European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 178. IOS Press, 1519.
Gebser, M., Kaufmann, B., Romero, J., Otero, R., Schaub, T. and Wanko, P. 2013. Domain-specific heuristics in answer set programming. In AAAI Conference on Artificial Intelligence. AAAI Press.
Gebser, M., Kaufmann, B. and Schaub, T. 2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 187, 5289.
Gebser, M., Kaufmann, B. and Schaub, T. 2013. Advanced conflict-driven disjunctive answer set solving. In International Joint Conference on Artificial Intelligence. IJCAI/AAAI.
Gebser, M., Maratea, M. and Ricca, F. 2015. The design of the sixth answer set programming competition. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 9345. Springer, 531544.
Gebser, M., Maratea, M. and Ricca, F. 2016. What’s Hot in the Answer Set Programming Competition. In AAAI Conference on Artificial Intelligence. AAAI Press, 43274329.
Gebser, M., Maratea, M. and Ricca, F. 2017. The sixth answer set programming competition. Journal of Artificial Intelligence Research 60, 4195.
Gebser, M., Ryabokon, A. and Schenner, G. 2015. Combining heuristics for configuration problems using answer set programming. In International Conference on Logic Programming and Nonmonotonic Reasoning. 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 Computing 9, 3/4, 365386.
Janhunen, T. and Niemelä, I. 2016. The answer set programming paradigm. AI Magazine 37, 3, 1324.
Janhunen, T., Tasharrofi, S. and Ternovska, E. 2016. SAT-to-SAT: Declarative extension of SAT solvers with new propagators. In AAAI Conference on Artificial Intelligence. AAAI Press, 978984.
Kaufmann, B., Leone, N., Perri, S. and Schaub, T. 2016. Grounding and solving in answer set programming. AI Magazine 37, 3, 2532.
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.
Lierler, Y., Maratea, M. and Ricca, F. 2016. Systems, engineering environments, and competitions. AI Magazine 37, 3, 4552.
Lifschitz, V. 2016. Answer sets and the language of answer set programming. AI Magazine 37, 3, 712.
Manna, M., Ricca, F. and Terracina, G. 2013. Consistent query answering via ASP from different perspectives: Theory and practice. Theory and Practice of Logic Programming 13, 2, 227252.
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. 2012. The multi-engine ASP solver ME-ASP. In European Conference on Logics in Artificial Intelligence. Lecture Notes in Computer Science, vol. 7519. Springer, 484487.
Marileo, M. C. and Bertossi, L. E. 2010. The consistency extractor system: Answer set programs for consistent query answering in databases. Data & Knowledge Engineering 69, 6, 545572.
Moskewicz, M. W., Madigan, C. F., Zhao, Y., Zhang, L. and Malik, S. 2001. Chaff: Engineering an efficient SAT solver. In Design Automation Conference. ACM, 530535.
Nieuwenhuis, R., Oliveras, A. and Tinelli, C. 2006. Solving SAT and SAT modulo theories: From an abstract Davis–Putnam–Logemann–Loveland procedure to DPLL(T). Journal of the ACM 53, 6, 937977.
Ostrowski, M. and Schaub, T. 2012. ASP modulo CSP: The clingcon system. Theory and Practice of Logic Programming 12, 4–5, 485503.
Rossi, F., van Beek, P. and Walsh, T., Eds. 2006. Handbook of Constraint Programming. Foundations of Artificial Intelligence, vol. 2. Elsevier.
Schüller, P. 2016. Modeling variations of first-order horn abduction in answer set programming. Fundamenta Informaticae 149, 1–2, 159207.
Silva, J. P. M. and Sakallah, K. A. 1999. GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48, 5, 506521.
Susman, B. and Lierler, Y. 2016. SMT-based constraint answer set solver EZSMT (system description). In International Conference on Logic Programming (Technical Communications). OpenAccess Series in Informatics, vol. 52. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 1:1–1:15.
Zhang, L., Madigan, C. F., Moskewicz, M. W. and Malik, S. 2001. Efficient conflict driven learning in Boolean satisfiability solver. In IEEE/ACM International Conference on Computer-Aided Design. IEEE Computer Society, 279285.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

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