Matematické základy inference s vágností a nejistotou
Veřejná podpora
Poskytovatel
Akademie věd České republiky
Program
Granty výrazně badatelského charakteru zaměřené na oblast výzkumu rozvíjeného v současné době zejména v AV ČR
Veřejná soutěž
SAV0-AB2000
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Mathematical foundations of inference under vagueness and uncertainty
Anotace anglicky
The project builds on the results of our preceding intensive study of many-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory and has opened new problems as well as away to a logical analysis of technique of fuzzy logic (in the broad sense). This will be an advanced study of infinite-valued, modal and nonmonotonic logics (including possibilistic logic and Dempster-Shafer belief logics), an analysis of fundamental mathematical theories inside these logics and development of a theory of finite models of fuzzy logic in connection with computational complexity and data analysis.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
BD - Teorie informace
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics<br>10102 - Applied mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Byla podstatně rozvinuta matematická fuzzy logika (výroková i predikátová), a to jak základní fuzzy logika BL založená na spojitých t-normách, tak logiky silnější i slabší (obecnější). Byly získány nové výsladky o úplnosti, kompaktnosti a složitosti.
Termíny řešení
Zahájení řešení
1. 1. 2000
Ukončení řešení
1. 1. 2004
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP/2005/AV0/AV05IA/U/N/5:3
Datum dodání záznamu
26. 9. 2007
Finance
Celkové uznané náklady
3 351 tis. Kč
Výše podpory ze státního rozpočtu
1 245 tis. Kč
Ostatní veřejné zdroje financování
2 106 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč