Studies in Computational Intelligence

Behavioral Program Synthesis with Genetic Programming

Authors: Krawiec, Krzysztof

Free Preview
  • Recent research in Behavioral Program Synthesis with Genetic Programming
  • Presents application of genetic programming
  • Written by an expert in the field
see more benefits

Buy this book

eBook 101,14 €
price for Spain (gross)
  • ISBN 978-3-319-27565-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 124,79 €
price for Spain (gross)
  • ISBN 978-3-319-27563-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 124,79 €
price for Spain (gross)
  • ISBN 978-3-319-80171-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

“The book advances the state of the art in GP based program synthesis. It is compact (only 147 pages). It offers excellent value and I highly recommend it.” (Raja Muhammad Atif Azad, Genetic Programming and Evolvable Machines, Vol. 18, 2017)


Table of contents (12 chapters)

Table of contents (12 chapters)

Buy this book

eBook 101,14 €
price for Spain (gross)
  • ISBN 978-3-319-27565-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 124,79 €
price for Spain (gross)
  • ISBN 978-3-319-27563-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 124,79 €
price for Spain (gross)
  • ISBN 978-3-319-80171-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Behavioral Program Synthesis with Genetic Programming
Authors
Series Title
Studies in Computational Intelligence
Series Volume
618
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-27565-9
DOI
10.1007/978-3-319-27565-9
Hardcover ISBN
978-3-319-27563-5
Softcover ISBN
978-3-319-80171-1
Series ISSN
1860-949X
Edition Number
1
Number of Pages
XXI, 172
Number of Illustrations
10 b/w illustrations, 15 illustrations in colour
Topics