human
Veuillez expliquer ce qu'est le "raisonnement par défaut"
gpt
La logique par défaut est une logique non monotone proposée par Raymond Reiter pour formaliser le raisonnement avec des hypothèses par défaut.
La logique par défaut peut exprimer des faits comme « par défaut, quelque chose est vrai » ; en revanche, la logique standard ne peut 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 généralement ». Cette règle peut être exprimée en logique standard soit par "tous les oiseaux volent", ce qui est incompatible avec le fait que les pingouins ne volent pas, soit par "tous les oiseaux qui ne sont pas des pingouins et non des autruches et ... volent", ce qui exige que tous exceptions à la règle à préciser. La logique par défaut vise à formaliser des règles d'inférence comme celle-ci sans mentionner explicitement toutes leurs exceptions.