Les Logiques Non Monotones En logique classique, la formalisation du raisonnement est strictement correct. Le raisonnement sur des informations incertaines,
