Authors:
- Recent research in Behavioral Program Synthesis with Genetic Programming
- Presents application of genetic programming
- Written by an expert in the field
- Includes supplementary material: sn.pub/extras
Part of the book series: Studies in Computational Intelligence (SCI, volume 618)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Reviews
Authors and Affiliations
-
Institute of Computing Science, Poznan University of Technology Institute of Computing Science, Poznan, Poland
Krzysztof Krawiec
Bibliographic Information
Book Title: Behavioral Program Synthesis with Genetic Programming
Authors: Krzysztof Krawiec
Series Title: Studies in Computational Intelligence
DOI: https://doi.org/10.1007/978-3-319-27565-9
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Hardcover ISBN: 978-3-319-27563-5Published: 22 December 2015
Softcover ISBN: 978-3-319-80171-1Published: 29 March 2019
eBook ISBN: 978-3-319-27565-9Published: 15 December 2015
Series ISSN: 1860-949X
Series E-ISSN: 1860-9503
Edition Number: 1
Number of Pages: XXI, 172
Number of Illustrations: 10 b/w illustrations, 15 illustrations in colour
Topics: Computational Intelligence, Artificial Intelligence, Software Engineering/Programming and Operating Systems