0103281 - UIVT-O 20040022 RIV NL eng J - Journal Article
Godo, L. - Hájek, Petr - Esteva, F.
A Fuzzy Modal Logic for Belief Functions.
[Fuzzy modální logika domněnkových funkcí.]
Fundamenta Informaticae. Roč. 57, 2-4 (2003), s. 127-146. ISSN 0169-2968. E-ISSN 1875-8681
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic * Dempster-Shafer belief functions * probability logic * completness
Subject RIV: BA - General Mathematics
Impact factor: 0.691, year: 2003

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.

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.
Permanent Link: http://hdl.handle.net/11104/0010593