Preliminary Report on WASP 2.0
Preliminary Report on WASP 2.0
复制标题
WASP 2.0 初步报告
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
F. Ricca
中科院分区：
文献类型：
--
作者：
Mario Alviano;Carmine Dodaro;F. Ricca
答案集编程（ASP）是声明的编程范式。评估ASP计划的内在复杂性使得开发更有效，更快的系统成为具有挑战性的研究主题。本文报告了ASP求解器黄蜂的最新改进。黄蜂正在进行一个重构过程，该过程最终将在发布该软件的新版本和更具性能的版本中。特别是，本文着重于对正常程序的核心评估算法的改进。报告了属于NP类别的第三ASP竞赛基准的初步实验。先前版本的黄蜂通常与此类的替代解决方案不竞争。新版本的黄蜂表现出大幅提高性能。
Answer Set Programming (ASP) is a declarative programming paradigm. The intrinsic complexity of the evaluation of ASP programs makes the development of more effective and faster systems a challenging research topic. This paper reports on the recent improvements of the ASP solver WASP. WASP is undergoing a refactoring process which will end up in the release of a new and more performant version of the software. In particular the paper focus on the improvements to the core evaluation algorithms working on normal programs. A preliminary experiment on benchmarks from the 3rd ASP competition belonging to the NP class is reported. The previous version of WASP was often not competitive with alternative solutions on this class. The new version of WASP shows a substantial increase in performance.