Koza and Prolog
Thesis title in Czech: | Koza a Prolog |
---|---|
Thesis title in English: | Koza and Prolog |
Key words: | Genetické algoritmy, Prolog, SWI Prolog, Lamarkovská evoluce, Biologicky inspirované algoritmy, Evoluční algoritmy, Evoluce |
English key words: | Genetic algorithms, Prolog, SWI-Prolog, Lamarkian evolution, Biologicaly inspired algoprithms, Evolutionary algorithms, Evolution |
Academic year of topic announcement: | 2012/2013 |
Thesis type: | Bachelor's thesis |
Thesis language: | angličtina |
Department: | Department of Logic (21-KLOG) |
Supervisor: | Mgr. Petr Švarný, Ph.D. |
Author: | hidden - assigned and confirmed by the Study Dept. |
Date of registration: | 13.05.2013 |
Date of assignment: | 28.05.2013 |
Administrator's approval: | not processed yet |
Confirmed by Study dept. on: | 04.06.2013 |
Date and time of defence: | 11.02.2015 09:00 |
Date of electronic submission: | 04.01.2015 |
Date of proceeded defence: | 11.02.2015 |
Submitted/finalized: | committed by student and finalized |
Opponents: | Mgr. Jonathan Verner, Ph.D. |
Guidelines |
Prolog se řadí mezi prominentní programovací jazyky v oblasti tzv. silné umělé inteligence či při tvrobě expertních systémů. V současnosti se však spíše preferují jiné přístupy pro řešení složitých úloh, např. tzv. genetické algoritmy.
Cílem práce je zhodnocení možností užití Prologu v kontextu těchto genetických algoritmů. Práce by měla vycházet zejména z prací J. R. Kozy o genetickém programování a také z článku B. J. Rosse o užití Lamarkovské evoluce v genetických algoritmech. Práce by měla téma řešit obecně (např. na základě knihy I. Bratka), tak i konkrétně. Její součástí by mělo být vyhotovení kódu psaného v SWI Prologu. Jeho hlavním cílem bude představení funkčního genetického algoritmu a měl by umožnit následné porovnání s klasickými Prologovskými řešeními pro dané úlohy. Práce by měla obsahovat alespoň jedno takové porovnání řešení, avšak úloha bude zvolena až na základě podoby teoretické části tak, aby mohla sloužit jako opora její argumentace. Pokud budou během teoretické části užity příklady s genetickými algoritmy, které nejsou psané v SWI Prologu, je vhodné jejich převedení do SWI Prologu nebo vyhodnocení, zda je převod možný a za jakých okolností. Kód by měl být i dostatečně komentovaný, aby jej bylo možno využít při výuce o Prologu. |
References |
Bratko, Ivan. Prolog: programming for artificial intelligence. Addison-Wesley, 2001.
Ross, Brian J. "A Lamarckian evolution strategy for genetic algorithms." Practical handbook of genetic algorithms: complex coding systems 3 (1999): 1-16. Tang, Lappoon R., Mary Elaine Califf, and Raymond J. Mooney. "An experimental comparison of genetic programming and inductive logic programming on learning recursive list functions." 8th Int. Workshop on Inductive Logic Programming. 1998. Koza, John R. "Genetic programming as a means for programming computers by natural selection." Statistics and Computing 4.2 (1994): 87-112. |