AutoFolio: An Automatically Configured Algorithm Selector

Publikation: Beitrag in FachzeitschriftArtikelForschung

Autoren

Externe Organisationen

  • Albert-Ludwigs-Universität Freiburg
  • University of British Columbia
  • Universität Potsdam
  • INRIA Institut National de Recherche en Informatique et en Automatique
Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Seiten (von - bis)745-778
Seitenumfang34
FachzeitschriftJournal of Artificial Intelligence Research
Jahrgang53
PublikationsstatusVeröffentlicht - 15 Aug. 2015
Extern publiziertJa

Abstract

Algorithm selection (AS) techniques - which involve choosing from a set of algorithms the one expected to solve a given problem instance most efficiently - have substantially improved the state of the art in solving many prominent AI problems, such as SAT, CSP, ASP, MAXSAT and QBF. Although several AS procedures have been introduced, not too surprisingly, none of them dominates all others across all AS scenarios. Furthermore, these procedures have parameters whose optimal values vary across AS scenarios. This holds specifically for the machine learning techniques that form the core of current AS procedures, and for their hyperparameters. Therefore, to successfully apply AS to new problems, algorithms and benchmark sets, two questions need to be answered: (i) how to select an AS approach and (ii) how to set its parameters effectively. We address both of these problems simultaneously by using automated algorithm configuration. Specifically, we demonstrate that we can automatically configure claspfolio 2, which implements a large variety of different AS approaches and their respective parameters in a single, highly-parameterized algorithm framework. Our approach, dubbed AutoFolio, allows researchers and practitioners across a broad range of applications to exploit the combined power of many different AS methods. We demonstrate AutoFolio can significantly improve the performance of claspfolio 2 on 8 out of the 13 scenarios from the Algorithm Selection Library, leads to new state-of-the-art algorithm selectors for 7 of these scenarios, and matches state-of-the-art performance (statistically) on all other scenarios. Compared to the best single algorithm for each AS scenario, AutoFolio achieves average speedup factors between 1.3 and 15.4.

ASJC Scopus Sachgebiete

Zitieren

AutoFolio: An Automatically Configured Algorithm Selector. / Lindauer, Marius Thomas; Hoos, Holger; Hutter, Frank et al.
in: Journal of Artificial Intelligence Research, Jahrgang 53, 15.08.2015, S. 745-778.

Publikation: Beitrag in FachzeitschriftArtikelForschung

Lindauer MT, Hoos H, Hutter F, Schaub T. AutoFolio: An Automatically Configured Algorithm Selector. Journal of Artificial Intelligence Research. 2015 Aug 15;53:745-778. doi: 10.1613/jair.4726
Download
@article{13710d60bf184f88aa06111024e7e350,
title = "AutoFolio: An Automatically Configured Algorithm Selector",
abstract = "Algorithm selection (AS) techniques - which involve choosing from a set of algorithms the one expected to solve a given problem instance most efficiently - have substantially improved the state of the art in solving many prominent AI problems, such as SAT, CSP, ASP, MAXSAT and QBF. Although several AS procedures have been introduced, not too surprisingly, none of them dominates all others across all AS scenarios. Furthermore, these procedures have parameters whose optimal values vary across AS scenarios. This holds specifically for the machine learning techniques that form the core of current AS procedures, and for their hyperparameters. Therefore, to successfully apply AS to new problems, algorithms and benchmark sets, two questions need to be answered: (i) how to select an AS approach and (ii) how to set its parameters effectively. We address both of these problems simultaneously by using automated algorithm configuration. Specifically, we demonstrate that we can automatically configure claspfolio 2, which implements a large variety of different AS approaches and their respective parameters in a single, highly-parameterized algorithm framework. Our approach, dubbed AutoFolio, allows researchers and practitioners across a broad range of applications to exploit the combined power of many different AS methods. We demonstrate AutoFolio can significantly improve the performance of claspfolio 2 on 8 out of the 13 scenarios from the Algorithm Selection Library, leads to new state-of-the-art algorithm selectors for 7 of these scenarios, and matches state-of-the-art performance (statistically) on all other scenarios. Compared to the best single algorithm for each AS scenario, AutoFolio achieves average speedup factors between 1.3 and 15.4.",
author = "Lindauer, {Marius Thomas} and Holger Hoos and Frank Hutter and Torsten Schaub",
note = "Publisher Copyright: {\textcopyright} 2015 AI Access Foundation. All rights reserved. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.",
year = "2015",
month = aug,
day = "15",
doi = "10.1613/jair.4726",
language = "English",
volume = "53",
pages = "745--778",
journal = "Journal of Artificial Intelligence Research",
issn = "1076-9757",
publisher = "Morgan Kaufmann Publishers, Inc.",

}

