Formální fuzzy logika je teoretickým základem usuzování se stupni pravdivosti pravdivostí výroků, jež je předmětem studia parciální logiky. Dosud známé formální systémy fuzzy logiky však nepřipouštějí komb...

IN - Informatika

Řešení projektu: 1. 1. 2016 - 22. 7. 2020
• 2016 - 2020
•

Uznané náklady
• 5 076 tis. Kč
•

Podpora ze státního rozpočtu (68%)
• 3 435 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

matematickým základům fuzzy logiky a logik domnění a druhého grantového projektu věnovaného kombinaci a společné zobecnění. V matematické fuzzy výrokové a predikátové logice na základní fuzzy

BA - Obecná matematika

Řešení projektu: 1. 1. 2005 - 31. 12. 2009
• 2005 - 2009
•

Uznané náklady
• 2 812 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 2 812 tis. Kč
•

Poskytovatel: Akademie věd České republiky
• AV ČR

. První kroky k jeho vybudování byly umožněny nedávnými výsledky v matematické fuzzy logice. Jedná se o zobecnění jednoduché teorie typů nad vhodnou vícehodnotovou logikouMatematické struktury s vágními koncepty (tzv. f...

BA - Obecná matematika

Řešení projektu: 1. 1. 2005 - 1. 12. 2007
• 2005 - 2007
•

Uznané náklady
• 1 125 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 1 125 tis. Kč
•

Poskytovatel: Akademie věd České republiky
• AV ČR

, logiky, lingvistiky i analytické filosofie. Fuzzy logika, založená na pojmu stupňů možnosti deduktivních systémů studovaných v rámci matematické fuzzy logiky. Cílem pomocí aparátu a metod matematické

IN - Informatika

Řešení projektu: 1. 12. 2015 - 31. 7. 2019
• 2015 - 2019
•

Uznané náklady
• 6 071 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 6 071 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

jak pro výrokové tak i pro predikátové logiky. Dále plánujeme demostrovat sílu této teorie na dvou důležitých třídách neklasických logik a to na substrukturálních a fuzzyFormální systémy (ne)klasických logic jsou ...

IN - Informatika

Řešení projektu: 1. 2. 2013 - 23. 4. 2018
• 2013 - 2018
•

Uznané náklady
• 4 570 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 4 570 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

Matematické základy vícehodnotových logik jako základu fuzzy logiky: problémy axiomatizovatelnosti a úplnosti. Logické základy a kritika užití fuzzy logik v aplikacích (fuzzy regulátory, fuzzy...

BA - Obecná matematika

Řešení projektu: 1. 1. 1996 - 1. 1. 1999
• 1996 - 1999
•

Uznané náklady
• 1 929 tis. Kč
•

Podpora ze státního rozpočtu (81%)
• 1 565 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

Fuzzy matematika založená na formální logice je novým přístupem k teorii fuzzy množin, umožněným nedávnými pokroky matematické fuzzy logiky. Vyznačuje se zvláště rigorózní metodologií formální logiky

BA - Obecná matematika

Řešení projektu: 1. 1. 2010 - 8. 12. 2014
• 2010 - 2014
•

Uznané náklady
• 1 266 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 1 266 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

ranky chápány stejně jako pravdivostní hodnoty ve fuzzy logikách v úzkém smysluNavrhujeme zkoumat relační model dat s ohledem na nepřesnost a podobnost. Model vznikne pokud se posuneme od dvouhodnotových logik, na kterých ...

IN - Informatika

Řešení projektu: 1. 1. 2014 - 31. 12. 2016
• 2014 - 2016
•

Uznané náklady
• 4 424 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 4 424 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR