INDUCTIVE FUNCTIONAL PROGRAMMING USING INCREMENTAL PROGRAM TRANSFORMATION

被引：68
|
作者：
OLSSON, R
机构：
[1] Department of Computer Science, Østfold College, 1777 Halden
来源：
ARTIFICIAL INTELLIGENCE | 1995年 / 74卷 / 01期
关键词：
D O I：
10.1016/0004-3702(94)00042-Y
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper presents a system, ADATE, for automatic functional programming. ADATE uses specifications that contain few constraints on the programs to be synthesized and that allow a wide range of correct programs, ADATE can generate novel and unexpected recursive programs with automatic invention of recursive auxiliary functions. Successively better programs are developed using incremental program transformations. A key to the success of ADATE is the exact design of these transformations, and how to systematically search for appropriate transformation sequences.
引用
收藏
页码：55 / 81
页数：27
相关论文
共 50 条
  • [1] Incremental Learning in Inductive Programming
    Henderson, Robert
    APPROACHES AND APPLICATIONS OF INDUCTIVE PROGRAMMING, 2010, 5812 : 74 - 92
  • [2] Model transformation by example using inductive logic programming
    Balogh, Zoltan
    Varro, Daniel
    SOFTWARE AND SYSTEMS MODELING, 2009, 8 (03): : 347 - 364
  • [3] Model transformation by example using inductive logic programming
    Zoltán Balogh
    Dániel Varró
    Software & Systems Modeling, 2009, 8 : 347 - 364
  • [4] Automating Model Transformation by Example Using Inductive Logic Programming
    Varro, Daniel
    Balogh, Zoltan
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 978 - 984
  • [5] Incremental identification of qualitative models of biological systems using inductive logic programming
    Srinivasan, Ashwin
    King, Ross D.
    JOURNAL OF MACHINE LEARNING RESEARCH, 2008, 9 : 1475 - 1533
  • [6] Analytical Inductive Functional Programming
    Kitzelmann, Emanuel
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2009, 5438 : 87 - 102
  • [7] Incremental learning of event definitions with Inductive Logic Programming
    Nikos Katzouris
    Alexander Artikis
    Georgios Paliouras
    Machine Learning, 2015, 100 : 555 - 585
  • [8] Incremental learning of event definitions with Inductive Logic Programming
    Katzouris, Nikos
    Artikis, Alexander
    Paliouras, Georgios
    MACHINE LEARNING, 2015, 100 (2-3) : 555 - 585
  • [9] Discovering protein functional models using inductive logic programming
    Ishikawa, T
    Numao, M
    Terano, T
    KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS: CURRENT ISSUES AND NEW APPLICATIONS, 2000, 1805 : 212 - 215
  • [10] Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming
    Ahlgren, John
    Yuen, Shiu yin
    JOURNAL OF MACHINE LEARNING RESEARCH, 2013, 14 : 3649 - 3682
12345