Matematické základy inference s vágností a nejistotou
Cíle projektu
Projekt navazuje na výsledky našeho předchozího intenzivního studia vícehodnotových logik a logik domnění, které významně přispělo k budování jejich systematické matematicko-logické teorie a zároveň otevřelo nové otázky, jakož i cestu k logické analýze,technik fuzzy logiky (v širokém smyslu). Půjde o pokročilé studium nekonečně hodnotových, modálních a nemonotonních logik (včetně posibilistické logiky a logiky domnění ve stylu Dempstera a Shafera), analýzu základních matematických teorií uvnitř těchtologik a budování teorie konečných modelů fuzzy logiky v souvislosti s teorií výpočetní složitosti a s analýzou dat.
Klíčová slova
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
(dle převodníku)10101 - Pure mathematics
10102 - Applied mathematics
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č
Uznané náklady
3 351 tis. Kč
Statní podpora
1 245 tis. Kč
0%
Poskytovatel
Akademie věd České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 2000 - 01. 01. 2004