| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - "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." (cs)
- 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)
|
| Title
| - Mathematical foundations of inference under vagueness and uncertainty (en)
- Matematické základy inference s vágností a nejistotou (cs)
|
| http://linked.open...avai/druh-souteze
| |
| http://linked.open...domain/vavai/faze
| |
| http://linked.open...vavai/hlavni-obor
| |
| http://linked.open...vavai/id-aktivity
| |
| http://linked.open.../vavai/id-souteze
| |
| http://linked.open...n/vavai/kategorie
| |
| http://linked.open...nujicich-prijemcu
| |
| http://linked.open...avai/poskytovatel
| |
| http://linked.open...ai/statni-podpora
| |
| http://linked.open...vavai/typProjektu
| |
| http://linked.open...ai/uznane-naklady
| |
| http://linked.open...ai/pocet-prijemcu
| |
| http://linked.open...cet-spoluprijemcu
| |
| http://linked.open...ai/pocet-vysledku
| |
| http://linked.open...ku-zverejnovanych
| |
| is http://linked.open...ain/vavai/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)