ParamILS
Algorithms AIMech:ParamILS DRAFT
An iterated-local-search framework for algorithm configuration that searches finite parameter settings through one-parameter neighborhood moves, perturbations and random restarts, with a replaceable procedure for comparing configurations on target-algorithm runs.
Identity Notes & Concept Scope
This record denotes the algorithmic framework in the 2009 paper, not its Ruby software package or a configured SAT/MIP solver. BasicILS and FocusedILS are distinct concrete instantiations of its comparison procedure and are not aliases. The framework optimizes one configuration over a supplied instance distribution, rather than selecting a different solver per instance or adapting a target solver during its own run. No normalized identity match was found across all 442 pinned AIO labels/scoped synonyms and 265 preceding native IDs/names/aliases. Full-checkout fixed-string searches included ignored and hidden files in both worktree and main checkout, returning 20 lines in the worktree and 25 in main. These were prior candidate leads, source references, neighboring-method mentions and five unrelated ROAR namespace entries in ignored dependencies, not existing records for these identities. Seven exact AIO CLASS nodes with synonyms and outgoing edges and six neighboring native mechanisms were inspected. Absence is bounded to this snapshot and semantic neighborhood.
Claims & Grounded Evidence
1 Claim
Mechanism
#method
Compare a supplied initial configuration with a fixed number of random configurations, then perform randomized first-acceptable one-exchange local search. Exclude moves that change only a currently inactive conditional parameter. Repeatedly perturb the current search configuration by a fixed number of random neighborhood moves, apply the local-search routine, and accept the resulting configuration when the chosen comparison procedure judges it at least as good. Independently restart the search configuration at random with a specified probability. Maintain an overall incumbent and return it at termination. The framework deliberately leaves comparison and objective estimation to an instantiation such as BasicILS or FocusedILS.
⚠️ Curated Limitations & Negative Results
- The 2009 formulation has a finite configuration domain; numerical parameters require discretization. Objective, run cutoff and training-instance distribution affect the selected configuration. Independent held-out evaluation is needed to assess generalization; no universal solver speedup is asserted.
- The printed first-improvement loop accepts the supplied non-strict comparison. Equal-cost neighboring configurations can therefore cycle under a literal reading; this record does not assert unconditional termination of that loop or executable equivalence to a software release.
- Adaptive capping is a separable acceleration, not the defining identity of this search/comparison method. Section4 describes trajectory-preserving and more aggressive alternatives. Procedure4 prints a max operation inconsistent with shortening the run cutoff described in the prose, and uses inconsistent cutoff symbols; the printed routine is not treated as verified executable code.
Artificial Intelligence Ontology (AIO) Grounding
Explicit AIO Snapshot Assessment: No Match
Rationale: No inspected AIO target captures this general algorithm-configuration procedure or a defining component. The local algorithm remains supported by its primary source; this is a bounded mapping assessment, not absence from all ontologies.
Search Scope: All 442 pinned AIO CLASS identities and scoped synonyms, all 265 preceding maintained identities, ignored/hidden checkout text, and semantic inspection of seven AIO targets plus neighboring configuration/resource-allocation methods.
| Examined AIO Candidate | Rejection Reason |
|---|---|
AIO:TrainingStrategy
|
The pinned definition concerns preprocessing/training of machine-learning models. This method configures target algorithms generally; an optional use for model tuning does not establish a training-strategy identity or necessary relation. |
AIO:MachineLearningTask
|
The target is a broad process for building methods that learn from data. Configuring an arbitrary solver over instances need not build such a learning method; shared use of observations does not justify equivalence or subclassing. |
AIO:MetaLearning
|
The pinned task learns from metadata about machine-learning experiments. These methods require no collection of ML experiments or learned cross-task prior; solver configuration alone is not that identity. |
AIO:ActiveLearning
|
The pinned task queries labels for data points. Choosing configuration evaluations or instance runs is not label acquisition in that defined sense. |
AIO:ReinforcementLearning
|
Exploration and empirical feedback do not by themselves establish the pinned learning-task identity; no reward-learning agent or policy-learning component is required by these configurators. |
AIO:RandomForest
|
These methods contain no defining decision-tree ensemble surrogate; random sampling, randomized local search and rank tests are not random forests. |
AIO:EvaluationBias
|
This is a bias concept, not a configuration algorithm. Potential overfitting or distribution mismatch is a limitation rather than an identity mapping. |
Evidence Sources & Primary Literature
1 Source| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
method-source
|
Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Thomas Stützle
|
primary paper
full_text
|
ID: doi:10.1613/jair.2861
sha256:3a1223d28e13…
|
Curation Provenance
Curator: Codex
Method: ai_assisted
Model: GPT-6
Created: 2026-10-11T12:04:49Z
Updated: 2026-10-11T12:04:49Z
Source File:
data/curated/ParamILS.yaml