On modal probability and belief

Andreas Herzig (1, 2) , Dominique Longin (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

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.

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Andreas Herzig, Dominique Longin. On modal probability and belief. European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.62-73, ⟨10.1007/b11792⟩. ⟨hal-03534094⟩