Abstract FR:

Dans ses développements récents l'intelligence artificielle tente de formaliser deux types de raisonnement contextuel: la notion de conséquence plausible normalement a si b et la notion de conséquence d'un conditionnel contrefactuel s'il était le cas que a alors b. L'étude de ces deux formes d'inférence a conduit aux développements de deux types de systèmes formels: les systèmes d'inférence non monotones et les logiques des contrefactuels. Nous démontrons leur équivalence: 1) en donnant une caractérisation des logiques des contrefactuels en termes de déduction faisant référence à un contexte implicite. Cette caractérisation englobe tous les systèmes connus dans la littérature, et peut être appliquée aussi à l'interprétation de la relation d'inférence non monotone; 2) en définissant un calcul de séquents pour les logiques des contrefactuels qui caractérise ces logiques en tant que calcul de contextes implicites; 3) en donnant une traduction symbolique des systèmes d'inférence non monotones. Cette traduction permet de démontrer l'équivalence déductive entre ces deux systèmes.