Skip to main content

2015 | OriginalPaper | Buchkapitel

4. SKGP: The Way of the Combinator

verfasst von : William P. Worzel, Duncan MacLean

Erschienen in: Genetic Programming Theory and Practice XII

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Genetic Programming (GP) is a machine learning technique that evolves programs using natural selection and populations dynamics. Much of the functionality of GP depends on the representation of programs in the population and how to handle illegal or type incoherent expressions that arise from crossover and mutation within a population of programs. The SKGP is a GP system that uses graphs of combinators to represent functions and a strong type system to inform the crossover and mutation operations during evolution. This produces a powerful, flexible system that has many benefits over more conventional systems. This paper describes the implementation of this system, gives some examples of successful applications constructed using the SKGP and describes future directions that may offer a more powerful GP system capable of producing more complex programs.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Aho V, Sethi R, Ullman J (1986) Compilers principles, techniques, and tools. Addison-Wesley, Reading Aho V, Sethi R, Ullman J (1986) Compilers principles, techniques, and tools. Addison-Wesley, Reading
Zurück zum Zitat Almal AA, Mitra AP, Datar RH, Lenehan PF, Fry DW, Cote RJ, Worzel WP (2006) Using genetic programming to classify node positive patients in bladder cancer. In: Keijzer M, Cattolico M, Arnold D, Babovic V, Blum C, Bosman P, Butz MV, Coello Coello C, Dasgupta D, Ficici SG, Foster J, Hernandez-Aguirre A, Hornby G, Lipson H, McMinn P, Moore J, Raidl G, Rothlauf F, Ryan C, Thierens D (eds) GECCO 2006: Proceedings of the 8th annual conference on Genetic and evolutionary computation, vol 1. ACM Press, Seattle, pp 239–246. doi:10.1145/1143997.1144040. http://www.cs.bham.ac.uk/wbl/biblio/gecco2006/docs/p239.pdf Almal AA, Mitra AP, Datar RH, Lenehan PF, Fry DW, Cote RJ, Worzel WP (2006) Using genetic programming to classify node positive patients in bladder cancer. In: Keijzer M, Cattolico M, Arnold D, Babovic V, Blum C, Bosman P, Butz MV, Coello Coello C, Dasgupta D, Ficici SG, Foster J, Hernandez-Aguirre A, Hornby G, Lipson H, McMinn P, Moore J, Raidl G, Rothlauf F, Ryan C, Thierens D (eds) GECCO 2006: Proceedings of the 8th annual conference on Genetic and evolutionary computation, vol 1. ACM Press, Seattle, pp 239–246. doi:10.1145/1143997.1144040. http://​www.​cs.​bham.​ac.​uk/​wbl/​biblio/​gecco2006/​docs/​p239.​pdf
Zurück zum Zitat Blickle T, Thiele L (1996) A comparison of selection schemes used in evolutionary algorithms. Evolut Comput 4(4):361–394. doi:10.1162/evco.1996.4.4.361. http://www.handshake.de/ user/blickle/publications/ECfinal.psCrossRef Blickle T, Thiele L (1996) A comparison of selection schemes used in evolutionary algorithms. Evolut Comput 4(4):361–394. doi:10.1162/evco.1996.4.4.361. http://​www.​handshake.​de/​ user/blickle/publications/ECfinal.psCrossRef
Zurück zum Zitat Clack C, Yu T (1997) Performance enhanced genetic programming. In: Angeline PJ, Reynolds RG, McDonnell JR, Eberhart R (eds) Proceedings of the Sixth Conference on Evolutionary Programming, Springer-Verlag, Indianapolis, Lecture Notes in Computer Science, vol 1213, pp 87–100. doi:10.1007/BFb0014803 Clack C, Yu T (1997) Performance enhanced genetic programming. In: Angeline PJ, Reynolds RG, McDonnell JR, Eberhart R (eds) Proceedings of the Sixth Conference on Evolutionary Programming, Springer-Verlag, Indianapolis, Lecture Notes in Computer Science, vol 1213, pp 87–100. doi:10.1007/BFb0014803
Zurück zum Zitat Daida JM, Li H, Tang R, Hilss AM (2003) What makes a problem GP-hard? validating a hypothesis of structural causes. In: Cantú-Paz E, Foster JA, Deb K, Davis D, Roy R, O’Reilly UM, Beyer HG, Standish R, Kendall G, Wilson S, Harman M, Wegener J, Dasgupta D, Potter MA, Schultz AC, Dowsland K, Jonoska N, Miller J (eds) Genetic and Evolutionary Computation – GECCO-2003. Springer-Verlag, Chicago, LNCS, vol 2724, pp 1665–1677. doi:10.1007/3-540-45110-2-60 Daida JM, Li H, Tang R, Hilss AM (2003) What makes a problem GP-hard? validating a hypothesis of structural causes. In: Cantú-Paz E, Foster JA, Deb K, Davis D, Roy R, O’Reilly UM, Beyer HG, Standish R, Kendall G, Wilson S, Harman M, Wegener J, Dasgupta D, Potter MA, Schultz AC, Dowsland K, Jonoska N, Miller J (eds) Genetic and Evolutionary Computation – GECCO-2003. Springer-Verlag, Chicago, LNCS, vol 2724, pp 1665–1677. doi:10.1007/3-540-45110-2-60
Zurück zum Zitat Jones SP (1987) The implementation of functional programming languages. Prentice-Hall International, UKMATH Jones SP (1987) The implementation of functional programming languages. Prentice-Hall International, UKMATH
Zurück zum Zitat Koza JR (1994) Genetic programming II: automatic discovery of reusable programs. MIT Press, CambridgeMATH Koza JR (1994) Genetic programming II: automatic discovery of reusable programs. MIT Press, CambridgeMATH
Zurück zum Zitat Koza JR, Jones LW, Keane MA, Streeter MJ (2004) Towards industrial strength automated design of analog electrical circuits by means of genetic programming. In: O’Reilly UM, Yu T, Riolo RL, Worzel B (eds) Genetic programming theory and practice II, Springer, Ann Arbor, pp 121–142. doi:10.1007/0-387-23254-0-8. http://www.genetic-programming.com/gptp2004.pdf, pages missing? Koza JR, Jones LW, Keane MA, Streeter MJ (2004) Towards industrial strength automated design of analog electrical circuits by means of genetic programming. In: O’Reilly UM, Yu T, Riolo RL, Worzel B (eds) Genetic programming theory and practice II, Springer, Ann Arbor, pp 121–142. doi:10.1007/0-387-23254-0-8. http://​www.​genetic-programming.​com/​gptp2004.​pdf, pages missing?
Zurück zum Zitat Lenehan F, Fry D, Heyman E, Walters R, Worzel W (2009) Generation and validation of a primary tumor derived 4-gene prognostic signature for recurrence of stages i/ii colorectal cancer following potentially curative resection. J Clin Oncol (Meeting Abstracts), 27:15–sCrossRef Lenehan F, Fry D, Heyman E, Walters R, Worzel W (2009) Generation and validation of a primary tumor derived 4-gene prognostic signature for recurrence of stages i/ii colorectal cancer following potentially curative resection. J Clin Oncol (Meeting Abstracts), 27:15–sCrossRef
Zurück zum Zitat McPhee N, Hopper N (1999) Analysis of genetic diversity through population history. In: W B et al. (ed) Proceedings genetic evolutionary computation conferences. pp 1112–1120 McPhee N, Hopper N (1999) Analysis of genetic diversity through population history. In: W B et al. (ed) Proceedings genetic evolutionary computation conferences. pp 1112–1120
Zurück zum Zitat Mitra AP, Almal AA, George B, Fry DW, Lenehan PF, Pagliarulo V, Cote RJ, Datar RH, Worzel WP (2006) The use of genetic programming in the analysis of quantitative gene expression profiles for identification of nodal status in bladder cancer. BMC Cancer 6:159. http://www.biomedcentral.com/1471-2407/6/159 Mitra AP, Almal AA, George B, Fry DW, Lenehan PF, Pagliarulo V, Cote RJ, Datar RH, Worzel WP (2006) The use of genetic programming in the analysis of quantitative gene expression profiles for identification of nodal status in bladder cancer. BMC Cancer 6:159. http://​www.​biomedcentral.​com/​1471-2407/​6/​159
Zurück zum Zitat Montana DJ (1975) Strongly typed genetic programming. BBN Technical Report #7866, Bolt Beranek and Newman, Inc. Montana DJ (1975) Strongly typed genetic programming. BBN Technical Report #7866, Bolt Beranek and Newman, Inc.
Zurück zum Zitat Robinson JA (1965) A machine-oriented logic based on the resolution principle. J ACM 12 (1): 23–41MATHCrossRef Robinson JA (1965) A machine-oriented logic based on the resolution principle. J ACM 12 (1): 23–41MATHCrossRef
Zurück zum Zitat Schönfinkel M (1967) From Frege to Gödel: a source book in mathematical logic, Harv, chap Über die Bausteine der mathematischen Logik, pp 1879–1931 Schönfinkel M (1967) From Frege to Gödel: a source book in mathematical logic, Harv, chap Über die Bausteine der mathematischen Logik, pp 1879–1931
Zurück zum Zitat Spector L (2001) Autoconstructive evolution: Push, pushGP, and pushpop. In: Spector L, Goodman ED, Wu A, Langdon WB, Voigt HM, Gen M, Sen S, Dorigo M, Pezeshk S, Garzon MH, Burke E (eds) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001). Morgan Kaufmann, San Francisco, pp 137–146. http://hampshire.edu/lspector/pubs/ace.pdf Spector L (2001) Autoconstructive evolution: Push, pushGP, and pushpop. In: Spector L, Goodman ED, Wu A, Langdon WB, Voigt HM, Gen M, Sen S, Dorigo M, Pezeshk S, Garzon MH, Burke E (eds) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001). Morgan Kaufmann, San Francisco, pp 137–146. http://​hampshire.​edu/​lspector/​pubs/​ace.​pdf
Zurück zum Zitat Spector L, Klein J, Keijzer M (2005) The push3 execution stack and the evolution of control. In: Beyer HG, O’Reilly UM, Arnold DV, Banzhaf W, Blum C, Bonabeau EW, Cantu-Paz E, Dasgupta D, Deb K, Foster JA, de Jong ED, Lipson H, Llora X, Mancoridis S, Pelikan M, Raidl GR, Soule T, Tyrrell AM, Watson JP, Zitzler E (eds) GECCO 2005: Proceedings of the 2005 conference on Genetic and evolutionary computation, vol 2. ACM Press, Washington DC, pp 1689–1696. doi:10.1145/1068009.1068292. http://www.cs.bham.ac.uk/ wbl/biblio/gecco2005/docs/p1689.pdf Spector L, Klein J, Keijzer M (2005) The push3 execution stack and the evolution of control. In: Beyer HG, O’Reilly UM, Arnold DV, Banzhaf W, Blum C, Bonabeau EW, Cantu-Paz E, Dasgupta D, Deb K, Foster JA, de Jong ED, Lipson H, Llora X, Mancoridis S, Pelikan M, Raidl GR, Soule T, Tyrrell AM, Watson JP, Zitzler E (eds) GECCO 2005: Proceedings of the 2005 conference on Genetic and evolutionary computation, vol 2. ACM Press, Washington DC, pp 1689–1696. doi:10.1145/1068009.1068292. http://​www.​cs.​bham.​ac.​uk/​ wbl/​biblio/​gecco2005/​docs/​p1689.​pdf
Zurück zum Zitat Turner D (1979) A new implementation technique for applicative languages. Software Pract Exper 9: 31–49 Turner D (1979) A new implementation technique for applicative languages. Software Pract Exper 9: 31–49
Zurück zum Zitat Yu T (2000) Polymorphism and genetic programming. In: Whitley D (ed) Late breaking papers at the 2000 genetic and evolutionary computation conference. Las Vegas, pp 437–444 Yu T (2000) Polymorphism and genetic programming. In: Whitley D (ed) Late breaking papers at the 2000 genetic and evolutionary computation conference. Las Vegas, pp 437–444
Zurück zum Zitat Yu T, Clack C (1998) Recursion, lambda abstractions and genetic programming. In: Koza JR, Banzhaf W, Chellapilla K, Deb K, Dorigo M, Fogel DB, Garzon MH, Goldberg DE, Iba H, Riolo R (eds) Genetic programming 1998: proceedings of the third annual conference. Morgan Kaufmann, University of Wisconsin, Madison, pp 422–431 Yu T, Clack C (1998) Recursion, lambda abstractions and genetic programming. In: Koza JR, Banzhaf W, Chellapilla K, Deb K, Dorigo M, Fogel DB, Garzon MH, Goldberg DE, Iba H, Riolo R (eds) Genetic programming 1998: proceedings of the third annual conference. Morgan Kaufmann, University of Wisconsin, Madison, pp 422–431
Zurück zum Zitat Yu J, Yu J, Almal AA, Dhanasekaran SM, Ghosh D, Worzel WP, Chinnaiyan AM (2007) Feature selection and molecular classification of cancer using genetic programming. Neoplasia 9(4):292–303. doi:10.1593/neo.07121CrossRef Yu J, Yu J, Almal AA, Dhanasekaran SM, Ghosh D, Worzel WP, Chinnaiyan AM (2007) Feature selection and molecular classification of cancer using genetic programming. Neoplasia 9(4):292–303. doi:10.1593/neo.07121CrossRef
Zurück zum Zitat Yzerman E, den Boer J, Caspers M, Almal A, Worzel B, van der Meer W, Montijn R, Schuren F (2010) Comparative genome analysis of a large dutch legionella pneumophila strain collection identifies five markers highly correlated with clinical strains. BMC Genomics 11:433. doi:10.1186/1471-2164-11-433. http://www.biomedcentral.com/1471-2164/11/433 CrossRef Yzerman E, den Boer J, Caspers M, Almal A, Worzel B, van der Meer W, Montijn R, Schuren F (2010) Comparative genome analysis of a large dutch legionella pneumophila strain collection identifies five markers highly correlated with clinical strains. BMC Genomics 11:433. doi:10.1186/1471-2164-11-433. http://​www.​biomedcentral.​com/​1471-2164/​11/​433 CrossRef
Metadaten
Titel
SKGP: The Way of the Combinator
verfasst von
William P. Worzel
Duncan MacLean
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-16030-6_4

Premium Partner