• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

No tags have been applied to this document.

Add a tag:

BibTeX | Add To MetaCart

@INPROCEEDINGS{Poli01generalschema,
    author = {Riccardo Poli},
    title = {General schema theory for genetic programming with subtree-swapping crossover},
    booktitle = {In Genetic Programming, Proceedings of EuroGP 2001, LNCS},
    year = {2001},
    pages = {18--20},
    publisher = {Springer-Verlag}
}

Years of Citing Articles

Abstract:

In this paper a new general schema theory for genetic programming is presented. Like other recent GP schema theory results (Poli 2000a, Poli 2000b), the theory gives an exact formulation (rather than a lower bound) for the expected number of instances of a schema at the next generation. The theory is based on a Cartesian node reference system which makes it possible to describe programs as functions over the space N 2 and allows one to model the process of selection of the crossover points of subtree-swapping crossovers as a probability distribution over N 4. The theory is also based on the notion of variable-arity hyperschema, which generalises previous definitions of schema or hyperschema introduced in GP. The theory includes two main theorems describing the propagation of GP schemata: a microscopic schema theorem and a macroscopic one. The microscopic version is applicable to crossover operators which replace a subtree in one parent with a subtree from the other parent to produce the offspring. Therefore, this theorem is equally applicable to standard GP crossover (Koza 1992) with and without uniform selection of the crossover points, as it is to one-point crossover (Poli and Langdon 1997b, Poli and Langdon 1998), size-fair crossover (Langdon 1999, Langdon 2000), strongly-typed GP crossover (Montana 1995), context-preserving crossover (D'haeseleer 1994) and many others. The macroscopic version is applicable to crossover operators in which the probability of selecting any two crossover points in the parents depends only on their size and shape. In the paper we provide examples which show how the theory can be specialised to specific crossover operators and how it can be used to derive other general results such as an exact definition of effective fitness and a size-evolution equation for GP with subtree-swapping crossover. 1

Citations