Filtry
Zobrazit méně
Zobrazit méně
Více filtrů
Projekty
Predikátové škálované logiky a jejich aplikace v informatice (GA17-04630S)
Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí pravdivostních hodnot, která umožňuje modelovat pouze ...
IN - Informatika
- 2017 - 2021 •
- 6 926 tis. Kč •
- 5 714 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Grantová agentura České republiky
Vícejazyčný valenční a predikátový slovník přirozeného jazyka (1P05ME752)
propojení systémů predikátů v přirozeném jazyce...
IN - Informatika
- 2005 - 2007 •
- 2 232 tis. Kč •
- 1 652 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (74%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Fuzzy teorie množin jakožto základ fuzzy matematiky (ME09110)
Dosažení lepšího porozumění fuzzy teoriím množin jakožto základům fuzzy matematiky, přenesení metod mezi fuzzy a substrukturálními teoriemi množin, navázání česko-japonské spolupráce v této oblasti a publikování dosažených výsledků.......
BA - Obecná matematika
- 2009 - 2010 •
- 422 tis. Kč •
- 422 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Neklasické výrokové a predikátové logiky přístup založený na uspořádání (GA13-14654S)
Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich precizních matematických základů. Jednotný přístup založe...
IN - Informatika
- 2013 - 2018 •
- 4 570 tis. Kč •
- 4 570 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 23. 4. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Metamatematika substrukturálních modálních logik (GA22-01137S)
Klasická logika modeluje usuzování o boolovských kombinacích atomických výroků. Modální logiky ji rozšiřují přidáním výrokových spojek (takzvaných „modalit“) umožňujících usuzování o způsobech pravdivosti, např. „nutně“, „je dovoleno“ či „je známo“. ...
Pure mathematics
- 2022 - 2024 •
- 6 600 tis. Kč •
- 6 600 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Speciální techniky soft computing pro rozhodování v managementu (1P05ME739)
studium speciálních metod formální logiky pro reprezentaci hiearchických soustav fuzzy IF-THEN pravidel...
IN - Informatika
- 2005 - 2005 •
- 67 tis. Kč •
- 67 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2005 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Logická struktura informačních kanálů (GM21-23610M)
Pojem informace je v současné logice všudypřítomný. Avšak informační interpretace rozmanitých logických systémů je v logické literatuře poněkud roztříštěná a je potřeba vytvořit sjednocující přístup. Cílem tohoto projektu je vybudovat obecné filosofi...
Philosophy, History and Philosophy of science and technology
- 2021 - 2025 •
- 12 922 tis. Kč •
- 12 922 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2021 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
IFAC - práce v Technickém výboru Cognition and Control při Mezinárodní federaci automatizovaného řízení (1P04LA231)
práce v Technickém výboru, mezinárodní organizace IFAC, EDCOM, mezinárodní konference, zasedání výboru, umělá inteligence, fuzzy logika...
BC - Teorie a systémy řízení
- 2004 - 2006 •
- 190 tis. Kč •
- 190 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......
JC - Počítačový hardware a software
- 2010 - 2012 •
- 1 500 tis. Kč •
- 1 230 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
GRADLACT Stupňované logiky konání (GA22-16111S)
Výroková dynamická logika, PDL, je známým nástrojem logické analýzy diskurzu o konání. Protože je ale založena na klasické logice, nemůže adekvátně formalizovat diskurz zahrnující stupňované, vágní a nepřesné pojmy. V tomto projektu vyvineme a prostu...
Philosophy, History and Philosophy of science and technology
- 2022 - 2024 •
- 3 172 tis. Kč •
- 2 878 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 29