| | |
|---|
| Údaje o výsledku |
| Identifikační kód | RIV/67985807:_____/03:00103281 |
| Název v původním jazyce | A Fuzzy Modal Logic for Belief Functions |
| Název česky | Fuzzy modální logika domněnkových funkcí |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor | BA - Obecná matematika |
| Rok uplatnění | 2003 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 1 |
| Tvůrci výsledku |
| Počet tvůrců celkem | 3 |
| Počet domácích tvůrců | 1 |
| Tvůrce | Godo L. (státní příslušnost: ES - Španělské království) |
| Tvůrce | Hájek Petr (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku) |
| Tvůrce | Esteva F. (státní příslušnost: ES - Španělské království) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | A new logical approach to reason explicitly about Dempster.Shafer belief functions is introduced. The belief of a formula fi is taken to be the truth degree of the fuzzy proposition B fi saying "fi is believed". A complete axiomatization is presented. |
| Popis česky | Je zaveden nový logický přístup k explicitnímu usuzování o Dempster=Shaferových domněnkových funkcích. Domnění o formuli fi je ztotožněné s pravdivostní hodnotou formule B fi říkající "domnívám se, že fi". Je podána úplná axiomatizace. |
| Klíčová slova | fuzzy logic; Dempster-Shafer belief functions; probability logic; completness |
| Název periodka | Fundamenta Informaticae |
| Rozsah stran | 127;146 |
| ISSN | 0169-2968 |
| Svazek periodika | 57 |
| Číslo periodika v rámci uvedeného svazku | - |
| Stát vydavatele periodika | PL - Polská republika |
| Počet stran výsledku | 20 |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Ústav informatiky AV ČR, v. v. i. |
| Dodavatel | AV0 - Akademie věd České republiky (AV ČR) |
| Rok sběru | 2005 |
| Systémové označení dodávky dat | RIV/2005/AV0/A06005/N/5:3 |
| Datum dodání | 20.8.2009 |
| Specifikace | RIV/67985807:_____/03:00103281!RIV/2005/AV0/A06005/N |
| Kontrolní kód | [B7AAC1401371] |
| Jiný výskyt tohoto výsledku se v RIV nenachází | |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Výzkumný záměr | AV0Z1030915 - Nové informatické technologie - teoretické základy, metodologie, prostředky a aplikace (1999-2004, AV0) |