A Combined Analytical and Search-based Approach to the Inductive Synthesis of Functional Programs PDF Download

Author: Emanuel Kitzelmann
Publisher:
ISBN:
Category :
Languages : en
Pages : 187

View

Book Description

Author: Ute Schmid
Publisher: Springer
ISBN: 3540448462
Category : Computers
Languages : en
Pages : 408

View

Book Description
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.

Author: Sumit Gulwani
Publisher:
ISBN: 9781680832921
Category : Computers
Languages : en
Pages : 138

View

Book Description
Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of some specification. Since the inception of artificial intelligence in the 1950s, this problem has been considered the holy grail of Computer Science. Despite inherent challenges in the problem such as ambiguity of user intent and a typically enormous search space of programs, the field of program synthesis has developed many different techniques that enable program synthesis in different real-life application domains. It is now used successfully in software engineering, biological discovery, compute-raided education, end-user programming, and data cleaning. In the last decade, several applications of synthesis in the field of programming by examples have been deployed in mass-market industrial products. This monograph is a general overview of the state-of-the-art approaches to program synthesis, its applications, and subfields. It discusses the general principles common to all modern synthesis approaches such as syntactic bias, oracle-guided inductive search, and optimization techniques. We then present a literature review covering the four most common state-of-the-art techniques in program synthesis: enumerative search, constraint solving, stochastic search, and deduction-based programming by examples. It concludes with a brief list of future horizons for the field.

Author: Maurizio Proietti
Publisher: Springer
ISBN: 3319178229
Category : Computers
Languages : en
Pages : 334

View

Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

Author: Ute Schmid
Publisher: Springer Science & Business Media
ISBN: 3540401741
Category : Computers
Languages : en
Pages : 408

View

Book Description
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.

Author: Guesgen, Hans W.
Publisher: IGI Global
ISBN: 1466636831
Category : Computers
Languages : en
Pages : 378

View

Book Description
Recently, the ICT field has seen a shift from machine-centered focuses to human and user knowledge-based approaches. However, as priorities shift, questions arise on how to detect and monitor users’ behavior. Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security takes an insightful look into the applications and dependability of behavior detection. In addition, this comprehensive publication looks into the social, ethical, and legal implications of these areas. Researchers and practitioners interested in the computational aspects of behavior monitoring as well as the ethical and legal implications will find this reference source beneficial.

Author: Jordi Bieger
Publisher: Springer
ISBN: 3319213652
Category : Computers
Languages : en
Pages : 425

View

Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has played and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, original sense of the term of “artificial intelligence”. The conferences encourage interdisciplinary research based on different understandings of intelligence and exploring different approaches. AGI research differs from the ordinary AI research by stressing on the versatility and wholeness of intelligence and by carrying out the engineering practice according to an outline of a system comparable to the human mind in a certain sense.

Author: Michael Hanus
Publisher: Springer Science & Business Media
ISBN: 3642005144
Category : Computers
Languages : en
Pages : 193

View

Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Author: Jürgen Schmidhuber
Publisher: Springer
ISBN: 3642228879
Category : Computers
Languages : en
Pages : 427

View

Book Description
This book constitutes the refereed proceedings of the 4th International Conference on Artificial General Intelligence, AGI 2011, held in Mountain View, CA, USA, in August 2011. The 28 revised full papers and 26 short papers were carefully reviewed and selected from 103 submissions. The papers are written by leading academic and industry researchers involved in scientific and engineering work and focus on the creation of AI systems possessing general intelligence at the human level and beyond.

Author: Ute Schmid
Publisher: Springer Science & Business Media
ISBN: 3642119301
Category : Computers
Languages : en
Pages : 203

View

Book Description
This book constitutes revised papers of the Third International Workshop on approaches and Applications of Inductive Programming, AAIP 2009, held in Edinburgh, UK, in September 2009. The 7 full papers included in this volume were carefully reviewed and selected. The book also contains two invited papers.