« Logique par défaut » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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 est une logique non monotone proposée par Raymond Reiter pour formaliser le raisonnement avec les hypothèses par défaut. | ||
| Ligne 13 : | Ligne 9 : | ||
==Anglais== | ==Anglais== | ||
'''Default logic''' | '''Default logic''' | ||
| Ligne 19 : | Ligne 14 : | ||
[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:Vocabulaire]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:24pm]] | |||
[[Catégorie:Scotty]] | |||
Version du 3 mai 2020 à 21:48
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 ne peut qu'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 loc. nom. masc.
Anglais
Default logic
Contributeurs: Imane Meziani, wiki, Sihem Kouache
