A Fuzzy Modal Logic for Belief Functions

• Autorzy: Godo L. , Hájek P. , Esteva F.
• Języki publikacji: EN

Abstrakty

EN

In this paper we introduce a new logical approach to reason explicitly about Dempster-Shafer belief functions. We adopt the following view: one just starts with Boolean formulas j and a belief function on them; the belief of j is taken to be the truth degree of the (fuzzy) proposition Bj standing for ``j is believed''. For our complete axiomatization (Hylbert-style) 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. In particular, our fuzzy logic is the logic P[ 1/2] which puts Lukasiewicz and Product fuzzy logics together.

Słowa kluczowe

EN

fuzzy logic; Dempster-Shafer belief functions; probability logic; completeness

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 57, nr 2-4
• Strony: 127--146
• Opis fizyczny: Bbliogr. 25 poz.

Twórcy

autor

Godo L.

• Institut d’Investigació en Intel.ligencia Artificial Spanish Research Council, CSIC, 08193 Bellaterra, Catalunya, Spain

autor

Hájek P.

• Institute of Computer Science, Academy of Sciences of the Czech Republic, AV ˇCR, 182 07 Prague, Czech Republic

autor

Esteva F.

• Institut d’Investigació en Intel.ligencia Artificial Spanish Research Council, CSIC, 08193 Bellaterra, Catalunya, Spain

Bibliografia

• [1] Bacchus F. Representing and reasoning with probabilistic knowledge. MIT-Press, Cambridge Massachusetts, 1990.
• [2] Bendová K., Hájek P. Possibilistic logic as tense logic. In: (Piera et al., ed.) Proc. of QUARDET’93, Barcelona, 1993.
• [3] Boutillier C. Modal logics for qualitative possilibity and beliefs, in: (Dubois et al., ed.) Uncertainty in Artificial Intelligence VIII, Morgan-Kaufmann Publ. 1992, 17-24.
• [4] Dubois D., Lang, J., Prade H. Possibilistic logic. In: (Gabbay et al., ed.) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, 439-514. Oxford UP, 1994.
• [5] Chellas B.F. Modal logic: an introduction. Cambridge University Press, 1980.
• [6] Cintula P. The ŁΠ _and ŁΠ1/2 propositional and predicate logics. Fuzzy sets and systems 124, 21-34, 2001.
• [7] Esteva F., Godo L., Montagna F. The ŁΠ and ŁΠ1/2 logics: two complete fuzzy logics joining Łukasiewicz and product logic. Archive for Mathematical Logic 40, 39-67, 2000.
• [8] Fagin R., Halpern J.Y. Uncertainty, Belief and Probability. Computational Intelligence 7, 160-173, 1991.
• [9] Fagin R., Halpern J.Y., and Megiddo N. A Logic for Reasoning about Probabilities Information and Computation 87, 78-128, 1990.
• [10] Godo L., Esteva F., Hájek P. Reasoning about probabilities using fuzzy logic. Neural Network World 10 (2000) 811-824.
• [11] Hájek P. Metamathematics of fuzzy logic, Kluwer 1998.
• [12] Hájek P. Getting Belief Functions from Kripke Models. Int. J. General Systems, 23, No. 3 (1995), 325-327.
• [13] Hájek P., Godo L. and Esteva F. A complete many-valued fuzzy logic with product conjunction, Archive for Mathematical Logic 35 (1996) 1-19.
• [14] Hájek P., Godo L., Esteva F. Fuzzy Logic and Probability. In Proc. of UAI’95, Morgan-Kaufmann, pp. 237-244, 1995.
• [15] Hájek P., Harmancová D., Esteva F., Garcia P., Godo L. On modal logics of qualitative possibility in fuzzy setting. In Proc. UAI’94, Morgan-Kaufmann, pp. 278-285, 1994.
• [16] Halpern J. Y. An analysis of First-Order Logics of Probability In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’89), pp. 1375-1381, 1989.
• [17] Harmanec D., Hájek P. A qualitative belief logic. Int. Journ. Uncertainty, fuzziness and Knowledge-based Systems 2 (1994), 227-236.
• [18] Harmanec D., Klir G.J. and Resconi G. On modal logic interpretation of Demspter-Shafer theory of evidence. Int. J. of Intelligent Systems 9 (1994), 941-951.
• [19] Keisler J. Probability quantifiers. In (J. Barwise and S. Feferman, ed.) Model-theoretic logics, Springer-Verlag, New York, 1985, 539-556.
• [20] Nilsson N.J. Probabilistic Logic. Artificial Intelligence 28, 71-87, 1982.
• [21] Ruspini E.H. The logical foundations of evidential reasoning. Techn. Note 408, SRI INternational, Menlo Park, CA, USA (1986).
• [22] Ruspini E.H. Epistemic logics, probability and the calculus of evidence. In Proc. Tenth International Joint Conference on Artificial Intelligence, IJCAI’87, 924-931, 1987.
• [23] Shafer G. A mathematical theory of evidence. Princeton Univ. Press 1975.
• [24] Saffiotti, A. A Belief Function Logic. Proc. of the 10th AAAI Conf., San Jose, CA, pp. 642-647, 1992
• [25] Sossai C., P. Bison P., Chemello G. and Trainito N. Merging probability and possibility for robot localization. In IJCAI-99 Workshop on Reasoning with Uncertainty in Robot Navigation, Stockholm (Sweden), August 2, 1999.