Mathematical foundations of inference under vagueness and uncertainty
Project goals
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.
Keywords
Public support
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
—
Alternative language
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.
Scientific branches
Completed project evaluation
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.
Solution timeline
Realization period - beginning
Jan 1, 1996
Realization period - end
Jan 1, 1998
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
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
—
Finance
Total approved costs
2,909 thou. CZK
Public financial support
859 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
2 909 CZK thou.
Public support
859 CZK thou.
29%
Provider
Academy of Sciences of the Czech Republic
CEP
BA - General mathematics
Solution period
01. 01. 1996 - 01. 01. 1998