Koza and Prolog
Koza a Prolog
bakalářská práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/63852Identifikátory
SIS: 136888
Kolekce
- Kvalifikační práce [21501]
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
11. 2. 2015
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Angličtina
Známka
Dobře
Klíčová slova (česky)
Genetické algoritmy, Prolog, SWI Prolog, Lamarkovská evoluce, Biologicky inspirované algoritmy, Evoluční algoritmy, EvoluceKlíčová slova (anglicky)
Genetic algorithms, Prolog, SWI-Prolog, Lamarkian evolution, Biologicaly inspired algoprithms, Evolutionary algorithms, EvolutionTato práce uvádí vztah umělé inteligence ke genetickému pro- gramování a některé vlastnisti logického programování. Hlavním cílem práce ovšem je naprogramovat algoritmus genetrického programování. Tento program operuje s logickými programy. Algoritmus je imple- mentován v SWI-Prologu. Práce obsahuje popis zdrojového kódu této implementace a výsledky jejího testování. Testování implementace nabízí několik možností budoucího rozšíření práce. 1
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm that operates with the logical programming paradigm. SWI-Prolog is used for the actual implementation of such a program. This implementation is in detail described. The testing of this implementation shows some possible path for the future work. 1