NextReason: Počítačové uvažování nové generace

Poskytovatel

Grantová agentura České republiky

Program

Grantové projekty excelence v základním výzkumu EXPRO

Veřejná soutěž

SGA0202500006

Hlavní účastníci

České vysoké učení technické v Praze / Český institut informatiky, robotiky a kybernetiky

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

25-17929X

Název projektu anglicky

NextReason: Next Generation Computer Assisted Reasoning

Anotace anglicky

Galileo said that mathematics is the language of science. It is used to solve arbitrary abstract problems, underpinning hard sciences, technology and engineering. Automation of mathematical reasoning is one of the greatest AI challenges. Compared to humans, today’s main reasoning systems largely lack the capability to combine deduction, learning and conjecturing in complex feedback loops. There is solid evidence that such combinations are the key to strong assistance of mathematics and formal proof. To produce them, the NextReason project will develop (i) logic-aware learning architectures and neuro-symbolic methods for a range of reasoning paradigms, (ii) AI approaches for learning-guided decomposition of hard problems, (iii) methods for automated formalization, (iv) neuro-symbolic methods for conjecturing and synthesis of mathematical objects, and (v) systems combining learning, theory exploration and deduction to attack hard problems. The expected outcome is a new generation of AI architectures for reasoning and their transformative effect on mathematics and formal proof.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 1. 2025

Ukončení řešení

31. 12. 2029

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP25-GA0-GX-R

Datum dodání záznamu

1. 3. 2025

Celkové uznané náklady

49 505 tis. Kč

Výše podpory ze státního rozpočtu

49 505 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč