Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - The project is planned to be a natural common continuation of a grant project dedicated to mathematical foundations of fuzzy logics and of logics of belief and of a grant project dedicated to alternative (non-probabilistic) models and tools for managing uncertainty understood as randomness (possibilistic measures, measures with non-numerical values). The research will naturally continue in both directions, but a new twist is in systematic attention paid to the creative combination and common generalization of both. In mathematical fuzzy propositional and predicate logic, formal theory of syntax and semantics of new calculi based on the basic fuzzy logic BL will be developed; in the theory of models of randomness, various new measures will be presented and confronted with those already known. The combination of both approaches will concern fuzzy logics of beliefs, possibilistic measures for fuzzy events, testing of fuzzy hypotheses as well as non-truth functional fuzzy logics. (en)
- 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 bude rozví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).
|
Title
| - Mathematical foundation of inference and decision under uncertainty (en)
- Matematické základy inference a rozhodování za nejistoty
|
skos:notation
| |
http://linked.open...avai/cep/aktivita
| |
http://linked.open...kovaStatniPodpora
| |
http://linked.open...ep/celkoveNaklady
| |
http://linked.open...datumDodatniDoRIV
| |
http://linked.open...i/cep/druhSouteze
| |
http://linked.open...ep/duvernostUdaju
| |
http://linked.open.../cep/fazeProjektu
| |
http://linked.open...ai/cep/hlavniObor
| |
http://linked.open...hodnoceniProjektu
| |
http://linked.open...vai/cep/kategorie
| |
http://linked.open.../cep/klicovaSlova
| - mathematical fuzzy logic; reasoning under uncertainty; possibility theory; BL-algebras; continuous t-norms; propositional calculi; predicat calculi (en)
|
http://linked.open...ep/partnetrHlavni
| |
http://linked.open...inujicichPrijemcu
| |
http://linked.open...cep/pocetPrijemcu
| |
http://linked.open...ocetSpoluPrijemcu
| |
http://linked.open.../pocetVysledkuRIV
| |
http://linked.open...enychVysledkuVRIV
| |
http://linked.open...lneniVMinulemRoce
| |
http://linked.open.../prideleniPodpory
| |
http://linked.open...iciPoslednihoRoku
| |
http://linked.open...atUdajeProjZameru
| |
http://linked.open.../vavai/cep/soutez
| |
http://linked.open...usZobrazovaneFaze
| |
http://linked.open...ai/cep/typPojektu
| |
http://linked.open...ep/ukonceniReseni
| |
http://linked.open.../cep/vedlejsiObor
| |
http://linked.open...ep/zahajeniReseni
| |
http://linked.open...jektu+dodavatelem
| - Výsledky v oblasti matematické fuzzy logiky (výrokové a hlavně predikátové) se týkají její hlavně sémantiky (mj. tzv. dosvědčené sémantiky) a její aritmetické složitosti. V obecné posibilistické teorii s hodnotami ve svazu byl studován pojem entropie. (cs)
- 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. (en)
|
http://linked.open...tniCyklusProjektu
| |
http://linked.open.../cep/klicoveSlovo
| - mathematical fuzzy logic
- BL-algebras
- continuous t-norms
- possibility theory
- propositional calculi
- reasoning under uncertainty
|
is http://linked.open...vavai/riv/projekt
of | |
is http://linked.open...vavai/cep/projekt
of | |