[論文レビュー] How Santa Fe Ants Evolve

Dominic Wilson, Devinder Kaur|arXiv (Cornell University)|Dec 6, 2013

Evolutionary Algorithms and Applications参考文献 34被引用数 4

ひとこと要約

本稿では、サンタ・フェ・アント問題における進化したプログラムの構造的・動的特徴を分析するため、実行された命令列に基づく新しい表現型スキーマとランドスケープ解析を提案する。この手法により、道の状態に対する効果的な反応の繰り返しによって生じる繰り返し発生する高適合度のプログラム構造が特定され、サンタ・フェ・トレールおよびより複雑なロス・アルトス・トレールの両方で最適化性能が向上し、計算コストが低減される。

ABSTRACT

The Santa Fe Ant model problem has been extensively used to investigate, test and evaluate Evolutionary Computing systems and methods over the past two decades. There is however no literature on its program structures that are systematically used for fitness improvement, the geometries of those structures and their dynamics during optimization. This paper analyzes the Santa Fe Ant Problem using a new phenotypic schema and landscape analysis based on executed instruction sequences. For the first time we detail systematic structural features that give high fitness and the evolutionary dynamics of such structures. The new schema avoids variances due to introns. We develop a phenotypic variation method that tests the new understanding of the landscape. We also develop a modified function set that tests newly identified synchronization constraints. We obtain favorable computational efforts compared to those in the literature, on testing the new variation and function set on both the Santa Fe Trail, and the more computationally demanding Los Altos Trail. Our findings suggest that for the Santa Fe Ant problem, a perspective of program assembly from repetition of highly fit responses to trail conditions leads to better analysis and performance.

研究の動機と目的

• 新しい表現型スキーマを用いて、サンタ・フェ・アント問題における高適合度プログラムの構造的・動的特徴を分析すること。
• 原始的プログラム構文ではなく、実行された命令列に焦点を当てることで、イントロン由来のばらつきを排除すること。
• 適合度ランドスケープに関する新たな理解に基づいた表現型ばらつき手法を開発すること。
• 構造的分析から導かれた新たな同期制約を、修正された関数セットを用いてテストすること。
• サンタ・フェ・トレールおよびより複雑なロス・アルトス・トレールの両方で、性能向上を評価すること。

提案手法

• 非実行またはイントロン的コードのノイズを避けるために、実行された命令列に基づく表現型を表すための表現型スキーマを提案する。
• 実行コードの構造的パターンと適合度の関係をマッピングするためにランドスケープ解析を適用する。
• 分析で同定された高適合度の構造的モチーフを再結合することで、新しいプログラムを生成する表現型ばらつき手法を導入する。
• 構造的分析から導かれた同期制約を満たすように、関数セットを修正する。
• 適合度と計算コストを測定することで、2つのベンチマーク（サンタ・フェ・トレールおよびロス・アルトス・トレール）における進化的計算を実施する。
• 先行研究との定量的比較を通じて、計算コストの低減と最適化結果の向上を検証する。

実験結果

リサーチクエスチョン

• RQ1 サンタ・フェ・アント問題において、実行された命令列に一貫して現れる構造的特徴は何か？ それが高適合度に至るメカニズムは？
• RQ2 これらのプログラム構造のダイナミクスは最適化過程でどのように変化するか？
• RQ3 実行された命令列に基づく表現型スキーマは、イントロン由来のノイズを低減し、適合度ランドスケープ解析を明確にすることができるか？
• RQ4 新たに同定された同期制約は、プログラムの進化と性能にどのような影響を与えるか？
• RQ5 提案されたばらつき手法および関数セットの変更は、従来の手法に比べて計算効率を向上させることができるか？

主な発見

• 本研究では、サンタ・フェ・アント問題において、道の状態に対する効果的な反応の繰り返しによって生じる繰り返し発生する高適合度のプログラム構造が同定された。
• 新しい表現型スキーマにより、イントロン由来のばらつきが著しく低減され、適合度関連の構造的パターンの明確な分析が可能になった。
• 提案された表現型ばらつき手法により、サンタ・フェ・トレールおよびロス・アルトス・トレールの両方で収束が速まり、適合度が向上した。
• 同期制約に基づいて修正された関数セットにより、プログラムの信頼性と性能が向上した。
• 特により複雑なロス・アルトス・トレールにおいて、従来の手法と比較して計算コストが顕著に低減された。
• 結果は、高適合度の反応の繰り返しによるプログラム構築というパラダイム転換を支持しており、より効果的な進化的解析と最適化が可能になる。