A Fuzzy Modal Logic for Belief Functions

0404067 - UIVT-O 20010021 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Godo, L. - Esteva, F. - Hájek, Petr
A Fuzzy Modal Logic for Belief Functions.
Proceedings of the 17th International Joint Conference on Artificial Intelligence. Seattle: Morgan Kaufmann, 2001, s. 723-729. ISBN 1-55860-777-3.
[IJCAI-01. Seattle (US), 04.08.2001-10.08.2001]
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: belief functions * fuzzy logic * axiomatization
Kód oboru RIV: BA - Obecná matematika

In this paper we introduce a new logical approach to reason explicitly about Dempster-Shafer belief functions. We use one of the possible definitions of belief, namely as probability of (modal) necessity. This enables us to define a logical system combining the modal logic S5 with an already proposed fuzzy logic approach to reason about probabilities.
Trvalý link: http://hdl.handle.net/11104/0124340