Systémy automatického dokazování

• Thesis title in thesis language (Slovak): Systémy automatického dokazování
• Thesis title in Czech: Systémy automatického dokazování
• Thesis title in English: Systems for automated theorem proving
• Academic year of topic announcement: 2007/2008
• Thesis type: Bachelor's thesis
• Thesis language: slovenština
• Department: Department of Algebra (32-KA)
• Supervisor: doc. RNDr. David Stanovský, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 10.12.2007
• Date of assignment: 10.12.2007
• Date and time of defence: 22.06.2009 00:00
• Date of electronic submission: 22.06.2009
• Date of proceeded defence: 22.06.2009
• Opponents: Mgr. Vladimír Šišma

Guidelines

Práce se bude zabývat výběrem vhodných dokazovačů a nastavením jejich parametrů pro výpočty nad databází TPTP a/nebo MPTP. Konkrétní výzvou může být např. MPTP Challenge. V první fázi student získá základní přehled o oblasti, poté se ve spolupráci s vedoucím blíže specifikuje zadání. Výstupem práce by mělo být testování stávajících systémů s různými parametry, případně jejich kombinace a/nebo vylepšení, např. s pomocí strojového učení.

References

Nerode, Anil; Shore, Richard A., Logic for applications. Graduate Texts in Computer Science. New York, NY: Springer, 2000.
Josef Urban, MaLARea: a Metasystem for Automated Reasoning in Large Theories
http://www.cs.miami.edu/~tptp - software a články uvedené na této adrese