Abstract
The set of possible worlds of any model of modal logic can be endowed with evidence measures, by considering the accessibility relation as a multivalued mapping. The measures induced by the model itself can then be expressed in terms of these measures. Thus, once the set of possible worlds and the accessibility relation of a model of modal logic are fixed, different value assignment functions will induce different measures on the set of atomic propositions. The latter can be obtained easily from the measures on the set of possible worlds.
Post-Doctoral Fellow of the Fund for Scientific Research — Flanders (Belgium).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkhäuser, Boston-Basel-Berlin (1990)
Berge, C.: Topological Spaces, Including a Treatment of Multivalued Functions, Vector Spaces and Convexity. Oliver & Boyd, London (1963)
Chellas, B.: Modal Logic, an Introduction. Cambridge University Press, Cambridge (1980)
Dempster, A.: Upper and lower probabilities induced by a multivalued mapping. Ann. of Math. Statist. 38 (1967) 325–339
Harmanec, D., Klir, G., Resconi, G.: On modal logic interpretation of Dempster-Shafer theory of evidence. Internat. J. Intell. Syst. 9 (1994) 941–951
Harmanec, D., Klir, G., Wang, Z.: Modal logic interpretation of Dempster-Shafer theory: an infinite case. Internat. J. Approx. Reason. 14 (1996) 81–93
Klir, G., Harmanec, D.: On modal logic interpretation of possibility theory. Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 2 (1994) 237–245
Klir, G., Wang, Z., Harmanec, D.: Constructing fuzzy measures in expert systems. Fuzzy Sets and Systems 92 (1997) 251–264
Resconi, G., Klir, G., St. Clair, U.: Hierarchical uncertainty metatheory based upon modal logic. Internat. J. Gen. Systems 21 (1992) 23–50
Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)
Tsiporkova, E., Boeva, V., De Baets, B.: A modal logic interpretation of possibility theory in terms of multivalued mappings. In: Proc Seventh International Fuzzy Systems Association World Congress (Prague, Czech Republic). Academia, Prague (1997) 466–471
Tsiporkova, E., De Baets, B., Boeva, V.: Possibilistic conditioning in modal logic. In: Zimmermann, H.-J. (ed): Proc Fifth European Congress on Intelligent Techniques and Soft Computing (Aachen, Germany), Vol. 1. ELITE, Aachen (1997) 86–90
Tsiporkova, E., Boeva, V., De Baets, B.: Dempster-Shafer theory framed in modal logic. (submitted)
Tsiporkova, E., De Baets, B., Boeva, V.: Dempster's rule of conditioning translated into modal logic. Fuzzy Sets and Systems (to appear)
Zadeh, L.: Fuzzy sets as basis for a theory of possibility. Fuzzy Sets and Systems 1 (1978) 3–28
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boeva, V., Tsiporkova, E., De Baets, B. (1998). Modelling uncertainty with kripke's semantics. In: Giunchiglia, F. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 1998. Lecture Notes in Computer Science, vol 1480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057440
Download citation
DOI: https://doi.org/10.1007/BFb0057440
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64993-9
Online ISBN: 978-3-540-49793-6
eBook Packages: Springer Book Archive