Powering Automatic Theorem Provers by Machine Learning
Public support
Provider
Czech Science Foundation
Programme
Junior Grants
Call for proposals
SGA0202000002
Main participants
České vysoké učení technické v Praze / Český institut informatiky, robotiky a kybernetiky
Contest type
VS - Public tender
Contract ID
20-06390Y
Alternative language
Project name in Czech
Zlepšování automatických dokazovačů vět pomocí strojového učení
Annotation in Czech
Tento projekt bude systematicky studovat téma kombinování metod strojového učení se “state-of-the-art” automatickými dokazovači vět zaločnými na saturaci. Naším konečným cílem je zvýšit výkon těchto dokazovačů na široké škále úloh, měřených na standardních benchmarcích z oblasti automatického uvažování a v oblastech jako matematika a verifikace software. Ze zvýšení výkonu dokazovačů budou okamžitě benefitovat odborníci v oblasti formálního uvažování s řadou aplikací. Navrhované téma je taktéž velmi zajímavé jako otázka výzkumu obecné umělé inteligence. Úspěšné kombinace statistických metod a symbolické umělé inteligence jsou stále poměrně vzácné a je dobře známo, že dokazování vět v logice prvního řádu je nerozhodnutelné. To vyvolává řadu otázek jak o praktických tak teoretických limitech existujících učících metod pro úlohy spojené s uvažováním.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2020
Realization period - end
Dec 31, 2022
Project status
—
Latest support payment
Apr 8, 2022
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP23-GA0-GJ-R
Data delivery date
Jun 26, 2023
Finance
Total approved costs
6,467 thou. CZK
Public financial support
6,467 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK