A fuzzy modal logic for belief functions

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 723-729

  Godo, Lluís ^a   Hájek, Petr ^b   Esteva, Francesc ^a  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF FUNCTION; BOOLEAN FORMULAE; COMPLETE AXIOMATIZATIONS; DEMPSTER-SHAFER; FUZZY LOGIC APPROACH; FUZZY MODAL LOGIC; LOGICAL APPROACHES; MODAL LOGIC S5;

ARTIFICIAL INTELLIGENCE; BOOLEAN ALGEBRA; FUZZY LOGIC;

UNCERTAINTY ANALYSIS;

EID: 84880856138     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

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 Artifical Intelligence VIII, Morgan-KaufmannPubl. 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. Esteva F., Godo L. and Montagna F. The ŁΠ and ŁΠ1/2 logics: two complete fuzzy logics joining Łukasiewicz and product logic. Archive for Mathematical Logic 40, 39-67, 2000.
6. Fagin R., Halpern J.Y. Uncertainty, Belief and Probability. Computational Intelligence 7, 160-173, 1991.
7. Fagin R., Halpern J.Y., and Megiddo N. A Logic for Reasoning about Probabilities Information and Computation 87, 78-128, 1990.
8. Godo L., Esteva F., Hájek P. Reasoning about probabilities using fuzzy logic. Neural Network World 10 (2000) 811-824. (Pubitemid 32159241)
9. Godo L., Hájek P. and Esteva F. A fuzzy modal logic for belief functionsm (extended version). IIIA Research Report 2001-05, 2001. Available at http://www.iiia.csic.es/Publications/Reports/2001/.
10. Hájek P. Metamathematics of fuzzy logic, Kluwer 1998.
11. Hájek P. Getting Belief Functions from Kripke Models. Int. J. General Systems, 23, No. 3 (1995), 00-00.
12. Hájek P., Godo L. and Esteva F. Fuzzy Logic and Probability. In Proc. of UAI'95, pp. 237-244, 1995.
13. 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.
14. 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.
15. Harmanec, D., Hájek, P. A qualitative belief logic. Int. Journ. Uncertainty, fuzziness and Knowledge-based Systems 2 (1994), 227-236.
16. Harmanec D., Klir G.J. and Resconi G. On modal logic interpretation of Demspter-Shafer theory of evidence. Int. J. of Intelligent Systems 9, 941-951.
17. Keisler J. Probability quantifiers. In (J. Barwise and S. Feferman, ed.) Model-theoretic logics Springer-Verlag New York 1985, 539-556
18. Nilsson N.J. Probabilistic Logic. Artificial Intelligence 28, 71-87, 1982.
19. Shafer G. A mathematical theory of evidence. Princeton Univ. Press 1975.
20. Saffiotti, A. A Belief Function Logic. Proc. of the 10th AAAI Conf. San Jose, CA, pp. 642-647, 1992
21. 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.