Mathematical foundations of inference under vagueness and uncertainty
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
SAV0-AB2000
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Matematické základy inference s vágností a nejistotou
Annotation in Czech
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.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
BD - Information theory
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<br>10102 - Applied mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Mathematical (propositional and predicate) fuzzy logic has been deeply developed - basic fuzzy logic BL based on continuous t-norms, stronger and weaker (more general) logics. New results on completeness, compactness and complexity have been obtained.
Solution timeline
Realization period - beginning
Jan 1, 2000
Realization period - end
Jan 1, 2004
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/2005/AV0/AV05IA/U/N/5:3
Data delivery date
Sep 26, 2007
Finance
Total approved costs
3,351 thou. CZK
Public financial support
1,245 thou. CZK
Other public sources
2,106 thou. CZK
Non public and foreign sources
0 thou. CZK