Typed Functional Genetic Programming

• Název práce v češtině: Typované funkcionání genetické programování
• Název v anglickém jazyce: Typed Functional Genetic Programming
• Klíčová slova: geneticke programovani, funkcionalni programovani
• Klíčová slova anglicky: genetic programming, functional programming
• Akademický rok vypsání: 2011/2012
• Typ práce: diplomová práce
• Jazyk práce: angličtina
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: RNDr. Petr Pudlák, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 11.11.2011
• Datum zadání: 11.11.2011
• Datum potvrzení stud. oddělením: 07.12.2011
• Datum a čas obhajoby: 10.09.2013 00:00
• Datum odevzdání elektronické podoby: 02.08.2013
• Datum odevzdání tištěné podoby: 02.08.2013
• Datum proběhlé obhajoby: 10.09.2013
• Oponenti: Ing. et Ing. Jiří Kubalík, Ph.D. et Ph.D.

Zásady pro vypracování

Seznamte se s typovanými lambda kalkuly [1] a s jejich praktickou implementací [5]. Prostudujte standardní techniky genetického programování [2-4]. Navrhněte a implementujte prototyp systému řešící úlohu genetického programování nad typovaným funkcionálním jazykem. Porovnejte dosažené výsledky v závislosti na zvolených vstupních parametrech.

Seznam odborné literatury

[1] Henk Barendregt , S. Abramsky , D. M. Gabbay , T. S. E. Maibaum , H.  P. Barendregt.  
Lambda Calculi with Types.
Handbook of Logic in Computer Science, 1992.

[2]  Koza, J.R.
Genetic Programming: On the Programming of Computers by Means of Natural Selection.
MIT Press, 1992. ISBN 0-262-11170-5

[3] Koza, J.R., Keane, M., Streeter, M., Mydlowec, W.,Yu, J., Lanza, G.
Genetic Programming IV: Routine Human-Competitive Machine Intelligence.
Springer, 2005. ISBN 978-0-387-26417-2

[4] Poli, R., Langdon, W. B., McPhee, N. F.
A Field Guide to Genetic Programming.
Lulu.com, 2008. Freely available from the internet. ISBN 978-1-4092-0073-4.

[5] Simon Peyton Jones.
The Implementation of Functional Programming Languages.
Prentice Hall, 1987.