Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming
Identifikátory výsledku
Kód výsledku v 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>
Nalezeny alternativní kódy
RIV/67985807:_____/14:00430974
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2014
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
GECCO 2014 - Proceedings of the 2014 Genetic and Evolutionary Computation Conference
ISBN
978-1-4503-2662-9
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
943-950
Název nakladatele
Association for Computing Machinery
Místo vydání
Vancouver, Kanada
Místo konání akce
Vancouver, Kanada
Datum konání akce
12. 7. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—