Modal Logics for Qualitative Possibility and Beliefs [chapter]

Craig Boutilier
1992 Uncertainty in Artificial Intelligence  
Possibilistic logic has been proposed as a nu merical formalism for reasoning with uncertainty. There has been interest in developing qualitative accounts of possibility, as well as an explana tion of the relationship between possibility and modal logics. We present two modal logics that can be used to represent and reason with qual itative statements of possibility and necessity. Within this modal framework, we are able to iden tify interesting relationships between possibilis tic logic,
more » ... s and conditionals. In particular, the most natural conditional definable via possi bilistic means for default reasoning is identical to Pearl's conditional for c:-semantics. 2In (Boutilier 1992a) we develop this minimal logic called CT40 in the context of belief revision.
doi:10.1016/b978-1-4832-8287-9.50007-4 fatcat:6uhma3a7urhixpxh2zavbttvay