Higher-Order Functions in Aesthetic EC Encodings

被引:0
|
作者
McDermott, James [1 ]
Byrne, Jonathan [1 ]
Swafford, John Mark [1 ]
O'Neill, Michael [1 ]
Brabazon, Anthony [1 ]
机构
[1] Univ Coll Dublin, Nat Comp Res & Applicat Grp, Dept Comp Sci & Informat, UCD CASL, Dublin 4, Ireland
关键词
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
The use of higher-order functions, as a method of abstraction and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motivation for the ideas of higher-order functions, and describe their general advantages in EC encodings. We implement grammars using higher-order ideas for two problem domains, music and 3D architectural design, and use these grammars in the grammatical evolution paradigm. We demonstrate four advantages of higher-order functions (patterning of phenotypes, non-entropic mutations, compression of genotypes, and natural expression of artistic knowledge) which lead to beneficial results on our problems.
引用
收藏
页数:8
相关论文
共 50 条
  • [1] Practical programming with higher-order encodings and dependent types
    Poswolsky, Adam
    Schurmann, Carsten
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 93 - +
  • [2] The del-calculus.: Functional programming with higher-order encodings
    Schürmann, C
    Poswolsky, A
    Sarnat, JR
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 339 - 353
  • [3] Linear-algebraic λ-calculus: Higher-order, encodings, and confluence
    Arrighi, Pablo
    Dowek, Gilles
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 17 - +
  • [4] Contracts for higher-order functions
    Findler, RB
    Felleisen, M
    ACM SIGPLAN NOTICES, 2002, 37 (09) : 48 - 59
  • [5] HIGHER-ORDER COHERENCE FUNCTIONS
    NATH, R
    LETTERE AL NUOVO CIMENTO, 1978, 23 (13): : 494 - 496
  • [6] Contracts for Higher-Order Functions
    Findler, Robert Bruce
    Felleisen, Matthias
    ACM SIGPLAN NOTICES, 2013, 48 (04) : 34 - 45
  • [7] The Perniciousness of Higher-Order Evidence on Aesthetic Appreciation
    Sackris, David
    Larsen, Rasmus Rosenberg
    DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 2023, 62 (02) : 303 - 322
  • [8] Hobbits for Haskell: A Library for Higher-Order Encodings in Functional Programming Languages
    Westbrook, Edwin
    Frisby, Nicolas
    Brauner, Paul
    ACM SIGPLAN NOTICES, 2011, 46 (12) : 35 - 46
  • [9] Proof pearl: The power of higher-order encodings in the logical framework LF
    Pientka, Brigitte
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 246 - 261
  • [10] Hobbits for Haskell: A Library for Higher-Order Encodings in Functional Programming Languages
    Westbrook, Edwin
    Frisby, Nicolas
    Brauner, Paul
    HASKELL 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN HASKELL SYMPOSIUM, 2011, : 35 - 46