| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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. (en)
- Při striktním rozlišování neurčitosti (%22fuzziness%22, 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.
|
| Title
| - Mathematical foundations of inference under vagueness and uncertainty (en)
- Matematické základy inference s vágností a nejistotou
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| 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...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...jektu+dodavatelem
| - 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. (cs)
|
| http://linked.open...tniCyklusProjektu
| |
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)