Zusammenfassung
Inspired by the principle of natural selection,
coevolutionary algorithms are search methods in which
processes of mutual adaptation occur amongst agents
that interact strategically. The outcomes of
interaction reveal a reward structure that guides
evolution towards the discovery of increasingly
adaptive behaviors. Thus, coevolutionary algorithms are
often used to search for optimal agent behaviors in
domains of strategic interaction.
Coevolutionary algorithms require little a priori
knowledge about the domain. We assume the learning task
necessitates the algorithm to 1) discover agent
behaviors, 2) learn the domain's reward structure, and
3) approximate an optimal solution. Despite the many
successes of coevolutionary optimization, the
practitioner frequently observes a gap between the
properties that actually confer agent adaptivity and
those expected (or desired) to yield adaptivity, or
optimality. This gap is manifested by a variety of
well-known pathologies, such as cyclic dynamics, loss
of fitness gradient, and evolutionary forgetting.
This dissertation examines the divergence between
expectation and actuality in coevolutionary
algorithms---why selection pressures fail to conform to
our beliefs about adaptiveness, or why our beliefs are
evidently erroneous. When we confront the pathologies
of coevolutionary algorithms as a collection, we find
that they are essentially epiphenomena of a single
fundamental problem, namely a lack of rigor in our
solution concepts.
A solution concept is a formalism with which to
describe and understand the incentive structures of
agents that interact strategically. All coevolutionary
algorithms implement some solution concept, whether by
design or by accident, and optimize according to it.
Failures to obtain the desiderata of "complexity"
or öptimality" often indicate a dissonance between
the implemented solution concept and that required by
our envisaged goal.
We make the following contributions: 1) We show that
solution concepts are the critical link between our
expectations of coevolution and the outcomes actually
delivered by algorithm operation, and are therefore
crucial to explicating the divergence between the two,
2) We provide analytic results that show how solution
concepts bring our expectations in line with
algorithmic reality, and 3) We show how solution
concepts empower us to construct algorithms that
operate more in line with our goals.
Nutzer