Awesome
<a id="x-28MGL-GPR-3A-40GPR-MANUAL-20MGL-PAX-3ASECTION-29"></a>
GPR Manual
Table of Contents
- 1
MGL-GPR
ASDF System - 2 Links
- 3 Background
- 4 Evolutionary Algorithms
- 5 Genetic Programming
- 6 Differential Evolution
[in package MGL-GPR]
<a id="x-28-22mgl-gpr-22-20ASDF-2FSYSTEM-3ASYSTEM-29"></a>
1 MGL-GPR
ASDF System
- Version: 0.0.1
- Description:
MGL-GPR
is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and constants) and Differential Evolution. - Licence: MIT, see COPYING.
- Author: Gábor Melis mega@retes.hu
- Mailto: mega@retes.hu
- Homepage: http://melisgl.github.io/mgl-gpr
- Bug tracker: https://github.com/melisgl/mgl-gpr/issues
- Source control: GIT
<a id="x-28MGL-GPR-3A-40GPR-GP-LINKS-20MGL-PAX-3ASECTION-29"></a>
2 Links
Here is the official repository and the HTML documentation for the latest version.
<a id="x-28MGL-GPR-3A-40GPR-BACKGROUND-20MGL-PAX-3ASECTION-29"></a>
3 Background
Evolutionary algorithms are optimization tools that assume little of the task at hand. Often they are population based, that is, there is a set of individuals that each represent a candidate solution. Individuals are combined and changed with crossover and mutationlike operators to produce the next generation. Individuals with lower fitness have a lower probability to survive than those with higher fitness. In this way, the fitness function defines the optimization task.
Typically, EAs are quick to get up and running, can produce reasonable results across a wild variety of domains, but they may need a bit of fiddling to perform well and domain specific approaches will almost always have better results. All in all, EA can be very useful to cut down on the tedium of human trial and error. However, they have serious problems scaling to higher number of variables.
This library grew from the Genetic Programming implementation I wrote while working for Ravenpack who agreed to release it under an MIT licence. Several years later I cleaned it up, and documented it. Enjoy.
<a id="x-28MGL-GPR-3A-40GPR-EA-20MGL-PAX-3ASECTION-29"></a>
4 Evolutionary Algorithms
Evolutionary algorithm is an umbrella term. In this section we first discuss the concepts common to conrete evolutionary algorithms Genetic Programming and Differential Evolution.
<a id="x-28MGL-GPR-3AEVOLUTIONARY-ALGORITHM-20CLASS-29"></a>
-
[class] EVOLUTIONARY-ALGORITHM
The
EVOLUTIONARY-ALGORITHM
is an abstract base class for generational, population based optimization algorithms.
<a id="x-28MGL-GPR-3A-40GPR-EA-POPULATION-20MGL-PAX-3ASECTION-29"></a>
4.1 Populations
The currenly implemented EAs are generational. That is, they maintain a population of candidate solutions (also known as individuals) which they replace with the next generation of individuals.
<a id="x-28MGL-GPR-3APOPULATION-SIZE-20-28MGL-PAX-3AACCESSOR-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[accessor] POPULATION-SIZE EVOLUTIONARY-ALGORITHM (:POPULATION-SIZE)
The number of individuals in a generation. This is a very important parameter. Too low and there won't be enough diversity in the population, too high and convergence will be slow.
<a id="x-28MGL-GPR-3APOPULATION-20-28MGL-PAX-3AACCESSOR-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[accessor] POPULATION EVOLUTIONARY-ALGORITHM (= (MAKE-ARRAY 0 :ADJUSTABLE 0 :FILL-POINTER T))
An adjustable array with a fill-pointer that holds the individuals that make up the population.
<a id="x-28MGL-GPR-3AGENERATION-COUNTER-20-28MGL-PAX-3AREADER-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[reader] GENERATION-COUNTER EVOLUTIONARY-ALGORITHM (= 0)
A counter that starts from 0 and is incremented by
ADVANCE
. All accessors ofEVOLUTIONARY-ALGORITHM
are allowed to be specialized on a subclass which allows them to be functions ofGENERATION-COUNTER
.
<a id="x-28MGL-GPR-3AADD-INDIVIDUAL-20FUNCTION-29"></a>
-
[function] ADD-INDIVIDUAL EA INDIVIDUAL
Adds
INDIVIDUAL
toPOPULATION
ofEA
. Usually called when initializing theEA
.
<a id="x-28MGL-GPR-3A-40GPR-EA-EVALUATION-20MGL-PAX-3ASECTION-29"></a>
4.2 Evaluation
<a id="x-28MGL-GPR-3AEVALUATOR-20-28MGL-PAX-3AREADER-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[reader] EVALUATOR EVOLUTIONARY-ALGORITHM (:EVALUATOR)
A function of two arguments: the
EVOLUTIONARY-ALGORITHM
object and an individual. It must return the fitness of the individual. For Genetic Programming, the evaluator often simply callsEVAL
, orCOMPILE
+FUNCALL
, and compares the result to some gold standard. It is also typical to slightly penalize solutions with too many nodes to control complexity and evaluation cost (seeCOUNT-NODES
). For Differential Evolution, individuals are conceptually (and often implemented as) vectors of numbers so the fitness function may include an L1 or L2 penalty term.Alternatively, one can specify
MASS-EVALUATOR
instead.
<a id="x-28MGL-GPR-3AMASS-EVALUATOR-20-28MGL-PAX-3AREADER-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[reader] MASS-EVALUATOR EVOLUTIONARY-ALGORITHM (:MASS-EVALUATOR = NIL)
NIL
or a function of three arguments: theEVOLUTIONARY-ALGORITHM
object, the population vector and the fitness vector into which the fitnesses of the individuals in the population vector shall be written. By specifyingMASS-EVALUATOR
instead of anEVALUATOR
, one can, for example, distribute costly evaluations over multiple threads.MASS-EVALUATOR
has precedence overEVALUATOR
.
<a id="x-28MGL-GPR-3AFITNESS-KEY-20-28MGL-PAX-3AREADER-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[reader] FITNESS-KEY EVOLUTIONARY-ALGORITHM (:FITNESS-KEY = #'IDENTITY)
A function that returns a real number for an object returned by
EVALUATOR
. It is called when two fitness are to be compared. The default value is #'IDENTITY
which is sufficient whenEVALUATOR
returns real numbers. However, sometimes the evaluator returns more information about the solution (such as fitness in various situations) andFITNESS-KEY
key be used to select the fitness value.
<a id="x-28MGL-GPR-3A-40GPR-EA-TRAINING-20MGL-PAX-3ASECTION-29"></a>
4.3 Training
Training is easy: one creates an object of a subclass of
EVOLUTIONARY-ALGORITHM
such as GENETIC-PROGRAMMING
or
DIFFERENTIAL-EVOLUTION
, creates the initial population by adding
individuals to it (see ADD-INDIVIDUAL
) and calls ADVANCE
in a loop
to move on to the next generation until a certain number of
generations or until the FITTEST
individual is good enough.
<a id="x-28MGL-GPR-3AADVANCE-20GENERIC-FUNCTION-29"></a>
-
[generic-function] ADVANCE EA
Create the next generation and place it in
POPULATION
ofEA
.
<a id="x-28MGL-GPR-3AFITTEST-20-28MGL-PAX-3AREADER-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[reader] FITTEST EVOLUTIONARY-ALGORITHM (= NIL)
The fittest individual ever to be seen and its fittness as a cons cell.
<a id="x-28MGL-GPR-3AFITTEST-CHANGED-FN-20-28MGL-PAX-3AACCESSOR-20MGL-GPR-3AEVOLUTIONARY-ALGORITHM-29-29"></a>
-
[accessor] FITTEST-CHANGED-FN EVOLUTIONARY-ALGORITHM (:FITTEST-CHANGED-FN = NIL)
If non-NIL, a function that's called when
FITTEST
is updated with three arguments: theEVOLUTIONARY-ALGORITHM
object, the fittest individual and its fitness. Useful for tracking progress.
<a id="x-28MGL-GPR-3A-40GPR-GP-20MGL-PAX-3ASECTION-29"></a>
5 Genetic Programming
<a id="x-28MGL-GPR-3A-40GPR-GP-BACKGROUND-20MGL-PAX-3ASECTION-29"></a>
5.1 Background
What is Genetic Programming? This is what Wikipedia has to say:
In artificial intelligence, genetic programming (GP) is an
evolutionary algorithm-based methodology inspired by biological
evolution to find computer programs that perform a user-defined
task. Essentially GP is a set of instructions and a fitness
function to measure how well a computer has performed a task. It
is a specialization of genetic algorithms (GA) where each
individual is a computer program. It is a machine learning
technique used to optimize a population of computer programs
according to a fitness landscape determined by a program's ability
to perform a given computational task.
Lisp has a long history of Genetic Programming because GP involves manipulation of expressions which is of course particularly easy with sexps.
<a id="x-28MGL-GPR-3A-40GPR-GP-TUTORIAL-20MGL-PAX-3ASECTION-29"></a>
5.2 Tutorial
GPR works with typed expressions. Mutation and crossover never produce expressions that fail with a type error. Let's define a couple of operators that work with real numbers and also return a real:
(defparameter *operators* (list (operator (+ real real) real)
(operator (- real real) real)
(operator (* real real) real)
(operator (sin real) real)))
One cannot build an expression out of these operators because they
all have at least one argument. Let's define some literal classes
too. The first is produces random numbers, the second always returns
the symbol *X*
:
(defparameter *literals* (list (literal (real)
(- (random 32.0) 16.0))
(literal (real)
'*x*)))
Armed with *OPERATORS*
and *LITERALS*
, one can already build
random expressions with RANDOM-EXPRESSION
, but we also need to
define how good a certain expression is which is called fitness.
In this example, we are going to perform symbolic regression, that is, try to find an expression that approximates some target expression well:
(defparameter *target-expr* '(+ 7 (sin (expt (* *x* 2 pi) 2))))
Think of *TARGET-EXPR*
as a function of *X*
. The evaluator
function will bind the special *X*
to the input and simply EVAL
the expression to be evaluated.
(defvar *x*)
The evaluator function calculates the average difference between
EXPR
and TARGET-EXPR
, penalizes large expressions and returns
the fitness of EXPR
. Expressions with higher fitness have higher
chance to produce offsprings.
(defun evaluate (gp expr target-expr)
(declare (ignore gp))
(/ 1
(1+
;; Calculate average difference from target.
(/ (loop for x from 0d0 to 10d0 by 0.5d0
summing (let ((*x* x))
(abs (- (eval expr)
(eval target-expr)))))
21))
;; Penalize large expressions.
(let ((min-penalized-size 40)
(size (count-nodes expr)))
(if (< size min-penalized-size)
1
(exp (min 120 (/ (- size min-penalized-size) 10d0)))))))
When an expression is to undergo mutation, a randomizer function is
called. Here we change literal numbers slightly, or produce an
entirely new random expression that will be substituted for EXPR
:
(defun randomize (gp type expr)
(if (and (numberp expr)
(< (random 1.0) 0.5))
(+ expr (random 1.0) -0.5)
(random-gp-expression gp (lambda (level)
(<= 3 level))
:type type)))
That's about it. Now we create a GP instance hooking everything up,
set up the initial population and just call ADVANCE
a couple of
times to create new generations of expressions.
(defun run ()
(let ((*print-length* nil)
(*print-level* nil)
(gp (make-instance
'gp
:toplevel-type 'real
:operators *operators*
:literals *literals*
:population-size 1000
:copy-chance 0.0
:mutation-chance 0.5
:evaluator (lambda (gp expr)
(evaluate gp expr *target-expr*))
:randomizer 'randomize
:selector (lambda (gp fitnesses)
(declare (ignore gp))
(hold-tournament fitnesses :n-contestants 2))
:fittest-changed-fn
(lambda (gp fittest fitness)
(format t "Best fitness until generation ~S: ~S for~% ~S~%"
(generation-counter gp) fitness fittest)))))
(loop repeat (population-size gp) do
(add-individual gp (random-gp-expression gp (lambda (level)
(<= 5 level)))))
(loop repeat 1000 do
(when (zerop (mod (generation-counter gp) 20))
(format t "Generation ~S~%" (generation-counter gp)))
(advance gp))
(destructuring-bind (fittest . fitness) (fittest gp)
(format t "Best fitness: ~S for~% ~S~%" fitness fittest))))
Note that this example can be found in example/symbolic-regression.lisp.
<a id="x-28MGL-GPR-3A-40GPR-GP-EXPRESSIONS-20MGL-PAX-3ASECTION-29"></a>
5.3 Expressions
Genetic programming works with a population of individuals. The
individuals are sexps that may be evaluated directly by EVAL
or by
other means. The internal nodes and the leafs of the sexp as a tree
represent the application of operators and literal objects,
respectively. Note that currently there is no way to represent
literal lists.
<a id="x-28MGL-GPR-3AEXPRESSION-CLASS-20CLASS-29"></a>
-
[class] EXPRESSION-CLASS
An object of
EXPRESSION-CLASS
defines two things: how to build a random expression that belongs to that expression class and what lisp type those expressions evaluate to.
<a id="x-28MGL-GPR-3ARESULT-TYPE-20-28MGL-PAX-3AREADER-20MGL-GPR-3AEXPRESSION-CLASS-29-29"></a>
-
[reader] RESULT-TYPE EXPRESSION-CLASS (:RESULT-TYPE)
Expressions belonging to this expression class must evaluate to a value of this lisp type.
<a id="x-28MGL-GPR-3AWEIGHT-20-28MGL-PAX-3AREADER-20MGL-GPR-3AEXPRESSION-CLASS-29-29"></a>
-
[reader] WEIGHT EXPRESSION-CLASS (:WEIGHT = 1)
The probability of an expression class to be selected from a set of candidates is proportional to its weight.
<a id="x-28MGL-GPR-3AOPERATOR-20CLASS-29"></a>
-
[class] OPERATOR EXPRESSION-CLASS
Defines how the symbol
NAME
in the function position of a list can be combined arguments: how many and of what types. The following defines+
as an operator that adds twoFLOAT
(0
1
)s:(make-instance 'operator :name '+ :result-type float :argument-types '(float float))
See the macro
OPERATOR
for a shorthand for the above.Currently no lambda list keywords are supported and there is no way to define how an expression with a particular operator is to be built. See
RANDOM-EXPRESSION
.
<a id="x-28MGL-GPR-3ANAME-20-28MGL-PAX-3AREADER-20MGL-GPR-3AOPERATOR-29-29"></a>
-
[reader] NAME OPERATOR (:NAME)
A symbol that's the name of the operator.
<a id="x-28MGL-GPR-3AARGUMENT-TYPES-20-28MGL-PAX-3AREADER-20MGL-GPR-3AOPERATOR-29-29"></a>
-
[reader] ARGUMENT-TYPES OPERATOR (:ARGUMENT-TYPES)
A list of lisp types. One for each argument of this operator.
<a id="x-28MGL-GPR-3AOPERATOR-20MGL-PAX-3AMACRO-29"></a>
-
[macro] OPERATOR (NAME &REST ARG-TYPES) RESULT-TYPE &KEY (WEIGHT 1)
Syntactic sugar for instantiating operators. The example given for
OPERATOR
could be written as:(operator (+ float float) float)
See
WEIGHT
for whatWEIGHT
means.
<a id="x-28MGL-GPR-3ALITERAL-20CLASS-29"></a>
-
[class] LITERAL EXPRESSION-CLASS
This is slightly misnamed. An object belonging to the
LITERAL
class is not a literal itself, it's a factory for literals via itsBUILDER
function. For example, the following literal builds bytes:(make-instance 'literal :result-type '(unsigned-byte 8) :builder (lambda () (random 256)))
In practice, one rarely writes it out like that, because the
LITERAL
macro provides a more convenient shorthand.
<a id="x-28MGL-GPR-3ABUILDER-20-28MGL-PAX-3AREADER-20MGL-GPR-3ALITERAL-29-29"></a>
-
[reader] BUILDER LITERAL (:BUILDER)
A function of no arguments that returns a random literal that belongs to its literal class.
<a id="x-28MGL-GPR-3ALITERAL-20MGL-PAX-3AMACRO-29"></a>
-
[macro] LITERAL (RESULT-TYPE &KEY (WEIGHT 1)) &BODY BODY
Syntactic sugar for defining literal classes. The example given for
LITERAL
could be written as:(literal ((unsigned-byte 8)) (random 256))
See
WEIGHT
for whatWEIGHT
means.
<a id="x-28MGL-GPR-3ARANDOM-EXPRESSION-20FUNCTION-29"></a>
-
[function] RANDOM-EXPRESSION OPERATORS LITERALS TYPE TERMINATE-FN
Return an expression built from
OPERATORS
andLITERALS
that evaluates to values ofTYPE
.TERMINATE-FN
is a function of one argument: the level of the root of the subexpression to be generated in the context of the entire expression. If it returnsT
then aLITERAL
will be inserted (by calling itsBUILDER
function), else anOPERATOR
with all its necessary arguments.The algorithm recursively generates the expression starting from level 0 where only operators and literals with a
RESULT-TYPE
that's a subtype ofTYPE
are considered and one is selected with the unnormalized probability given by itsWEIGHT
. On lower levels, theARGUMENT-TYPES
specification of operators is similarly satisfied and the resulting expression should evaluate without without a type error.The building of expressions cannot backtrack. If it finds itself in a situation where no literals or operators of the right type are available then it will fail with an error.
<a id="x-28MGL-GPR-3A-40GPR-GP-BASICS-20MGL-PAX-3ASECTION-29"></a>
5.4 Basics
To start the evolutionary process one creates a GP object,
adds to it the individuals (see ADD-INDIVIDUAL
) that make up the
initial population and calls ADVANCE
in a loop to move on to the
next generation.
<a id="x-28MGL-GPR-3AGENETIC-PROGRAMMING-20CLASS-29"></a>
-
[class] GENETIC-PROGRAMMING EVOLUTIONARY-ALGORITHM
The
GENETIC-PROGRAMMING
class defines the search space, how mutation and recombination occur, and hold various parameters of the evolutionary process and the individuals themselves.
<a id="x-28MGL-GPR-3ARANDOM-GP-EXPRESSION-20FUNCTION-29"></a>
-
[function] RANDOM-GP-EXPRESSION GP TERMINATE-FN &KEY (TYPE (TOPLEVEL-TYPE GP))
Creating the initial population by hand is tedious. This convenience function calls
RANDOM-EXPRESSION
to create a random individual that producesGP
'sTOPLEVEL-TYPE
. By passing in anotherTYPE
one can create expressions that fit somewhere else in a larger expression which is useful in aRANDOMIZER
function.
<a id="x-28MGL-GPR-3A-40GPR-GP-SEARCH-SPACE-20MGL-PAX-3ASECTION-29"></a>
5.5 Search Space
The search space of the GP is defined by the available operators, literals and the type of the final result produced. The evaluator function acts as the guiding light.
<a id="x-28MGL-GPR-3AOPERATORS-20-28MGL-PAX-3AREADER-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[reader] OPERATORS GENETIC-PROGRAMMING (:OPERATORS)
The set of
OPERATOR
s from which (together withLITERAL
s) individuals are built.
<a id="x-28MGL-GPR-3ALITERALS-20-28MGL-PAX-3AREADER-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[reader] LITERALS GENETIC-PROGRAMMING (:LITERALS)
The set of
LITERAL
s from which (together withOPERATOR
s) individuals are built.
<a id="x-28MGL-GPR-3ATOPLEVEL-TYPE-20-28MGL-PAX-3AREADER-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[reader] TOPLEVEL-TYPE GENETIC-PROGRAMMING (:TOPLEVEL-TYPE = T)
The type of the results produced by individuals. If the problem is to find the minimum a 1d real function then this may be the symbol
REAL
. If the problem is to find the shortest route, then this may be a vector. It all depends on the representation of the problem, the operators and the literals.
<a id="x-28MGL-GPR-3ACOUNT-NODES-20FUNCTION-29"></a>
-
[function] COUNT-NODES TREE &KEY INTERNAL
Count the nodes in the sexp
TREE
. IfINTERNAL
then don't count the leaves.
<a id="x-28MGL-GPR-3A-40GPR-GP-REPRODUCTION-20MGL-PAX-3ASECTION-29"></a>
5.6 Reproduction
The RANDOMIZER
and SELECTOR
functions define how mutation and
recombination occur.
<a id="x-28MGL-GPR-3ARANDOMIZER-20-28MGL-PAX-3AREADER-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[reader] RANDOMIZER GENETIC-PROGRAMMING (:RANDOMIZER)
Used for mutations, this is a function of three arguments: the GP object, the type the expression must produce and current expression to be replaced with the returned value. It is called with subexpressions of individuals.
<a id="x-28MGL-GPR-3ASELECTOR-20-28MGL-PAX-3AREADER-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[reader] SELECTOR GENETIC-PROGRAMMING (:SELECTOR)
A function of two arguments: the GP object and a vector of fitnesses. It must return the and index into the fitness vector. The individual whose fitness was thus selected will be selected for reproduction be it copying, mutation or crossover. Typically, this defers to
HOLD-TOURNAMENT
.
<a id="x-28MGL-GPR-3AHOLD-TOURNAMENT-20FUNCTION-29"></a>
-
[function] HOLD-TOURNAMENT FITNESSES &KEY SELECT-CONTESTANT-FN N-CONTESTANTS KEY
Select
N-CONTESTANTS
(all different) for the tournament randomly, represented by indices intoFITNESSES
and return the one with the highest fitness. IfSELECT-CONTESTANT-FN
isNIL
then contestants are selected randomly with uniform probability. IfSELECT-CONTESTANT-FN
is a function, then it's called withFITNESSES
to return an index (that may or may not be already selected for the tournament). SpecifyingSELECT-CONTESTANT-FN
allows one to conduct 'local' tournaments biased towards a particular region of the index range.KEY
isNIL
or a function that select the real fitness value from elements ofFITNESSES
.
<a id="x-28MGL-GPR-3A-40GPR-GP-ENVIRONMENT-20MGL-PAX-3ASECTION-29"></a>
5.7 Environment
The new generation is created by applying a reproduction operator
until POPULATION-SIZE
is reached in the new generation. At each
step, a reproduction operator is randomly chosen.
<a id="x-28MGL-GPR-3ACOPY-CHANCE-20-28MGL-PAX-3AACCESSOR-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[accessor] COPY-CHANCE GENETIC-PROGRAMMING (:COPY-CHANCE = 0)
The probability of the copying reproduction operator being chosen. Copying simply creates an exact copy of a single individual.
<a id="x-28MGL-GPR-3AMUTATION-CHANCE-20-28MGL-PAX-3AACCESSOR-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[accessor] MUTATION-CHANCE GENETIC-PROGRAMMING (:MUTATION-CHANCE = 0)
The probability of the mutation reproduction operator being chosen. Mutation creates a randomly altered copy of an individual. See
RANDOMIZER
.
If neither copying nor mutation were chosen, then a crossover will take place.
<a id="x-28MGL-GPR-3AKEEP-FITTEST-P-20-28MGL-PAX-3AACCESSOR-20MGL-GPR-3AGENETIC-PROGRAMMING-29-29"></a>
-
[accessor] KEEP-FITTEST-P GENETIC-PROGRAMMING (:KEEP-FITTEST-P = T)
If true, then the fittest individual is always copied without mutation to the next generation. Of course, it may also have other offsprings.
<a id="x-28MGL-GPR-3A-40GPR-DE-20MGL-PAX-3ASECTION-29"></a>
6 Differential Evolution
The concepts in this section are covered by Differential Evolution: A Survey of the State-of-the-Art.
<a id="x-28MGL-GPR-3ADIFFERENTIAL-EVOLUTION-20CLASS-29"></a>
-
[class] DIFFERENTIAL-EVOLUTION EVOLUTIONARY-ALGORITHM
Differential evolution (DE) is an evolutionary algorithm in which individuals are represented by vectors of numbers. New individuals are created by taking linear combinations or by randomly swapping some of these numbers between two individuals.
<a id="x-28MGL-GPR-3AMAP-WEIGHTS-INTO-FN-20-28MGL-PAX-3AREADER-20MGL-GPR-3ADIFFERENTIAL-EVOLUTION-29-29"></a>
-
[reader] MAP-WEIGHTS-INTO-FN DIFFERENTIAL-EVOLUTION (:MAP-WEIGHTS-INTO-FN = #'MAP-INTO)
The vector of numbers (the 'weights') are most often stored in some kind of array. All individuals must have the same number of weights, but the actual representation can be anything as long as the function in this slot mimics the semantics of
MAP-INTO
that's the default.
<a id="x-28MGL-GPR-3ACREATE-INDIVIDUAL-FN-20-28MGL-PAX-3AREADER-20MGL-GPR-3ADIFFERENTIAL-EVOLUTION-29-29"></a>
-
[reader] CREATE-INDIVIDUAL-FN DIFFERENTIAL-EVOLUTION (:CREATE-INDIVIDUAL-FN)
Holds a function of one argument, the DE, that returns a new individual that needs not be initialized in any way. Typically this just calls
MAKE-ARRAY
.
<a id="x-28MGL-GPR-3AMUTATE-FN-20-28MGL-PAX-3AREADER-20MGL-GPR-3ADIFFERENTIAL-EVOLUTION-29-29"></a>
-
[reader] MUTATE-FN DIFFERENTIAL-EVOLUTION (:MUTATE-FN)
One of the supplied mutation functions:
MUTATE/RAND/1
MUTATE/BEST/1
MUTATE/CURRENT-TO-BEST/2
.
<a id="x-28MGL-GPR-3ACROSSOVER-FN-20-28MGL-PAX-3AREADER-20MGL-GPR-3ADIFFERENTIAL-EVOLUTION-29-29"></a>
-
[reader] CROSSOVER-FN DIFFERENTIAL-EVOLUTION (:CROSSOVER-FN = #'CROSSOVER/BINARY)
A function of three arguments, the DE and two individuals, that destructively modifies the second individual by using some parts of the first one. Currently, the implemented crossover function is
CROSSOVER/BINARY
.
<a id="x-28MGL-GPR-3AMUTATE-2FRAND-2F1-20FUNCTION-29"></a>
- [function] MUTATE/RAND/1 DE CURRENT BEST POPULATION NURSERY &KEY (F 0.5)
<a id="x-28MGL-GPR-3AMUTATE-2FBEST-2F1-20FUNCTION-29"></a>
- [function] MUTATE/BEST/1 DE CURRENT BEST POPULATION NURSERY &KEY (F 0.5)
<a id="x-28MGL-GPR-3AMUTATE-2FCURRENT-TO-BEST-2F2-20FUNCTION-29"></a>
- [function] MUTATE/CURRENT-TO-BEST/2 DE CURRENT BEST POPULATION NURSERY &KEY (F 0.5)
<a id="x-28MGL-GPR-3ACROSSOVER-2FBINARY-20FUNCTION-29"></a>
-
[function] CROSSOVER/BINARY DE INDIVIDUAL-1 INDIVIDUAL-2 &KEY (CROSSOVER-RATE 0.5)
Destructively modify
INDIVIDUAL-2
by replacement each element with a probability of 1 -CROSSOVER-RATE
with the corresponding element inINDIVIDUAL-1
. At least one, element is changed. ReturnINDIVIDUAL-2
.
<a id="x-28MGL-GPR-3ASELECT-DISTINCT-RANDOM-NUMBERS-20FUNCTION-29"></a>
- [function] SELECT-DISTINCT-RANDOM-NUMBERS TABOOS N LIMIT
<a id="x-28MGL-GPR-3A-40GPR-DE-SANSDE-20MGL-PAX-3ASECTION-29"></a>
6.1 SANSDE
<a id="x-28MGL-GPR-3ASANSDE-20CLASS-29"></a>
-
[class] SANSDE DIFFERENTIAL-EVOLUTION
SaNSDE is a special DE that dynamically adjust the crossover and mutation are performed. The only parameters are the generic EA ones:
POPULATION-SIZE
,EVALUATOR
, etc. One also has to specifyMAP-WEIGHTS-INTO-FN
andCREATE-INDIVIDUAL-FN
.