Projekty a granty
Databáze všech projektů a grantů od roku 2010
| Fuzzy parciální logika | |
|---|---|
| Id projektu | 16-19170S |
| Hlavní řešitel | prof. Ing. Vilém Novák, DrSc. |
| Období | 1/2016 - 12/2018 |
| Poskytovatel | Centrum excelence IT4Innovations, divize, Standardní projekt GA ČR |
| Stav | ukončený |
| Anotace | Formální fuzzy logika je teoretickým základem usuzování se stupni pravdivosti, nacházejícím široké uplatnění ve mnoha oborech od řízení a rozhodování přes zpracování dat po reprezentaci znalostí. Cílem projektu je vytvoření formálních systémů fuzzy parciální logiky, umožňujících nakládat zároveň se stupni pravdivosti i nedefinovaností, a prozkoumat metamatematické vlastnosti těchto nově navržených logik. |
