Mathematical foundation of inference and decision under 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
Výzkumné granty 5 (SAV02005-A)
Main participants
—
Contest type
VS - Public tender
Contract ID
IAA100300503
Alternative language
Project name in Czech
Matematické základy inference a rozhodování za nejistoty
Annotation in Czech
Projekt bude přirozeným pokračováním grantového projektu věnovaného matematickým základům fuzzy logiky a logik domnění a druhého grantového projektu věnovaného modelům a nástrojům pro práci s nejistotou typu náhodnosti alternativním k teorii pravděpodobnosti (possibilistické míry, míry s nenumerickými hodnotami). Výzkum bude přirozeně pokračovat v obou směrech. Nový rys spočívá v systematickém důrazu na jejich tvůrčí kombinaci a společné zobecnění. V matematické fuzzy výrokové a predikátové logice buderozvíjena formální teorie syntaxe a sémantiky nových logických kalkulů založených na základní fuzzy logice BL. V teorii modelů náhodnosti budou vyvinuty nové míry a budou konfrontovány s měrami dosud známými. Kombinace obou přístupů se bude týkat fuzzy logik domnění, possibilistických měr náhodných jevů, testování fuzzy hypotéz a obecných fuzzy logik (neextensionálních, tj. nepracujících s pravdivostními funkcemi logických spojek).
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
IN - Informatics
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>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
Results on mathematical fuzzy logic (propositional and predicate) concern mainly is semantics (including the new witnessed semantics) and its arithmetical complexity. In general lattice-valued possibility theory the notion of entropy has been analyzed.
Solution timeline
Realization period - beginning
Jan 1, 2005
Realization period - end
Dec 31, 2009
Project status
U - Finished project
Latest support payment
Apr 28, 2009
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
CEP10-AV0-IA-U/01:1
Data delivery date
Jun 8, 2010
Finance
Total approved costs
2,812 thou. CZK
Public financial support
2,812 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK