« Logique par défaut » : différence entre les versions

Dernière version du 28 janvier 2024 à 11: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

Source : 24pm academie

@@ Ligne 1 : / Ligne 1 : @@
-==en construction==
-[[Catégorie:Vocabulaire]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:24pm]]
 ==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.
+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.
-Un exemple classique est: «les oiseaux volent typiquement». Cette règle peut être exprimée en langage standard soit par «tous les oiseaux volent», ce qui est incompatible avec le fait que les manchots ne volent pas, ou par «tous les oiseaux qui ne sont ni des manchots ni des autruches et… ne volent», qui exige que toutes les exceptions à la règle soient spécifiées. La logique par défaut vise à formaliser des règles d'inférence telles que celle-ci sans mentionner explicitement toutes leurs exceptions.
 ==Français==
-'''Logique par défaut'''    <small> loc. nominale. masc. </small>
+'''Logique par défaut'''
 ==Anglais==
-'''XXXXXXX'''
+'''Default logic'''
-<small>
+==Sources==
 [https://www.24pm.com/117-definitions/333-logique-par-defaut     Source : 24pm academie]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]