Modal logic interpretation of Dempster-Shafer theory: An infinite case

International Journal of Approximate Reasoning

Volumn 14, Issue 2-3 SPEC. ISS., 1996, Pages 81-93

  Harmanec, David ^a,b   Klir, George J ^a   Wang, Zhenyuan ^a  

^a BINGHAMTON UNIVERSITY   (United States)

^b State University of New York at Binghamton   (United States)

Author keywords

Belief measures; Dempster Shafer theory; Modal logic; Necessity measures; Plausibility measures; Possibility measures; Possibility theory

Indexed keywords

EID: 0039861906     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/0888-613x(95)00111-s     Document Type: Article

References (36)

1. Bendová, K., and Hájek, P., Possibilistic logic as a tense logic, in Qualitative Reasoning and Decision Technologies (Proceedings of QUARDET'93) (N. P. Carreté et al., Eds.), CIMNE, Barcelona, 441-450, 1993.
2. Boolos, G., The Logic of Provability, Cambridge U.P., Cambridge, 1993.
3. Boutilier, C., Modal logics for qualitative possibility and beliefs, in Uncertainty in Artificial Intelligence VIII (D. Dubois et al., Eds.), Morgan-Kaufmann, 17-24, 1992.
4. Boutilier, C., Modal logics for qualitative possibility theory, Internat. J. Approx. Reason. 10(2), 173-201, 1994.
5. Dubois, D., Lang, J., and Prade, H., Timed possibilistic logic, Fund. Inform. 15, 211-234, 1991.
6. Dubois, D., and Prade, H., Possibility Theory, Plenum, New York, 1988.
7. Dubois, D., and Prade, H., Representation and combination of uncertainty with belief functions and possibility measures, Comput. Intell. 4, 244-264, 1988.
8. Fagin, R., and Halpern, J. Y., Uncertainty, belief, and probability, in Proceedings, Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), 1161-1167, 1989.
9. Fagin, R., and Halpern, J. Y., Uncertainty, belief, and probability, Comput. Intell. 6, 160-173, 1991.
10. Fagin, R., and Halpern, J. Y., Reasoning about knowledge and probability, J. Assoc. Comput. Mach. 41(2), 340-367, 1994.
11. Fagin, R., Halpern, J. Y., and Meggido, N., A logic for reasoning about probabilities, Inform. and Comput. 87, 78-128, 1990.
12. Fariñas del Cerro, L., and Herzig, A., A modal analysis of possibility theory, in Symbolic and Qualitative Approaches to Uncertainty, Lecture Notes in Comput. Sci. 548, (R. Kruse and P. Siegel, Eds.), Springer-Verlag, 58-62, 1991.
13. Hájek., P., Getting belief functions from Kripke models, Internat. J. Gen. Systems, to appear.
14. Harmanec, D., and Hájek, P., A qualitative belief logics, Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 2(2), 227-236, 1994.
15. Harmanec, D., Klir, G. J., and Resconi, G., On modal logic interpretation of Dempster-Shafer theory of evidence, Internat. J. Intell. Systems 9(10), 941-951, 1994.
16. Hintikka, J., Knowledge and Belief, Cornell U.P., Ithaca, N.Y., 1962.
17. Hughes, G., and Cresswell, M., An Introduction to Modal Logic, Methuen, London, 1968.
18. Hughes, G., and Cresswell, M., A Companion to Modal Logic, Methuen, London, 1984.
19. Huneycutt, J. E., Jr., On an abstract Stieltjes measure, Ann. Inst. Fourier (Grenoble) 21, 143-154, 1971.
20. Klir, G. J., and Harmanec, D., On modal logic interpretation of possibility theory, Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 2(2), 237-245, 1994.
21. Pearl, J., On probability intervals, Internat. J. Approx. Reason. 2, 211-216, 1988.
22. Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, Calif., 1988.
23. Pearl, J., Reasoning with belief functions: An analysis of compatibility, Internat. J. Approx. Reason. 4(5/6), 363-389, 1990.
24. Resconi, G., Klir, G. J., and St. Clair, U., Hierarchical uncertainty metatheory based upon modal logic, Internat. J. Gen. Systems 21(1), 23-50, 1992.
25. Resconi, G., Klir, G. J., St. Clair, U., and Harmanec, D., On the integration of uncertainty theories, Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 1(1), 1-18, 1993.
26. Revuz, A., Fonctions croissantes et mesures sur les espaces topologiques ordonnés, Ann. Inst. Fourier (Grenoble) 6, 187-269, 1955.
27. Ruspini, E. H., The logical foundations of evidential reasoning, Tech. Note 408, SRI International, Menlo Park, CA, 1986.
28. Ruspini, E. H., Epistemic logics, probability, and the calculus of evidence, in IJCAI'87, Proceedings of the Tenth International Conference on Artificial Intelligence, Vol. 2, Morgan Kaufmann, 924-931, 1987.
29. Ruspini, E. H., The semantics of vague knowledge, Rev. Internat. Systémique 3(4), 387-420, 1989.
30. Ruspini, E. H., On the semantics of fuzzy logic, Internat. J. Approx. Reason. 5, 45-88, 1991.
31. Ruspini, E. H., Possibility as similarity: The semantics of fuzzy logic, in Uncertainty in Artificial Intelligence, Vol. 6 (P. P. Bonissone, M. Herion, L. N. Kanal, and J. F. Lemmer, Eds.), North-Holland, 271-280, 1991.
32. Shafer, G., A Mathematical Theory of Evidence, Princeton U.P., Princeton, 1976.
33. Shafer, G., Allocations of probability, Ann. Probabi. 7(5), 827-839, 1979.
34. Smets, P., Discussion of a paper by R. Moore, in Non-standard Logics for Automated Reasoning (P. Smets, E. H. Mamdani, D. Dubois, and H. Prade, Eds.), Academic, London, 130-132, 1988.
35. Smets, P., Probability of provability and belief functions, Logique et Anal. 133-134, 177-195, 1991.
36. Smets, P., Jeffrey's rule of conditioning generalized to belief functions, in Uncertainty in Artificial Intelligence, Vol. 9, North-Holland, New York, 1994.