Behavioral Program Synthesis with Genetic Programming

Behavioral Program Synthesis with Genetic Programming
Author :
Publisher : Springer
Total Pages : 185
Release :
ISBN-10 : 9783319275659
ISBN-13 : 3319275658
Rating : 4/5 (59 Downloads)

Book Synopsis Behavioral Program Synthesis with Genetic Programming by : Krzysztof Krawiec

Download or read book Behavioral Program Synthesis with Genetic Programming written by Krzysztof Krawiec and published by Springer. This book was released on 2015-12-15 with total page 185 pages. Available in PDF, EPUB and Kindle. Book excerpt: Genetic programming (GP) is a popular heuristic methodology of program synthesis with origins in evolutionary computation. In this generate-and-test approach, candidate programs are iteratively produced and evaluated. The latter involves running programs on tests, where they exhibit complex behaviors reflected in changes of variables, registers, or memory. That behavior not only ultimately determines program output, but may also reveal its `hidden qualities' and important characteristics of the considered synthesis problem. However, the conventional GP is oblivious to most of that information and usually cares only about the number of tests passed by a program. This `evaluation bottleneck' leaves search algorithm underinformed about the actual and potential qualities of candidate programs. This book proposes behavioral program synthesis, a conceptual framework that opens GP to detailed information on program behavior in order to make program synthesis more efficient. Several existing and novel mechanisms subscribing to that perspective to varying extent are presented and discussed, including implicit fitness sharing, semantic GP, co-solvability, trace convergence analysis, pattern-guided program synthesis, and behavioral archives of subprograms. The framework involves several concepts that are new to GP, including execution record, combined trace, and search driver, a generalization of objective function. Empirical evidence gathered in several presented experiments clearly demonstrates the usefulness of behavioral approach. The book contains also an extensive discussion of implications of the behavioral perspective for program synthesis and beyond.


Behavioral Program Synthesis with Genetic Programming Related Books

Behavioral Program Synthesis with Genetic Programming
Language: en
Pages: 185
Authors: Krzysztof Krawiec
Categories: Technology & Engineering
Type: BOOK - Published: 2015-12-15 - Publisher: Springer

DOWNLOAD EBOOK

Genetic programming (GP) is a popular heuristic methodology of program synthesis with origins in evolutionary computation. In this generate-and-test approach, c
Genetic Programming
Language: en
Pages: 304
Authors: Lukas Sekanina
Categories: Computers
Type: BOOK - Published: 2019-04-10 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd European Conference on Genetic Programming, EuroGP 2019, held as part of Evo* 2019, in Leipzig, Germa
Artificial Intelligence XXXVI
Language: en
Pages: 500
Authors: Max Bramer
Categories: Computers
Type: BOOK - Published: 2019-12-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 39th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2019, h
Genetic Programming Theory and Practice XIII
Language: en
Pages: 272
Authors: Rick Riolo
Categories: Computers
Type: BOOK - Published: 2016-12-20 - Publisher: Springer

DOWNLOAD EBOOK

These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical an
NEO 2015
Language: en
Pages: 446
Authors: Oliver Schütze
Categories: Technology & Engineering
Type: BOOK - Published: 2016-09-15 - Publisher: Springer

DOWNLOAD EBOOK

This volume comprises a selection of works presented at the Numerical and Evolutionary Optimization (NEO) workshop held in September 2015 in Tijuana, Mexico. Th