Projekty a granty
Databáze všech projektů a grantů od roku 2010
| Přibližná dedukce a zobecněné kvantifikátory | |
|---|---|
| Id projektu | GA201/04/1033 |
| Hlavní řešitel | prof. Ing. Vilém Novák, DrSc. |
| Období | 1/2004 - 12/2006 |
| Poskytovatel | Standardní projekt GA ČR |
| Stav | ukončený |
| Anotace | Obecný cíl tohoto grantu je pokračovat ve vývoji teorie přibližné dedukce a rozšířit ji o použití zobecněných kvantifikátorů. Grant se zaměří na řešení následujících problémů: 1. Rozšíření fuzzy logiky na fuzzy teorii typů, zkoumání její úplnostivzhledem k obecným modelům, další rozšíření na fuzzy intenzionální logiku a vytvoření modelu některých vybraných částí sémantiky přirozeného jazyka. 2. Rozšíření fuzzy logiky o zobecněné kvantifikátory, studium jejich speciálních tříd specifických profuzzy logik u. 3. Studium metod přibližné dedukce (PD) s cílem přispět k vývoji unifikované teorie: (a) PD jako různé druhy řešení rovnic s fuzzy relacemi v modelech fuzzy logiky, (b) PD jako formální dedukce za neurčitosti (vágnosti) založené na použitípřirozeného jazyka, formalizace v rámci fuzzy intenzionální logiky, (c) Přibližná dedukce podle (a) a (b) se zobecněnými kvantifikátory. |
