Název:
Aplikace genetických algoritmů v automatickém dokazování vět
Překlad názvu:
Application of genetic algorithms in Automated theorem proving
Autoři:
Děchtěrenko, Filip ; Štěpánek, Petr (vedoucí práce) ; Petříčková, Zuzana (oponent) Typ dokumentu: Bakalářské práce
Rok:
2010
Jazyk:
cze
Abstrakt: [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.