Abstraction-Based Genetic Programming | An Application of the polymorphically-typed lambda calculus to genetic programming

Franck Binard

ISBN 10: 3639191730 / ISBN 13: 9783639191738

Published by VDM Verlag Dr. Müller, 2009

About this Item

Abstraction-Based Genetic Programming | An Application of the polymorphically-typed lambda calculus to genetic programming | Franck Binard | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639191738 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Seller Inventory # 101475141

Bibliographic Details

• Title: Abstraction-Based Genetic Programming | An Application of the polymorphically-typed lambda calculus to genetic programming
• Publisher: VDM Verlag Dr. Müller
• Publication Date: 2009
• Language: English
• ISBN 10: 3639191730
• ISBN 13: 9783639191738
• Binding: Taschenbuch
• Condition: Neu
• Seller catalogs:
  • Bücher

About this title

Synopsis

Abstraction-Based Genetic Programming (ABGP) is a novel Genetic Programming (GP) system in which the set of all possible genotypes is partitioned by the proofs to which each program is linked via the Curry- Howard isomorphism. In the context of ABGP, proofs are related to computer programs in the same way as species are related to organisms in the biological world. They can be seen as patterns into which alleles of genes may be plugged in. In this analogy, genes are types and an allele of a gene is a closed typed computational block that may be combined with other blocks to form an organism. The type of an allele is the gene to which it corresponds.

About the Author

Franck Binard lives in Ottawa, Canada. His many research interests include evolutionary computation, machine learning, financial computing and emergence. He obtained his doctorate in Computer Science from the University of Ottawa in 2009. His thesis advisor was Amy Felty.