Download

TY - JOUR

T1 - AutoFolio: An Automatically Configured Algorithm Selector

AU - Lindauer, Marius Thomas

AU - Hoos, Holger

AU - Hutter, Frank

AU - Schaub, Torsten

N1 - Publisher Copyright: © 2015 AI Access Foundation. All rights reserved. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2015/8/15

Y1 - 2015/8/15

N2 - Algorithm selection (AS) techniques - which involve choosing from a set of algorithms the one expected to solve a given problem instance most efficiently - have substantially improved the state of the art in solving many prominent AI problems, such as SAT, CSP, ASP, MAXSAT and QBF. Although several AS procedures have been introduced, not too surprisingly, none of them dominates all others across all AS scenarios. Furthermore, these procedures have parameters whose optimal values vary across AS scenarios. This holds specifically for the machine learning techniques that form the core of current AS procedures, and for their hyperparameters. Therefore, to successfully apply AS to new problems, algorithms and benchmark sets, two questions need to be answered: (i) how to select an AS approach and (ii) how to set its parameters effectively. We address both of these problems simultaneously by using automated algorithm configuration. Specifically, we demonstrate that we can automatically configure claspfolio 2, which implements a large variety of different AS approaches and their respective parameters in a single, highly-parameterized algorithm framework. Our approach, dubbed AutoFolio, allows researchers and practitioners across a broad range of applications to exploit the combined power of many different AS methods. We demonstrate AutoFolio can significantly improve the performance of claspfolio 2 on 8 out of the 13 scenarios from the Algorithm Selection Library, leads to new state-of-the-art algorithm selectors for 7 of these scenarios, and matches state-of-the-art performance (statistically) on all other scenarios. Compared to the best single algorithm for each AS scenario, AutoFolio achieves average speedup factors between 1.3 and 15.4.

AB - Algorithm selection (AS) techniques - which involve choosing from a set of algorithms the one expected to solve a given problem instance most efficiently - have substantially improved the state of the art in solving many prominent AI problems, such as SAT, CSP, ASP, MAXSAT and QBF. Although several AS procedures have been introduced, not too surprisingly, none of them dominates all others across all AS scenarios. Furthermore, these procedures have parameters whose optimal values vary across AS scenarios. This holds specifically for the machine learning techniques that form the core of current AS procedures, and for their hyperparameters. Therefore, to successfully apply AS to new problems, algorithms and benchmark sets, two questions need to be answered: (i) how to select an AS approach and (ii) how to set its parameters effectively. We address both of these problems simultaneously by using automated algorithm configuration. Specifically, we demonstrate that we can automatically configure claspfolio 2, which implements a large variety of different AS approaches and their respective parameters in a single, highly-parameterized algorithm framework. Our approach, dubbed AutoFolio, allows researchers and practitioners across a broad range of applications to exploit the combined power of many different AS methods. We demonstrate AutoFolio can significantly improve the performance of claspfolio 2 on 8 out of the 13 scenarios from the Algorithm Selection Library, leads to new state-of-the-art algorithm selectors for 7 of these scenarios, and matches state-of-the-art performance (statistically) on all other scenarios. Compared to the best single algorithm for each AS scenario, AutoFolio achieves average speedup factors between 1.3 and 15.4.

UR - http://www.scopus.com/inward/record.url?scp=84942435904&partnerID=8YFLogxK

U2 - 10.1613/jair.4726

DO - 10.1613/jair.4726

M3 - Article

VL - 53

SP - 745

EP - 778

JO - Journal of Artificial Intelligence Research

JF - Journal of Artificial Intelligence Research

SN - 1076-9757

ER -

Von denselben Autoren