Filtry
Pravděpodobnostní argumentace v pozdně scholastické logice (GA17-12408S)
Předmětem projektu bude pozdně scholastická analýza pravděpodobnostní argumentace, tzn. typu argumentů, které jsou pravděpodobnostní (tj. neplatí, že jsou-li pravdivé předpoklady, jsou nutně pravdivé i závěry), non-monotónní (připojení další premisy ...
AA - Filosofie a náboženství
- 2017 - 2021 •
- 896 tis. Kč •
- 896 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (OC10048)
Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......
IN - Informatika
- 2010 - 2012 •
- 1 641 tis. Kč •
- 1 318 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Digital Environment for Cultural Interfaces; Promoting Heritage, Education and Research (7E11023)
by combining much richer, event-based metadata with causal reasoning models. This will result in a reasoning engine, virtual environment and interfaces that can help......
JC - Počítačový hardware a software
- 2011 - 2013 •
- 3 018 tis. Kč •
- 3 018 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Dextrous Assembler Robot Working with embodied INtelligence (7E11036)
Targeting both assembly and service industry the DARWIN project aims to develop an acting, learning and reasoning assembler robot that will ultimately be capable will generate the necessary sequence by reasoning and mental simulatio...
JD - Využití počítačů, robotika a její aplikace
- 2011 - 2014 •
- 3 336 tis. Kč •
- 3 336 tis. Kč •
- MŠMT
Řešení projektu: 1. 2. 2011 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Efektivní konečné automaty pro automatické usuzování (LL1908)
Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzorů. Budou ...
Automation and control systems
- 2020 - 2024 •
- 35 585 tis. Kč •
- 35 585 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2020 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Aplikovaný právní jazykový model a benchmarky pro využití v právní praxi (FW11020230)
Projekt je zaměřen na pokročilé využití umělé inteligence v oblasti českého a zahraničního práva. Jeho cílem je vyvinout dvě technická řešení: a) specializovaný vícejazyčný právní jazykový model (software) umožňující zvýšení přesnosti zpracování práv...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 - 2026 •
- 15 688 tis. Kč •
- 10 371 tis. Kč •
- TA ČR
Řešení projektu: 1. 6. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (66%)
Poskytovatel: Technologická agentura ČR
Clothes Perception and Manipulation (7E13018)
closer integration of perception, action, learning, and reasoning. Perception means learning, spatial reasoning, and high-level reasoning. Thus integrated, CloPeMa is......
JD - Využití počítačů, robotika a její aplikace
- 2013 - 2014 •
- 3 579 tis. Kč •
- 3 579 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Matematické základy inference s vágností a nejistotou (IAA1030004)
Projekt navazuje na výsledky našeho předchozího intenzivního studia vícehodnotových logik a logik domnění, které významně přispělo k budování jejich systematické matematicko-logické teorie a zároveň otevřelo nové otázky, jakož i cestu k logické analý...
BA - Obecná matematika
- 2000 - 2004 •
- 3 351 tis. Kč •
- 1 245 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2000 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (37%)
Poskytovatel: Akademie věd České republiky
Logické modely usuzování a argumentace v přirozeném jazyce (GA17-15645S)
Hlavním cílem projektu je nové promyšlení relevance logických metod pro posuzování argumentace v rámci přirozeného jazyka. Současné odborné časopisy nabízejí spoustu systémů, o nichž se má za to, že modelují různé druhy úsudků. Tyto systémy jsou obvy...
AA - Filosofie a náboženství
- 2017 - 2019 •
- 4 381 tis. Kč •
- 4 381 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Bayesovské usuzování jako prostředek pro efektivní znalecké dokazování v civilním soudním řízení (GA19-17474S)
Projekt směřuje k realizaci vědeckého výzkumu zaměřeného na možné zhodnocení bayesovského usuzování jako nástroje pro vypracování znaleckých posudků v civilním soudním řízení. Kombinuje nástroje empirického výzkumu, jejichž prostřednictvím budou získ...
Law
- 2019 - 2022 •
- 3 474 tis. Kč •
- 3 474 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 39