AI.MEP.Operators

Genetic operators

Documentation

data Config n a

Constructors

Config

Fields

• p'const :: Double

  Probability of constant generation

• p'var :: Double

  Probability of variable generation. The probability of operator generation is inferred automatically as 1 - p'const - p'var.

• p'mutation :: Double

  Mutation probability

• p'crossover :: Double

  Crossover probability

• c'length :: Int

  The chromosome length

• c'popSize :: Int

  A (sub)population size

• c'popN :: Int

  Number of subpopulations (1 or more) [not implemented]

• c'ops :: Vector (F a)

  Functions pool with their symbolic representations

• c'vars :: Vector n

  Variables vector

defaultConfig :: Config Char Double

defaultConfig = Config
  {
    p'const = 0.1
  , p'var = 0.4
  , p'mutation = 0.1
  , p'crossover = 0.9

  , c'length = 30
  , c'popSize = 40
  , c'popN = 1
  , c'ops = V.empty  -- <-- To be overridden
  , c'vars = V.singleton 'X'
  }

crossover :: Ord n => Chromosome n a -> Chromosome n a -> Rand (Chromosome n a, Chromosome n a)

Uniform crossover operator

swap :: Double -> (t, t) -> Rand (t, t)

replaceAt :: Int -> a -> Vector a -> Vector a

mutation3

Arguments

:: Ord n

=> Config n Double

Common configuration

-> Chromosome n Double

-> Rand (Chromosome n Double)

Mutation operator with up to three mutations per chromosome

smoothMutation

Arguments

:: Ord n

=> Double

Probability of gene mutation

-> Config n Double

Common configuration

-> Chromosome n Double

-> Rand (Chromosome n Double)

Mutation operator with a fixed mutation probability of each gene

newChromosome

Arguments

:: Ord n

=> Config n Double

Configuration

-> Rand (Chromosome n Double)

Randomly initialize a new chromosome. By definition, the first gene is terminal (a constant or a variable).

new

Arguments

:: Ord n

=> Double

Probability to produce a constant

-> Double

Probability to produce a variable

-> Vector n

Variable labels vector

-> Vector (F Double)

Operations vector

-> Int

Maximal operation index

-> Rand (Gene Int n Double)

Produce a new random gene

newTerminal

Arguments

:: Ord n

=> Double

Probability p of a constant generation. 1-p will be the probability of a variable generation.

-> Vector n

Variables vector

-> Rand (Gene Int n Double)

newVar :: Ord n => Vector n -> Rand (Gene Int n a)

A random variable from the variables vector

newOp :: Vector (F a) -> Int -> Rand (Gene Int n a)

A random operation from the operations vector

newCNormal

Arguments

:: Double

Mean

-> Double

Std deviation

-> Rand (Gene Int n Double)

Draw a constant from the normal distribution

newC :: Rand (Gene i n Double)

Draw a constant from the uniform distribution