[논문 리뷰] Schemata as Building Blocks: Does Size Matter?

Christopher R. Stephens, Henri Waelbroeck외 1명|ArXiv.org|2000. 06. 30.

Evolutionary Game Theory and Cooperation참고 문헌 13인용 수 25

한 줄 요약

이 논문은 정확한 스키마 진화 방정정식을 사용하여 유전적 알고리즘(GA)에서 스키마 정리와 빌딩 블록 가설을 재평가한다. 효율적 적합도(effective fitness)가 스키마 확산의 핵심 요인임을 제시하며, 높은 효율적 적합도를 가진 스키마는 시간이 지남에 따라 지수적으로 증가함을 보이고, 짧은 스키마에 대한 일반적인 선호가 없음을 입증한다. 특히 재구성 작용이 지배할 경우, 더 긴 스키마가 유리하다. 이는 비도전적 또는 에피스태틱 환경에서 성립한다.

ABSTRACT

We analyze the schema theorem and the building block hypothesis using a recently derived, exact schemata evolution equation. We derive a new schema theorem based on the concept of effective fitness showing that schemata of higher than average effective fitness receive an exponentially increasing number of trials over time. The building block hypothesis is a natural consequence in that the equation shows how fit schemata are constructed from fit sub-schemata. However, we show that generically there is no preference for short, low-order schemata. In the case where schema reconstruction is favoured over schema destruction large schemata tend to be favoured. As a corollary of the evolution equation we prove Geiringer's theorem. We give supporting numerical evidence for our claims in both non-epsitatic and epistatic landscapes.

연구 동기 및 목표

• 스키마 정리와 빌딩 블록 가설을 유전적 알고리즘에서 정확한 스키마 진화 방정식을 사용하여 비판적으로 평가한다.
• 특히 교차 작용 하에서 짧고 저차수의 스키마가 GA에서 본질적으로 유리한가를 조사한다.
• 효율적 적합도 개념을 도입하고 검증하여, 원시 선택적 적합도보다도 더 정확한 스키마 성공 예측자임을 입증한다.
• 스키마 재구성과 파괴의 역할이 짧은 스키마와 긴 스키마의 퍼짐에 미치는 영향을 분석한다.
• 비에피스태틱, 에피스태틱, 도전적 적합도 환경에서 수치 실험을 수행하여 이론적 예측을 검증한다.

제안 방법

• 비례 선택, 1점 교차, 점 변이를 갖는 캐논리컬 GA에 대해 정확한 스키마 진화 방정식을 유도하고 적용한다.
• 선택, 교차, 변이를 고려한 스키마의 순수 생식 성공률을 모델링하기 위해 효율적 적합도 개념을 도입한다.
• 진화 방정식을 사용하여 고효율적 적합도 스키마에서 지수적 증가가 발생하는 새로운 스키마 정리를 도출한다.
• 스키마 파괴(교차에 의한)와 스키마 재구성(교차 및 변이에 의한) 간의 균형을 분석하여 스키마의 순수 퍼짐을 결정한다.
• 비에피스태틱, 비트-비트 상호작용이 있는 에피스태틱(반발력/유인), 그리고 완전히 도전적인 환경에서 수치 시뮬레이션을 수행하여 이론적 예측을 검증한다.
• 스키마 진화 방정식의 결과로 지에링거의 정리를 추론함으로써 이론적 일관성을 입증한다.

실험 결과

연구 질문

• RQ1 빌딩 블록 가설은 보편적으로 성립하는가, 아니면 특정 환경 및 연산자 동역학에 의존하는가?
• RQ2 유전적 알고리즘에서 짧고 저차수의 스키마에 대한 일반적인 선호가 존재하는가, 아니면 이는 스키마 재구성과 효율적 적합도에 의존하는가?
• RQ3 스키마 파괴와 재구성 간의 균형이 짧은 스키마와 긴 스키마의 진화에 어떻게 영향을 주는가?
• RQ4 원시 선택적 적합도보다 효율적 적합도가 GA 내에서 스키마 확산을 얼마나 잘 지배하는가?
• RQ5 도전적 환경에서 교차 작용이 진정으로 짧은 스키마를 유리하게 하는가, 그리고 이러한 현상이 어떤 조건에서 발생하는가?

주요 결과

• 높은 효율적 적합도를 가진 스키마는 시간이 지남에 따라 지수적으로 시도 횟수가 증가하며, 수정된 스키마 정리의 타당성을 입증한다.
• 짧고 저차수의 스키마에 대한 일반적인 선호가 없으며, 실제로는 스키마 재구성이 파괴를 압도할 경우 더 긴 스키마가 유리하다.
• 비도전적, 비에피스태틱 환경에서는 정의 길이가 길수록 스키마의 퍼짐이 단조롭게 증가하여 더 긴 스키마에 대한 선호가 나타난다.
• 비트-비트 반발력이 있는 에피스태틱 환경에서는 교차 작용이 유사한 반발력 힘처럼 작용하여 더 긴 스키마를 유리하게 하고, 비트-비트 유인의 경우 짧은 스키마가 유리하다.
• 완전히 도전적인 환경에서는 교차 작용이 스키마 파괴가 재구성보다 지배적이기 때문에 짧은 스키마를 유리하게 하며, 이는 이론적 기대와 일치한다.
• 스키마 진화 방정식은 지에링거의 정리를 추론할 수 있는 엄밀한 기초를 제공하며, 이는 이 방정식의 이론적 탄탄함을 확인한다.