| dc.contributor.advisor | Švarný, Petr | |
| dc.creator | Frauknecht, Jan | |
| dc.date.accessioned | 2017-05-26T15:42:17Z | |
| dc.date.available | 2017-05-26T15:42:17Z | |
| dc.date.issued | 2015 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/63852 | |
| dc.description.abstract | Tato 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 | cs_CZ |
| dc.description.abstract | 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 | en_US |
| dc.language | English | cs_CZ |
| dc.language.iso | en_US | |
| dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
| dc.subject | Genetické algoritmy | cs_CZ |
| dc.subject | Prolog | cs_CZ |
| dc.subject | SWI Prolog | cs_CZ |
| dc.subject | Lamarkovská evoluce | cs_CZ |
| dc.subject | Biologicky inspirované algoritmy | cs_CZ |
| dc.subject | Evoluční algoritmy | cs_CZ |
| dc.subject | Evoluce | cs_CZ |
| dc.subject | Genetic algorithms | en_US |
| dc.subject | Prolog | en_US |
| dc.subject | SWI-Prolog | en_US |
| dc.subject | Lamarkian evolution | en_US |
| dc.subject | Biologicaly inspired algoprithms | en_US |
| dc.subject | Evolutionary algorithms | en_US |
| dc.subject | Evolution | en_US |
| dc.title | Koza and Prolog | en_US |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2015 | |
| dcterms.dateAccepted | 2015-02-11 | |
| dc.description.department | Department of Logic | en_US |
| dc.description.department | Katedra logiky | cs_CZ |
| dc.description.faculty | Filozofická fakulta | cs_CZ |
| dc.description.faculty | Faculty of Arts | en_US |
| dc.identifier.repId | 136888 | |
| dc.title.translated | Koza a Prolog | cs_CZ |
| dc.contributor.referee | Verner, Jonathan | |
| dc.identifier.aleph | 001937937 | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | Logika | cs_CZ |
| thesis.degree.discipline | Logic | en_US |
| thesis.degree.program | Logika | cs_CZ |
| thesis.degree.program | Logic | en_US |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
| uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Arts | en_US |
| uk.faculty-abbr.cs | FF | cs_CZ |
| uk.degree-discipline.cs | Logika | cs_CZ |
| uk.degree-discipline.en | Logic | en_US |
| uk.degree-program.cs | Logika | cs_CZ |
| uk.degree-program.en | Logic | en_US |
| thesis.grade.cs | Dobře | cs_CZ |
| thesis.grade.en | Good | en_US |
| uk.abstract.cs | Tato 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 | cs_CZ |
| uk.abstract.en | 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 | en_US |
| uk.file-availability | V | |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
| dc.identifier.lisID | 990019379370106986 | |
