AI&Reasoning

 

Název projektu: Umělá inteligence a uvažování
Akronym: AI&Reasoning
Reg. číslo: EF15_003/0000466
Poskytovatel podpory: Evropská unie
Ministerstvo školství, mládeže a tělovýchovy ČR (MŠMT)
Program: Evropské strukturální a investiční fondy (ESIF)
OP VVV – Operační program Výzkum, vývoj a vzdělávání
Výzva 02-15-003 Podpora excelentních výzkumných týmů (EVT) v prioritní ose 1 OP
Doba řešení: 06/2017 – 06/2023
Způsobilé výdaje: 127,3 mil. Kč
Hlavní řešitel: Mgr. Josef Urban, Ph.D.
Koordinátor: CIIRC ČVUT – České vysoké učení technické v Praze – Český institut informatiky, robotiky a kybernetiky
Partneři: Západočeská univerzita v Plzni
Vysoká škola báňská – technická univerzita Ostrava

Anotace:

Hlavním cílem projektu je vybudování nové výzkumné skupiny pod vedením Dr. Josefa Urbana zaměřené na výzkum v oblastech umělé inteligence a automatického uvažování, ve spolupráci se strategickými mezinárodními partnery Radboud University Nijmegen (Nizozemí) a Universität Innsbruck (Rakousko).

Projekt se zaměřuje na automatizovaný překlad matematických, vědeckých a technických textů psaných v přirozeném jazyce do podoby srozumitelné pro počítače.

Hlavní zaměření:

  • Vývoj autonomních systémů umělé inteligence v rozsáhlé teorii automatizovaného uvažován;
  • Ověřování pokročilých systémů a technologií;
  • Počítačové ověření pokročilé matematiky založené na komplexních formálních teoriích.

Cílem projektu je vybudovat dynamický mladý výzkumný tým, jež bude čerpat unikátní expertízu od dr. J. Urbana, nositele ERC Consolidator Grantu. Díky tomu dojde k transferu zcela nových metod automatického uvažování a jejich použití v oblasti řídící techniky, real-time rozvrhování, agentních systémů a big data, které tým bude moci rozvíjet.
Cílem je též přenos znalostí v oblasti řízení mezinárodních grantů (zejm. H2020 a ERC) a zvýšení úspěšnosti v grantech. Zároveň se předpokládá zvýšení kvality publikačního výkonu, a to díky realizaci atraktivních výzkumných záměrů ve spolupráci se strategickými partnery. Souvisejícím cílem je tudíž rozvoj strategické mezinárodní spolupráce, a to formou: prohloubení (rozšíření spolupráce z „individuální“ roviny na rovinu institucionální, sdílení best practice na úrovni strategické, kontinuita spolupráce i v období mimo řešené granty) a zacílení (důraz na rozvoj vybraných oblastí, zejm. koordinátorské granty, ERC granty, atestační a evaluační politika apod.).