Matematické základy inference s vágností a nejistotou

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ěž
—
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
—
Číslo smlouvy
—

Název projektu anglicky
Mathematical foundations of inference under vagueness and uncertainty
Anotace anglicky
Distinguishing sharply between fuzziness (vagueness, degree of thurt) and uncertainty as degrees of belief, logical systems are being developed and investigated that formalize both. The main formal means are many-valued logics and (generalized) modal logics, understood as systems of mathematicla logic ang reflected to formal methods of mathematical logic. The study includes various kinds of many-vylued propositional and predicate logic, the latter with generalized quantifiers; the theories of uncertainty involved include probability, possibility theory, and theory of belief functions. A unified exact mathematical theory is the main goal. Applications to inference in expert systems and to automated data analysis are expected.

Kategorie VaV
—
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
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

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Byla vytvořena jednotná matematická výroková a predikátová fuzzy logika a byl analyzován její vztah k logikám nejistoty. Výsledky jsou aplikovány na metody analýzy dat.

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/1999/AV0/AV09IA/V/3:3
Datum dodání záznamu
—

Podobné projekty(10)