Original title: Aplikace genetických algoritmů v automatickém dokazování vět
Translated title: Application of genetic algorithms in Automated theorem proving
Authors: Děchtěrenko, Filip ; Štěpánek, Petr (advisor) ; Petříčková, Zuzana (referee)
Document type: Bachelor's theses
Year: 2010
Language: cze
Abstract: [cze] [eng]
V předložené práci studujeme možnosti použití genetických algoritmů v automatickém dokazování vět. Zaměříme se na dokazovač Prover9 a konkrétně na používání de finic pro zrychlení prohledávání klauzulí. Na závěr zhodnotíme přínos genetických algoritmů do automatického dokazování vět. In the present work we present possibilities of use of the genetic algorithms in the automated theorem proving. We focus on the prover Prover9 and speci cally using the de nitions for speeding up the search for clausulas. In the end we evaluate the bene t of the genetics algorithms in automated theorem proving.

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/28871

Permalink: http://www.nusl.cz/ntk/nusl-284164


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Bachelor's theses