human
Veuillez expliquer ce qu'est la "logique non monotone"
gpt
Une logique non monotone est une logique formelle dont la relation de conclusion n'est pas monotone. En d'autres termes, les logiques non monotones sont conçues pour capturer et représenter des inférences annulables (cf. raisonnement annulable), c'est-à-dire une sorte d'inférence dans laquelle les raisonneurs tirent des conclusions provisoires, permettant aux raisonneurs de retirer leur(s) conclusion(s) sur la base de preuves supplémentaires.
La plupart des logiques formelles étudiées ont une relation d'implication monotone, ce qui signifie que l'ajout d'une formule à une théorie ne produit jamais un élagage de son ensemble de conclusions. Intuitivement, la monotonie indique que l'apprentissage d'une nouvelle connaissance ne peut pas réduire l'ensemble de ce qui est connu. Une logique monotone ne peut pas gérer diverses tâches de raisonnement telles que le raisonnement par défaut (les conclusions ne peuvent être tirées qu'en l'absence de preuve du contraire), le raisonnement abductif (les conclusions ne sont déduites que comme les explications les plus probables), certaines approches importantes du raisonnement sur la connaissance ( l'ignorance d'une conclusion doit être rétractée lorsque la conclusion devient connue), et de même, la révision des croyances (de nouvelles connaissances peuvent contredire d'anciennes croyances).