LEADER 04454nam  22007695  450 
001 996465706503316
005 20200701020805.0
010   $a3-540-44846-2
024 7 $a10.1007/b12055
035   $a(CKB)1000000000212158
035   $a(SSID)ssj0000323947
035   $a(PQKBManifestationID)11246666
035   $a(PQKBTitleCode)TC0000323947
035   $a(PQKBWorkID)10303978
035   $a(PQKB)10229719
035   $a(DE-He213)978-3-540-44846-4
035   $a(MiAaPQ)EBC3089022
035   $a(PPN)155211684
035   $a(EXLCZ)991000000000212158
100   $a20121227d2003      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aInductive Synthesis of Functional Programs $b[electronic resource] $eUniversal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning  /$fby Ute Schmid
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (XXII, 402 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v2654
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-40174-1 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $a1. Introduction -- 1. Introduction -- I. Planning -- 2. State-Based Planning -- 3. Constructing Complete Sets of Optimal Plans -- 4. Integrating Function Application in State-Based Planning -- 5. Conclusions and Further Research -- II. Inductive Program Synthesis -- 6. Automatic Programming -- 7. Folding of Finite Program Terms -- 8. Transforming Plans into Finite Programs -- 9. Conclusions and Further Research -- III. Schema Abstraction -- 10. Analogical Reasoning and Generalization -- 11. Structural Similarity in Analogical Transfer -- 12. Programming by Analogy -- 13. Conclusions and Further Research.
330   $aBecause 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.
410  0$aLecture Notes in Artificial Intelligence ;$v2654
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aScience, Humanities and Social Sciences, multidisciplinary$3https://scigraph.springernature.com/ontologies/product-market-codes/A11007
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aScience, Humanities and Social Sciences, multidisciplinary.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
700   $aSchmid$b Ute$4aut$4http://id.loc.gov/vocabulary/relators/aut$0564613
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465706503316
996   $aInductive synthesis of functional programs$9954769
997   $aUNISA