Claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Issue 4 (21st July 2014)

• Record Type: Journal Article
• Authors: HOOS, HOLGER; LINDAUER, MARIUS; SCHAUB, TORSTEN; Leuschel, Michael; Schrijvers, Tom
• Is Part Of: Theory and practice of logic programming. Volume 14:Issue 4/5(2014)
• Page Start: 569
• Page End: 585
• Publication Date: 2014-07-21
• Subjects: Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068414000210
• Languages: English
• ISSNs: 1471-0684

Abstract

<abstract abstract-type="normal"> <title>Abstract</title> <p>Building on the award-winning, portfolio-based ASP solver <monospace>claspfolio</monospace>, we present <monospace>claspfolio</monospace> 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The <monospace>claspfolio</monospace> 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. The default configuration of <monospace>claspfolio</monospace> 2 relies on a light-weight version of the ASP solver <monospace>clasp</monospace> to generate static and dynamic instance features. The flexible open design of <monospace>claspfolio</monospace> 2 is a distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework. Taking advantage of this, we conducted an extensive experimental study to assess the impact of different feature sets, selection approaches and base solver portfolios. In addition to gaining substantial insights into the utility of the various approaches and techniques, we identified a default configuration of <monospace>claspfolio</monospace> 2 that achieves substantial performance gains not only over <monospace>clasp</monospace>'s default configuration and the earlier version of <monospace>claspfolio</monospace>, but also over manually tuned configurations of <monospace>clasp</monospace>.</p> </abstract>