Possibilistic logic over fuzzy events

RICARDO O. RODRIGUEZ; MANUELA BUSANICHE; PENÉLOPE CORDERO

Toulouse

Workshop; ManyVal2017; 2017

CNRS-IRIT, Toulouse, Francia.

{em Possibilistic logic} cite{DuPr2} is a well-known uncertainty logic to reasoning with graded beliefs on classical propositions by means of necessity and possiblity measures.These measures are defined in terms of possibility distributions. A (normalized) possibility distribution is a mapping $pi: Omega mapsto [0, 1]$, with $sup_{w in Omega} pi(w) = 1$, on the set $Omega$ of classical interpretations of a given propositional language that ranks interpretations according to its plausibility level: $pi(w) = 0$ means that $w$ is rejected, $pi(w) = 1$ means that $w$ is fully plausible, while $pi(w) < pi(w´)$ means that $w´$ is more plausible than $w$.