Logique non monotone

type de logiquela logique, qui apparaît dans la Grèce Antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La lo- gique moderne, qui se développe à partir du XIXe siècle, a conduit à la formalisation d’un véritable calcul déductif à partir de formules logiques formées... More* conçue pour raisonner avec des règles ayant des exceptions implicites qui peuvent intervenir dans d’autres règles, comme dans l’exemple « les oiseaux volent », « les autruches sont des oiseaux », « les autruches ne volent pas ». L’arrivée d’une nouvelle information (ici que « Zoé est une autruche ») peut invalider une conclusion déjà obtenue (ici que « Zoé vole » quand on savait seulement que « Zoé est un oiseau »), d’où le caractère non monotone du processus de déduction, à la différence de la logiquela logique, qui apparaît dans la Grèce Antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La lo- gique moderne, qui se développe à partir du XIXe siècle, a conduit à la formalisation d’un véritable calcul déductif à partir de formules logiques formées... More classique.