Koza and Prolog
Koza a Prolog
bachelor thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/63852Identifiers
Study Information System: 136888
Collections
- Kvalifikační práce [23775]
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
11. 2. 2015
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
English
Grade
Good
Keywords (Czech)
Genetické algoritmy, Prolog, SWI Prolog, Lamarkovská evoluce, Biologicky inspirované algoritmy, Evoluční algoritmy, EvoluceKeywords (English)
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