Matematické základy inference a rozhodování za nejistoty

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ěž

Výzkumné granty 5 (SAV02005-A)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

IAA100300503

Název projektu anglicky

Mathematical foundation of inference and decision under uncertainty

Anotace anglicky

The project is planned to be a natural common continuation of a grant project dedicated to mathematical foundations of fuzzy logics and of logics of belief and of a grant project dedicated to alternative (non-probabilistic) models and tools for managinguncertainty understood as randomness (possibilistic measures, measures with non-numerical values). The research will naturally continue in both directions, but a new twist is in systematic attention paid to the creative combination and common generalization of both. In mathematical fuzzy propositional and predicate logic, formal theory of syntax and semantics of new calculi based on the basic fuzzy logic BL will be developed; in the theory of models of randomness, various new measures will be presentedand confronted with those already known. The combination of both approaches will concern fuzzy logics of beliefs, possibilistic measures for fuzzy events, testing of fuzzy hypotheses as well as non-truth functional fuzzy logics.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

IN - Informatika

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>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Výsledky v oblasti matematické fuzzy logiky (výrokové a hlavně predikátové) se týkají její hlavně sémantiky (mj. tzv. dosvědčené sémantiky) a její aritmetické složitosti. V obecné posibilistické teorii s hodnotami ve svazu byl studován pojem entropie.

Zahájení řešení

1. 1. 2005

Ukončení řešení

31. 12. 2009

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

28. 4. 2009

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

CEP10-AV0-IA-U/01:1

Datum dodání záznamu

8. 6. 2010

Celkové uznané náklady

2 812 tis. Kč

Výše podpory ze státního rozpočtu

2 812 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč