The External Interface for Extending WASP

作     者：Dodaro, Carmine Ricca, Francesco 

作者机构：Univ Genoa DIBRIS Genoa Italy Univ Calabria DEMACS Arcavacata Di Rende Italy 

出 版 物：《THEORY AND PRACTICE OF LOGIC PROGRAMMING》 (逻辑程序设计理论与实践)

年 卷 期：2020年第20卷第2期

页      面：225-248页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Italian Ministry for Economic Development (MISE) under project "PIUCultura - Paradigmi Innovativi per l'Utilizzo della Cultura" within the call "HORIZON2020" PON IC 2014-2020 [F/020016/0102/X27] Italian Ministry for Economic Development (MISE) under project "Smarter Solutions in the Big Data World (S2BDW)" within the call "HORIZON2020" PON IC 2014-2020 [F/050389/0103/X32] 

主　　题：knowledge representation and reasoning answer set programming application programming interface propagators choice heuristics 

摘      要：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 bothgeneral, that is, it can be used for providing either new branching heuristics or propagators, andexternal, 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.