« Logique par défaut » : différence entre les versions
m (Remplacement de texte — « <small> loc. nom. masc. </small> » par « <small> masculin </small> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (8 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 2 : | Ligne 2 : | ||
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 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 | 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== | ==Français== | ||
'''Logique par défaut''' | '''Logique par défaut''' | ||
==Anglais== | ==Anglais== | ||
| Ligne 11 : | Ligne 11 : | ||
==Sources== | |||
[https://www.24pm.com/117-definitions/333-logique-par-defaut Source : 24pm academie] | [https://www.24pm.com/117-definitions/333-logique-par-defaut Source : 24pm academie] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 10:02
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
Contributeurs: Imane Meziani, wiki, Sihem Kouache
