Skip to main content
×
Home
    • Aa
    • Aa

Clingcon: The next generation*

  • MUTSUNORI BANBARA (a1), BENJAMIN KAUFMANN (a2), MAX OSTROWSKI (a2) and TORSTEN SCHAUB (a3)
Abstract
Abstract

We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach to hybrid solving by integrating the CP solver gecode, the new clingcon system pursues a lazy approach using dedicated constraint propagators to extend propagation in the underlying ASP solver clasp. No extension is needed for parsing and grounding clingcon's hybrid modeling language since both can be accommodated by the new generic theory handling capabilities of the ASP grounder gringo. As a whole, clingcon 3 is thus an extension of the ASP system clingo 5, which itself relies on the grounder gringo and the solver clasp. The new approach of clingcon offers a seamless integration of CP propagation into ASP solving that benefits from the whole spectrum of clasp's reasoning modes, including, for instance, multi-shot solving and advanced optimization techniques. This is accomplished by a lazy approach that unfolds the representation of constraints and adds it to that of the logic program only when needed. Although the unfolding is usually dictated by the constraint propagators during solving, it can already be partially (or even totally) done during preprocessing. Moreover, clingcon's constraint preprocessing and propagation incorporate several well-established CP techniques that greatly improve its performance. We demonstrate this via an extensive empirical evaluation contrasting, first, the various techniques in the context of CSP solving and, second, the new clingcon system with other hybrid ASP systems.

Copyright
Footnotes
Hide All

The author is currently affiliated with the Simon Fraser University, Canada, and Griffith University, Australia.

*

This work was partially funded by JSPS (KAKENHI 15K00099) and DFG (SCHA 550/9).

Footnotes
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

R. Aziz , G. Chu and P. Stuckey 2013. Stable model semantics for founded bounds. Theory and Practice of Logic Programming 13, 4–5, 517532.

M. Davis , G. Logemann and D. Loveland 1962. A machine program for theorem-proving. Communications of the ACM 5, 394397.

M. Davis and H. Putnam 1960. A computing procedure for quantification theory. Journal of the ACM 7, 201215.

C. Drescher and T. Walsh 2010. A translational approach to constraint answer set solving. Theory and Practice of Logic Programming 10, 4–6, 465480.

T. Eiter , M. Fink , T. Krennwallner and C. Redl 2012. Conflict-driven ASP solving with external sources. Theory and Practice of Logic Programming 12, 4–5, 659679.

M. Gebser , R. Kaminski , P. Obermeier and T. Schaub 2015. Ricochet robots reloaded: A case-study in multi-shot ASP solving. In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, T. Eiter , H. Strass , M. Truszczyński and S. Woltran , Eds. Lecture Notes in Artificial Intelligence, vol. 9060. Springer-Verlag, 1732.

M. Gebser , B. Kaufmann and T. Schaub 2012. Multi-threaded ASP solving with clasp. Theory and Practice of Logic Programming 12, 4–5, 525545.

J. Marques-Silva and K. Sakallah 1999. GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48, 5, 506521.

V. Mellarkod , M. Gelfond and Y. Zhang 2008. Integrating answer set programming and constraint logic programming. Annals of Mathematics and Artificial Intelligence 53, 1–4, 251287.

M. Ostrowski and T. Schaub 2012. ASP modulo CSP: The clingcon system. Theory and Practice of Logic Programming 12, 4–5, 485503.

F. Rossi , P. van Beek and T. Walsh , Eds. 2006. Handbook of Constraint Programming. Elsevier Science.

P. Simons , I. Niemel and T. Soininen 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138, 1–2, 181234.

N. Tamura , A. Taga , S. Kitagawa and M. Banbara 2009. Compiling finite linear CSP into SAT. Constraints 14, 2, 254272.

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: 12 *
Loading metrics...

Abstract views

Total abstract views: 53 *
Loading metrics...

* Views captured on Cambridge Core between 28th June 2017 - 23rd September 2017. This data will be updated every 24 hours.