Skip to main content
×
×
Home

Efficiently Coupling the I-DLV Grounder with ASP Solvers

  • DAVIDE FUSCÀ (a1), FRANCESCO CALIMERI (a1), JESSICA ZANGARI (a1), SIMONA PERRI (a1) and CARMINE DODARO (a2)...
Abstract

We present ${{{{$\mathscr{I}$}-}\textsc{dlv}}+{{$\mathscr{MS}$}}}$ , a new answer set programming (ASP) system that integrates an efficient grounder, namely ${{{$\mathscr{I}$}-}\textsc{dlv}}$ , with an automatic selector that inductively chooses a solver: depending on some inherent features of the instantiation produced by ${{{$\mathscr{I}$}-}\textsc{dlv}}$ , machine learning techniques guide the selection of the most appropriate solver. The system participated in the latest (7th) ASP competition, winning the regular track, category SP (i.e., one processor allowed).

Copyright
References
Hide All
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, Espoo, Finland, 3–6 Jul. 2017, Balduccini, M. and Janhunen, T., Eds. Springer, 215221.
Alviano, M. and Dodaro, C. 2016. Anytime answer set optimization via unsatisfiable core shrinking. Theory and Practice of Logic Programming 16, 5–6, 533551.
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, Lexington, KY, USA, 27–30 Sept. 2015, Calimeri, F., Ianni, G. and Truszczynski, M., Eds. Springer, 4054.
Alviano, M., Dodaro, C., Marques-Silva, J. and Ricca, F. 2015. Optimum stable model search: Algorithms and implementation. Journal of Logic and Computation.
Breiman, L. 2001. Random forests. Machine Learning 45, 1, 532.
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Communications of the ACM 54, 12, 92103.
Bruynooghe, M., Blockeel, H., Bogaerts, B., De Cat, B., Pooter, S. D., Jansen, J., Labarre, A., Ramon, J., Denecker, M. and Verwer, S. 2015. Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3. Theory and Practice of Logic Programming 15, 6, 783817.
Calimeri, F., Faber, W.,Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F. and Schaub, T. 2012. Asp-core-2: Input language format. ASP Standardization Working Group. Technical Report.
Calimeri, F., Fuscà, D., Perri, S. and Zangari, J. since 2016. homepage. URL: https://github.com/DeMaCS-UNICAL/I-DLV/wiki. [Accessed on March 20, 2018].
Calimeri, F., Fuscà, D., Perri, S. and Zangari, J. since 2017. homepage. URL: https://github.com/DeMaCS-UNICAL/IDLV-MS. [Accessed on March 20, 2018].
Calimeri, F., Fuscà, D., Perri, S. and Zangari, J. 2017. I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale 11, 1, 520.
Calimeri, F., Fuscà, D., Perri, S. and Zangari, J. 2018. Optimizing answer set computation via heuristic-based decomposition. In International Symposium on Practical Aspects of Declarative Languages. Lecture Notes in Computer Science, vol. 10702, Los Angeles, CA, USA, 8–9 Jan. 2018, Calimeri, F., Hamlen, K. W. and Leone, N., Eds. Springer, 135151.
Calimeri, F., Gebser, M., Maratea, M. and Ricca, F. 2016. Design and results of the fifth answer set programming competition. Artificial Intelligence 231, 151181.
Dal Palù, A., Dovier, A., Pontelli, E. and Rossi, G. 2009. GASP: Answer set programming with lazy grounding. Fundamenta Informaticae 96, 3, 297322.
Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. 2001. Complexity and expressive power of logic programming. ACM Computing Survey 33, 3, 374425.
Dao-Tran, M., Eiter, T., Fink, M., Weidinger, G. and Weinzierl, A. 2012. Omiga: An open minded grounding on-the-fly answer set solver. In European Conference on Logics in Artificial Intelligence. Lecture Notes in Computer Science, vol. 7519, Toulouse, France, 26–28 Sept. 2012, del Cerro, L. F., Herzig, A. and Mengin, J., Eds. Springer, 480483.
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, Pescara, Italy, Aug. 31 - Sept. 2, Fioravanti, F., Ed. 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, Berlin, Germany, 4–5 Aug. 2015, Cate, B. T. and Mileo, A., Eds. Springer, 7792.
Erdem, E., Gelfond, M. and Leone, N. 2016. Applications of answer set programming. AI Magazine 37, 3, 5368.
Esfahani, M. S. and Dougherty, E. R. 2014. Effect of separate sampling on classification accuracy. Bioinformatics 30, 2, 242250.
Faber, W., Leone, N. and Perri, S. 2012. The intelligent grounder of DLV. In Correct Reasoning–Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science, vol. 7265. Springer, 247264.
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Wanko, P. 2016. Theory solving made easy with clingo 5. In Technical Communications of the International Conference on Logic Programming. OASICS, vol. 52, New York, NY, USA, 1621 Oct. 2016, Carro, M., King, A., Saeedloei, N. and De Vos, M., Eds. 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, Lexington, KY, USA, 27–30 Sept. 2015, Calimeri, F., Ianni, G. and Truszczynski, M., Eds. vol. 9345. Springer, 368383.
Gebser, M., Kaminski, R., König, A. and Schaub, T. 2011. Advances in gringo series 3. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 6645, Vancouver, Canada, 16–19 May 2011, Delgrande, J. P. and Faber, W., Eds. Springer, 345351.
Gebser, M., Kaufmann, B. and Schaub, T. 2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 187, 5289.
Gebser, M., Maratea, M. and Ricca, F. 2016. What’s hot in the answer set programming competition. In AAAI Conference on Artificial Intelligence, Phoenix, AZ, USA, 12–17 Feb. 2016, Schuurmans, D. and Wellman, M. P., Eds. AAAI Press, 4327–4329.
Gebser, M., Maratea, M. and Ricca, F. 2017a. The design of the seventh answer set programming competition. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 10377, Espoo, Finland, 3–6 Jul. 2017, Balduccini, M. and Janhunen, T., Eds. Springer, 39.
Gebser, M., Maratea, M. and Ricca, F. 2017b. The sixth answer set programming competition. Journal of Artificial Intelligence Research 60, 4195.
Gebser, M., Schaub, T. and Thiele, S. 2007. Gringo: A new grounder for answer set programming. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 4483, Tempe, AZ, USA, May 15–17 2007, Baral, C., Brewka, G. and Schlipf, J. S., Eds. Springer, 266271.
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming In International Conference and Symposium on Logic Programming, Seattle, WA, USA, Kowalski, R. A. and Bowen, K. A., Eds. MIT Press, 10701080.
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 3/4, 365386.
Grasso, G., Iiritano, S., Leone, N. and Ricca, F. 2009. Some DLV applications for knowledge management. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 5753, Potsdam, Germany, 14–18 Sept. 2009. Erdem, E., Lin, F. and Schaub, T., Eds. Springer, 591597.
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.
Kaufmann, B., Leone, N., Perri, S. and Schaub, T. 2016. Grounding and solving in answer set programming. AI Magazine 37, 3, 2532.
Kotthoff, L., Thornton, C., Hoos, H. H., Hutter, F. and Leyton-Brown, K. 2017. Auto-weka 2.0: Automatic model selection and hyperparameter optimization in WEKA. Journal of Machine Learning Research 18, 25:1-25:5.
Lefèvre, C., Béatrix, C., Stéphan, I. and Garcia, L. 2017. Asperix, a first-order forward chaining approach for answer set computing. Theory and Practice of Logic Programming 17, 3, 266310.
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Transaction on Computational Logic 7, 3, 499562.
Leone, N. and Ricca, F. 2015. Answer set programming: A tour from the basics to advanced development tools and industrial applications. In International Summer School on Reasoning Web. Lecture Notes in Computer Science, vol. 9203, Berlin, Germany, Jul. 31-Aug. 4 2015, Faber, W. and Paschke, A., Eds. Springer, 308326.
Lierler, Y. and Maratea, M. 2004. Cmodels-2: Sat-based answer set solver enhanced to non-tight programs. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 2923, Fort Lauderdale, FL, USA, 6–8 Jan. 2004, Lifschitz, V. and Niemelä, I., Eds. Springer, 346350.
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.
Maratea, M., Ricca, F., Faber, W. and Leone, N. 2008. Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. Journal of Algorithms 63, 1–3, 7089.
Nogueira, M., Balduccini, M., Gelfond, M., Watson, R. and Barry, M. 2001. An a-prolog decision support system for the space shuttle. In International Symposium on Practical Aspects of Declarative Languages. Lecture Notes in Computer Science, vol. 1990, Las Vegas, NV, USA, 11–12 Mar. 2001, Ramakrishnan, I. V., Eds. Springer, 169183.
Pulina, L. and Tacchella, A. 2009. A self-adaptive multi-engine solver for quantified boolean formulas. Constraints 14, 1, 80116.
Ricca, F., Grasso, G., Alviano, M., Manna, M., Lio, V., Iiritano, S. and Leone, N. 2012. Team-building with answer set programming in the gioia-tauro seaport. Theory and Practice of Logic Programming 12, 3, 361381.
Rice, J. R. 1976. The algorithm selection problem. Advances in Computers 15, 65118.
Simons, P., Niemelä, I. and Soininen, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138, 1–2, 181234.
Smola, A. J. and Schölkopf, B. 2004. A tutorial on support vector regression. Statistics and Computing 14, 3, 199222.
Syrjänen, T. 2001. Omega-restricted logic programs. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 2173, Vienna, Austria, 17–19 Sept. 2001, Eiter, T., Faber, W. and Truszczynski, M., Eds. Springer, 267279.
Syrjänen, T. 2002. Lparse 1.0 user’s manual. URL: http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz. [Accessed on March 20, 2018].
Tiihonen, J., Soininen, T., Niemelä, I. and Sulonen, R. 2003. A practical tool for mass-customising configurable products. In International Conference on Engineering Design, Stockholm, Sweden, 1921 Aug. 2003, Folkeson, A., Gralen, K., Norell, M. and Sellgren, U., Eds.
Ullman, J. D. 1988. Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, New York, NY, USA.
Weinzierl, A. 2017. Blending lazy-grounding and CDNL search for answer-set solving. In International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 10377, Espoo, Finland, 3–6 Jul. 2017, Balduccini, M. and Janhunen, T., Eds. Springer, 191204.
Xu, L., Hutter, F., Hoos, H. H. and Leyton-Brown, K. 2008. Satzilla: Portfolio-based algorithm selection for SAT. Journal of Artificial Intelligence Research 32, 565606.
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