Logique par défaut


La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

La logique par défaut est une logique non monotone proposée par Raymond Reiter pour formaliser le raisonnement avec les hypothèses par défaut.

La logique par défaut peut exprimer des faits tels que « par défaut, quelque chose est vrai » ; au contraire, la logique standard peut seulement exprimer que quelque chose est vrai ou que quelque chose est faux. C’est un problème, car le raisonnement implique souvent des faits qui sont vrais dans la majorité des cas, mais pas toujours.

Français

Logique par défaut

Anglais

Default logic


Sources

Source : 24pm academie



Contributeurs: Imane Meziani, wiki, Sihem Kouache