Abstract
We investigate a simple modal logic of probability with a unary modal operator expressing that a proposition is more probable than its negation. Such an operator is not closed under conjunction, and its modal logic is therefore non-normal. Within this framework we study the relation of probability with other modal concepts: belief and action.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. Journal of the ACM 41, 340–367 (1994)
Hamblin, C.: The modal ‘probably’. Mind 68, 234–240 (1959)
Burgess, J.P.: Probability logic. J. of Symbolic Logic 34, 264–274 (1969)
Walley, P., Fine, T.L.: Varieties of modal (classificatory) and comparative probability. Synthese 41, 321–374 (1979)
Halpern, J., Rabin, M.: A logic to reason about likelihood. Artificial Intelligence J. 32, 379–405 (1987)
Halpern, J., McAllester, D.: Likelihood, probability, and knowledge. Computational Intelligence 5, 151–160 (1989)
Fattorosi-Barnaba, M., de Caro, F.: Graded modalities I. Studia Logica 44, 197–221 (1985)
van der Hoek, W.: On the semantics of graded modalities. J. of Applied Nonclassical Logics (JANCL) 2 (1992)
Hajek, P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998)
Godo, L., Hajek, P., Esteva, F.: A fuzzy modal logic for belief functions. In: Proc. 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 723–732 (2001)
Fariñas del Cerro, L., Herzig, A.: A modal analysis of possibility theory. In: Kruse, R., Siegel, P. (eds.) ECSQAU 1991 and ECSQARU 1991. LNCS, vol. 548, pp. 58–62. Springer, Heidelberg (1991)
Fariñas del Cerro, L., Herzig, A.: A modal analysis of possibility theory (invited paper). In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS (LNAI), vol. 535, pp. 11–18. Springer, Heidelberg (1991)
Lewis, D.: Counterfactuals. Basil Blackwell, Oxford (1973)
Chellas, B.: Modal logic: An introduction. Cambridge University Press, Cambridge (1980)
Hintikka, J.K.K.: Knowledge and belief. Cornell University Press, Ithaca (1962)
Harel, D.: Dynamic logic. In: Gabbay, D.M., Günthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 497–604. D. Reidel, Dordrecht (1984)
Herzig, A., Lang, J., Longin, D., Polacsek, T.: A logic for planning under partial observability. In: Proc. Nat. (US) Conf. on Artificial Intelligence (AAAI 2000), Austin, Texas (2000)
Herzig, A., Longin, D.: Sensing and revision in a modal logic of belief and action. In: van Harmelen, F. (ed.) Proc. ECAI 2002, pp. 307–311. IOS Press, Amsterdam (2002)
Shapiro, S., Pagnucco, M., Lespérance, Y., Levesque, H.J.: Iterated belief change in the situation calculus. In: Proc. KR 2000, pp. 527–538 (2000)
Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)
Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press, San Diego (1991)
Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. J. of Logic Programming (1997) special issue on reasoning about action and change (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herzig, A., Longin, D. (2003). On Modal Probability and Belief. In: Nielsen, T.D., Zhang, N.L. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2003. Lecture Notes in Computer Science(), vol 2711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45062-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-45062-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40494-1
Online ISBN: 978-3-540-45062-7
eBook Packages: Springer Book Archive