大葉大學圖書館 |

Behavioral program synthesis with genetic programming[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	006.3823
書名/作者:	Behavioral program synthesis with genetic programming/ by Krzysztof Krawiec.
作者:	Krawiec, Krzysztof.
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	xxi, 172 p. : : ill. (some col.), digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Genetic programming (Computer science) - Congresses.
標題:	Engineering.
標題:	Computational Intelligence.
標題:	Artificial Intelligence (incl. Robotics)
標題:	Software Engineering/Programming and Operating Systems.
ISBN:	9783319275659
ISBN:	9783319275635
內容註:	Program Synthesis -- Limitations of Conventional Program Evaluation -- The Framework of Behavioral Program Synthesis -- Behavioral Assessment of Test Difficulty -- Semantic Genetic Programming -- Synthesizing Programs with Consistent Execution Traces -- Pattern-guided Program Synthesis -- Behavioral Code Reuse -- Search Drivers -- Experimental Assessment of Search Drivers -- Implications of the Behavioral Perspective -- Future Perspectives.
摘要、提要註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-27565-9

Behavioral program synthesis with genetic programming[electronic resource] /
Krawiec, Krzysztof.

Behavioral program synthesis with genetic programming[electronic resource] /by Krzysztof Krawiec. - Cham :Springer International Publishing :2016. - xxi, 172 p. :ill. (some col.), digital ;24 cm. - Studies in computational intelligence,v.6181860-949X ;. - Studies in computational intelligence ;v.379..

Program Synthesis -- Limitations of Conventional Program Evaluation -- The Framework of Behavioral Program Synthesis -- Behavioral Assessment of Test Difficulty -- Semantic Genetic Programming -- Synthesizing Programs with Consistent Execution Traces -- Pattern-guided Program Synthesis -- Behavioral Code Reuse -- Search Drivers -- Experimental Assessment of Search Drivers -- Implications of the Behavioral Perspective -- Future Perspectives.

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.

ISBN: 9783319275659

Standard No.: 10.1007/978-3-319-27565-9doiSubjects--Topical Terms:

468983
Genetic programming (Computer science)
--Congresses.

LC Class. No.: QA76.623

Dewey Class. No.: 006.3823

Behavioral program synthesis with genetic programming[electronic resource] /
LDR:03132nam a2200325 a 4500 001 455727
003 DE-He213
005 20160809084526.0
006 m d
007 cr nn 008maaau
008 161227s2016 gw s 0 eng d
020 $a 9783319275659 $q (electronic bk.)
020 $a 9783319275635 $q (paper)
024 7 $a 10.1007/978-3-319-27565-9 $2 doi
035 $a 978-3-319-27565-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.623
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
082 0 4 $a 006.3823 $2 23
090 $a QA76.623 $b .K91 2016
100 1 $a Krawiec, Krzysztof. $3 654364
245 1 0 $a Behavioral program synthesis with genetic programming $h [electronic resource] / $c by Krzysztof Krawiec.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xxi, 172 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Studies in computational intelligence, $x 1860-949X ; $v v.618
505 0 $a Program Synthesis -- Limitations of Conventional Program Evaluation -- The Framework of Behavioral Program Synthesis -- Behavioral Assessment of Test Difficulty -- Semantic Genetic Programming -- Synthesizing Programs with Consistent Execution Traces -- Pattern-guided Program Synthesis -- Behavioral Code Reuse -- Search Drivers -- Experimental Assessment of Search Drivers -- Implications of the Behavioral Perspective -- Future Perspectives.
520 $a 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.
650 0 $a Genetic programming (Computer science) $v Congresses. $3 468983
650 1 4 $a Engineering. $3 372756
650 2 4 $a Computational Intelligence. $3 463962
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 463642
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 464445
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Studies in computational intelligence ; $v v.379. $3 464637
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-27565-9
950 $a Engineering (Springer-11647)