Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10286871" target="_blank" >RIV/00216208:11320/14:10286871 - isvavai.cz</a>
Alternative codes found
RIV/67985807:_____/14:00430974
Result on the web
<a href="http://dx.doi.org/10.1145/2576768.2598361" target="_blank" >http://dx.doi.org/10.1145/2576768.2598361</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2576768.2598361" target="_blank" >10.1145/2576768.2598361</a>
Alternative languages
Result language
angličtina
Original language name
Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming
Original language description
Lambda calculus representation of programs offers a more expressive alternative to traditional S-expressions. In this paper we discuss advantages of this representation coming from the use of reductions (beta and eta) and a way to overcome disadvantagescaused by variables occurring in the programs by use of the abstraction elimination algorithm. We discuss the role of those reductions in the process of generating initial population and propose two novel crossover operations based on abstraction elimination capable of handling general form of typed lambda term while being a straight generalization of the standard crossover operation. We compare their performances using the even parity benchmark problem.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
GECCO 2014 - Proceedings of the 2014 Genetic and Evolutionary Computation Conference
ISBN
978-1-4503-2662-9
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
943-950
Publisher name
Association for Computing Machinery
Place of publication
Vancouver, Kanada
Event location
Vancouver, Kanada
Event date
Jul 12, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—