Une classe de processus inférentiels où l'ajout de prémisses nouvelles peut invalider des conclusions précédemment tirées ; l'inférence est réfragable plutôt que strictement monotone.

Principe

L'inférence est guidée par des règles réfragables et des préférences de façon que des conclusions puissent être retirées quand des informations supplémentaires contredisent des hypothèses antérieures ; le changement minimal et la spécificité déterminent souvent quelles conclusions subsistent.

Démonstration

Un système suppose par défaut « les oiseaux volent » et conclut qu'un oiseau particulier o peut voler ; après l'information que o est un manchot (exception au défaut), le système retire la conclusion que o vole.

Mauvaise application

Considérer le raisonnement non monotone comme une simple quantification de l'incertitude et l'utiliser pour justifier des contradictions persistantes, ou appliquer des retraits de conclusions sans respecter les priorités et le contexte, entraînant des conclusions instables ou oscillantes.

Conséquence

Permet une inférence flexible et sensible au contexte adaptée au raisonnement de sens commun et à de nombreuses applications d'IA, en autorisant des conclusions provisoires rétractables devant de nouvelles preuves.

Inversion

Raisonnement monotone : les conclusions s'accumulent de manière monotone et ne sont jamais invalidées par l'ajout de prémisses supplémentaires ; une conclusion admise le reste.

Limite

S'applique aux logiques et systèmes qui autorisent l'entaillement réfragable (logique par défaut, logiques réfragables, circonscription, etc.) ; n'inclut pas les systèmes déductifs purement monotones, bien qu'il puisse interagir avec des mécanismes de mise à jour probabiliste.

Tension sémantique

Tension avec le raisonnement probabiliste ou bayésien : tous deux gèrent la connaissance incertaine mais diffèrent par le mécanisme (règles logiques réfragables vs degrés de croyance) ; tension aussi avec la révision des croyances qui porte sur le changement d'un ensemble de croyances plutôt que sur des inférences locales réfragables.

Synthèse

Le raisonnement non monotone est l'ensemble des procédures d'inférence réfragables basées sur des règles qui permettent de tirer des conclusions provisoires retirables par de nouvelles informations, organisées par des priorités, la spécificité et le principe du changement minimal pour modéliser l'inférence de sens commun.