Le mécanisme consistant à tirer des conclusions réfutables à partir d'informations typiques ou présomptives en l'absence d'éléments contraires ; les conclusions valent par défaut jusqu'à preuve du contraire.

Principe

Les règles par défaut expriment la normalité avec une condition d'applicabilité et une conséquence ; la résolution des conflits se fait par spécificité, classement ou contrôles de consistance de sorte que les exceptions bloquent l'application du défaut.

Démonstration

Avec la règle par défaut « En général, les oiseaux volent », un agent infère « l'oiseau o vole » quand on sait seulement « o est un oiseau » ; si on apprend ensuite que o est un manchot, le défaut est bloqué et l'inférence est retirée.

Mauvaise application

Appliquer des défauts alors que des informations explicites sur des exceptions existent, ou chaîner sans discernement des défauts incompatibles sans mécanisme de résolution de conflit, entraînant des conclusions non fondées ou hors de propos.

Conséquence

Permet des représentations de connaissances compactes et une inférence plausible avec information incomplète, rendant les systèmes raisonnables dans les situations courantes sans lister exhaustivement les exceptions.

Inversion

Inférence logique stricte sans règles par défaut : seules les conclusions qui découlent déductivement des prémisses sont acceptées ; les hypothèses de typicalité sont interdites.

Limite

Couvre les cadres formels qui codent les défauts (logique par défaut de type Réiter, systèmes de règles réfragables, défauts prioritaires) ; ne se confond pas avec la généralisation statistique ou l'attribution de probabilités, bien qu'il soit possible de les combiner.

Tension sémantique

Tension entre conclusions par défaut (catégoriques mais rétractables) et généralisations probabilistes (probabilités graduées) ; tension aussi avec des systèmes normatifs à règles explicites où les exceptions sont des obligations plutôt que des faits réfutables.

Synthèse

Le raisonnement par défaut consiste à appliquer des règles chargées de typicalité pour obtenir des conclusions plausibles en l'absence de contre‑preuves, régies par des priorités et des conditions de blocage pour gérer les exceptions.