Evaluation of Disjunctive Programs in WASP

Answer Set Programming (ASP) is a well-established declarative programming language based on logic. The success of ASP is mainly due to the availability of efficient ASP solvers, therefore their development is still an important research topic. In this paper we report the recent improvements of the well-known ASP solver wasp. The new version of wasp includes several improvements of the main solving strategies and advanced reasoning techniques for computing paracoherent answer sets. Indeed, wasp is the first ASP solver handling paracoherent reasoning under two mainstream semantics, namely semi-stable and semi-equilibrium. However, semi-equilibrium semantics may require the introduction of several disjunctive rules, which are usually considered as a source of inefficiency for modern solvers. Such a drawback is addressed in wasp by implementing ad-hoc techniques to efficiently handle disjunctive logic programs. These techniques are presented and evaluated in this paper.

[1]  Mario Alviano,et al.  The ASP System DLV2 , 2017, LPNMR.

[2]  Mario Alviano,et al.  Optimum stable model search: algorithms and implementation , 2020, J. Log. Comput..

[3]  Wolfgang Faber,et al.  Externally Supported Models for Efficient Computation of Paracoherent Answer Sets , 2018, AAAI.

[4]  Fangzhen Lin,et al.  ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..

[5]  Ilkka Niemelä,et al.  GNT - A Solver for Disjunctive Logic Programs , 2004, LPNMR.

[6]  Martin Gebser,et al.  Conflict-driven answer set solving: From theory to practice , 2012, Artif. Intell..

[7]  Rina Dechter,et al.  Propositional semantics for disjunctive logic programs , 1994, Annals of Mathematics and Artificial Intelligence.

[8]  Nicola Leone,et al.  On the Application of Answer Set Programming to the Conference Paper Assignment Problem , 2016, AI*IA.

[9]  Martin Gebser,et al.  Advanced Conflict-Driven Disjunctive Answer Set Solving , 2013, IJCAI.

[10]  Nicola Leone,et al.  Entity set expansion from the Web via ASP , 2017, ICLP.

[11]  Peter Schüller,et al.  Applications of non-monotonic reasoning to automotive product configuration using answer set programming , 2019, J. Intell. Manuf..

[12]  Gerald Pfeifer,et al.  Enhancing disjunctive logic programming systems by SAT checkers , 2003, Artif. Intell..

[13]  Wolfgang Faber,et al.  On the Computation of Paracoherent Answer Sets , 2017, AAAI.

[14]  Yuliya Lierler,et al.  SAT-Based Answer Set Programming , 2004, AAAI.

[15]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[16]  Michael Gelfond,et al.  Applications of Answer Set Programming , 2016, AI Mag..

[17]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[18]  Martin Gebser,et al.  The Design of the Sixth Answer Set Programming Competition - - Report - , 2014, LPNMR.

[19]  Miroslaw Truszczynski,et al.  Generating Hard Random Boolean Formulas and Disjunctive Logic Programs , 2017, IJCAI.

[20]  Martin Gebser,et al.  Tableau Calculi for Logic Programs under Answer Set Semantics , 2013, TOCL.

[21]  Mario Alviano,et al.  WASP: A Native ASP Solver Based on Constraint Learning , 2013, LPNMR.

[22]  Maratea Marco,et al.  The Design of the Seventh Answer Set Programming Competition , 2017 .

[23]  Martin Gebser,et al.  Progress in clasp Series 3 , 2015, LPNMR.

[24]  Mario Alviano,et al.  The Disjunctive Datalog System DLV , 2010, Datalog.

[25]  Thomas Eiter,et al.  Semi-equilibrium models for paracoherent answer set programs , 2016, Artif. Intell..

[26]  Enrico Giunchiglia,et al.  Solving satisfiability problems with preferences , 2010, Constraints.

[27]  Thomas Eiter,et al.  Modular Paracoherent Answer Sets , 2014, JELIA.

[28]  Mario Alviano,et al.  Completion of Disjunctive Logic Programs , 2016, IJCAI.

[29]  Mario Alviano,et al.  Advances in WASP , 2015, LPNMR.

[30]  Giovanni Amendola,et al.  Solving the Stable Roommates Problem using Incoherent Answer Set Programs , 2018, RiCeRcA@AI*IA.

[31]  Nicola Leone,et al.  Modeling and Reasoning about NTU Games via Answer Set Programming , 2016, IJCAI.

[32]  Martin Gebser,et al.  Abstract gringo , 2015, Theory Pract. Log. Program..

[33]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[34]  Tomi Janhunen,et al.  Cross-Translating Answer Set Programs Using the ASPTOOLS Collection , 2018, KI - Künstliche Intelligenz.