Mathematical foundations of inference under vagueness and uncertainty

Provider
Academy of Sciences of the Czech Republic
Programme
Grants of distinctly investigative character focused on the sphere of research pursued at present particularly in the Academy of Sciences of the Czech Republic
Call for proposals
—
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
—
Contract ID
—

Project name in Czech
Matematické základy inference s vágností a nejistotou
Annotation in Czech
Při striktním rozlišování neurčitosti ("fuzziness", vágnosti, stupně pravdivosti) a nejistoty jsou rozvíjeny a studovány logické systémy formalizující obojí. Hlavní formální prostředky poskytují vícehodnotové logiky a (zobecněné) modální logiky, chápanéjako systémy matematické logiky a užívající formálních metod matematické logiky. Studovány budou různé druhy vícehodnotových výrokových logik a predikátových logik se zobecněnými kvantifikátory; k uvažovaným teoriím nejistoty patří teorie oravděpodobnosti, možnosti (possibility theory) a teorie funkcí věření. Hlavním cílem je jednotná exaktní matematická teorie. Lze předpokládat aplikace pro inferenci v expertních systémech a pro automatizovanou analýzu dat.

R&D category
—
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics

Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
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.

Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/1999/AV0/AV09IA/V/3:3
Data delivery date
—

Similar projects(10)