Artificial Intelligence and Reasoning
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
—
Main participants
České vysoké učení technické v Praze / Český institut informatiky, robotiky a kybernetiky
Contest type
OP - EU Operational Programme
Contract ID
15_003/0000466-01
Alternative language
Project name in Czech
Umělá inteligence a uvažování
Annotation in Czech
Projekt přispívá k naplnění vize CIIRC: "CIIRC je výzkumně-vzdělávacím ústavem moderního typu integrující nejlepší výzkumné týmy, mladé talenty a unikátní know-how, posouvající hranice technického vědění, motivující k výkonům světové úrovně a vychovávající budoucí generaci osobností mezinárodního formátu." Cílem projektu je pod vedením KZVP vybudovat dynamický mladý výzkumný tým, jež bude čerpat unikátní expertízu od dr. J. Urbana, nositele ERC Consolidator Grantu, zapojeného do projektu jako zaměstnanec ČVUT. Výzkumný tým bude realizovat výzkumné aktivity v rámci 3 WP. Díky KZVP a spolupráci s 2 strategickými partnery - RUN a UIBK, 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), i díky zkušenosti RUN a UIBK se předpokládá zvýšení úspěšnosti v grantech. Zároveň se předpokládá zvýšení kvality publikačního výkonu dotčeného týmu ČVUT, a to díky realizaci atraktivních výzkumných záměrů ve spolupráci se dvěma 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.). Mezi další cíl patří modernizace VaV infrastruktury, a to formou pořízení přístrojového vybavení pro realizaci výzkumných aktivit, dále transfer best practice v oblasti řízení kvality (např. peer-review hodnocení apod.).
Scientific branches
R&D category
IF - RDI infrastructure
CEP classification - main branch
JD - Use of computers, robotics and its application
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The project was organized into three work packages, each demonstrating substantial progress in various areas of AI and reasoning. In WP1 there were developed pioneering systems that combine learning and proving, automated formalization, neural conjecturing, and synthesis. WP2 saw significant advancements in mixed criticality scheduling, modeling of synergies between transportation and energy processes in smart cities and research in this area as whole contributed to the development of intelligent urban solutions. The third area focused on artificial intelligence in complex systems and large volumes of data and the possibilities of its use in modelling and control of complex systems or validation and verification of the behaviour of such systems.
Solution timeline
Realization period - beginning
Jun 1, 2017
Realization period - end
Jun 30, 2023
Project status
U - Finished project
Latest support payment
Sep 6, 2020
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
CEP24-MSM-EF-U
Data delivery date
Jul 1, 2024
Finance
Total approved costs
114,866 thou. CZK
Public financial support
102,378 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK