+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning - Ute Schmid

Inductive Synthesis of Functional Programs

Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

Paperback Published: 21st August 2003
ISBN: 9783540401742
Number Of Pages: 402

Share This Book:

Paperback

$135.51
or 4 easy payments of $33.88 with Learn more
Ships in 10 to 15 business days

Earn 271 Qantas Points
on this Book

Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s.

This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule learning for planning. Furthermore, relations to problem solving and learning in cognitive psychology are discussed.

Introductionp. 1
Planning
State-Based Planningp. 13
Constructing Complete Sets of Optimal Plansp. 55
Integrating Function Application in Planningp. 71
Conclusions and Further Researchp. 93
Inductive Program Synthesis
Automatic Programmingp. 99
Folding of Finite Program Termsp. 167
Transforming Plans into Finite Programsp. 227
Conclusions and Further Researchp. 271
Schema Abstraction
Analogical Reasoning and Generalizationp. 279
Structural Similarity in Analogical Transferp. 291
Programming by Analogyp. 311
Conclusions and Further Researchp. 323
Bibliographyp. 327
Implementation Detailsp. 343
Concepts and Proofsp. 357
Sample Programs and Problemsp. 369
Indexp. 391
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540401742
ISBN-10: 3540401741
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 402
Published: 21st August 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.18
Weight (kg): 0.59

Earn 271 Qantas Points
on this Book