Filtry
Fuzzy logika, matematické základy a operace (OC 15.10)
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
- 1996 - 1999 •
- 1 929 tis. Kč •
- 1 565 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1996 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (81%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Fuzzy matematika s logickými základy (GPP103/10/P234)
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
- 2010 - 2014 •
- 1 266 tis. Kč •
- 1 266 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 8. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Matematická fuzzy logika v informatice (GAP202/10/1826)
Matematická fuzzy logika je symbolická (matematická) logika se stupňovitým pojmem pravdy, kterou je třeba rozlišovat od fuzzy logiky v širokém smyslu sémantiku). Od Hájkovy monografie z roku 1998 se matema...
IN - Informatika
- 2010 - 2016 •
- 9 136 tis. Kč •
- 9 136 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 7. 4. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Herně-teoretický přístup k vícehodnotovým logikám (7AMB13AT014)
pracovištěm na aplikaci teorie her v oblasti fuzzy logik. Projekt se bude zaměřovat zejména na následující oblasti: a) vzájemný vztah herních sémantik pro fuzzy logiky pro studium základních fuzzy log...
IN - Informatika
- 2013 - 2014 •
- 200 tis. Kč •
- 200 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
Fuzzy parciální logika (GA16-19170S)
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
- 2016 - 2020 •
- 5 076 tis. Kč •
- 3 435 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 22. 7. 2020
Uznané náklady
Podpora ze státního rozpočtu (68%)
Poskytovatel: Grantová agentura České republiky
Přibližná dedukce a zobecněné kvantifikátory (GA201/04/1033)
následujících problémů: 1. Rozšíření fuzzy logiky na fuzzy teorii typů, zkoumání její úplnosti vzhledem k obecným modelům, další rozšíření na fuzzy intenzionální logiku fuzzy logiky o zo...
BA - Obecná matematika
- 2004 - 2006 •
- 1 180 tis. Kč •
- 1 180 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Teorie modelů v kategoriích fuzzy množin (IAA1187901)
,jako jsou grupy, topol.prostory apod.S výjimkou výzkumu různých fuzzy logik však existuje jen velmi málo výsledků o těchto možnostech teorie fuzzy množin.Předkládaný projekt),zatímco logika v teotii fuzzy...
BA - Obecná matematika
- 1999 - 2001 •
- 1 653 tis. Kč •
- 685 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 1999 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (41%)
Poskytovatel: Akademie věd České republiky
Stratigrafická simulace spoužitím fuzzy logiky k modelování disperze sedimentů (ME 468)
Cílem je spolupráce českého a amerického pracoviště v oblasti modelování vybraných geologických procesů pomocí metod fuzzy logiky. Projekt je realizován jako tzv. International Supplement k běžícímu projektu NSF......
DB - Geologie a mineralogie
- 2001 - 2002 •
- 823 tis. Kč •
- 498 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2001 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (61%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Matematické základy inference a rozhodování za nejistoty (IAA100300503)
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
- 2005 - 2009 •
- 2 812 tis. Kč •
- 2 812 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Formální teorie matematických struktur s vágností (KJB100300502)
. 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
- 2005 - 2007 •
- 1 125 tis. Kč •
- 1 125 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2005 - 1. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
- 1 - 10 z 362