The External Interface for Extending WASP

DOI10.1017/S1471068418000558zbMATH Open1472.68183arXiv1811.01692WikidataQ111096842 ScholiaQ111096842MaRDI QIDQ4957194FDOQ4957194

F. Ricca, Carmine Dodaro

Publication date: 3 September 2021

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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, i.e. it can be used for providing either new branching heuristics and propagators, and external, i.e. 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. Under consideration in Theory and Practice of Logic Programming (TPLP).

Full work available at URL: https://arxiv.org/abs/1811.01692

zbMATH Keywords

answer set programmingknowledge representationpropagatorschoice heuristicsapplication programming interface

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory and Applications of Satisfiability Testing
• System aspmt2smt: Computing ASPMT Theories by SMT Solvers
• Advances in WASP
• Multi-shot ASP solving with clingo
• The ASP system DLV2
• Constraint answer set solver EZCSP and why integration schemas matter
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Conflict-driven answer set solving: from theory to practice
• Solving SAT and SAT Modulo Theories
• GRASP: a search algorithm for propositional satisfiability
• Evaluating CDCL Variable Scoring Schemes
• ASP modulo CSP: The clingcon system
• Logic Programming
• Nurse scheduling via answer set programming
• The Design of the Sixth Answer Set Programming Competition
• The Sixth Answer Set Programming Competition
• Progress in clasp Series 3
• Taming primary key violations to query large inconsistent data via ASP
• Generating explanations for biomedical queries
• Shift Design with Answer Set Programming*
• Modeling Variations of First-Order Horn Abduction in Answer Set Programming
• Answer Set Programming Modulo Acyclicity
• Shared aggregate sets in answer set programming
• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
• Optimizing phylogenetic supertrees using answer set programming
• Answer Set Programming Modulo Acyclicity*
• Consistent query answering via ASP from different perspectives: Theory and practice
• An ASP approach for the valves positioning optimization in a water distribution system
• Combining Heuristics for Configuration Problems Using Answer Set Programming

Cited In (5)

• Partial Compilation of ASP Programs
• Paracoherent answer set computation
• Witnesses for Answer Sets of Logic Programs
• Adaptive large-neighbourhood search for optimisation in answer-set programming
• Extending and Implementing RASP

Uses Software

• MiniSat
• Chaff
• Potassco
• clasp
• WASP
• Clingcon
• Clingo
• ASPMT2SMT
• ezcsp
• DLV2

Recommendations

• Extensor-coding 👍 👎
• Extending and Implementing RASP 👍 👎
• Extending CORBA interfaces with protocols 👍 👎
• An interoperable calculus for external object access 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: The External Interface for Extending WASP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957194)