Non-classical Logics
Logiques non classiques
Résumé
This article, the third in a series of three, deals with nonclassical logics that are extensions, restrictions, or significant variations of classical logics. They have made it possible to formalize many non-deductive reasoning. A broad panorama (although not exhaustive) of more than two hundred and eighty logics is drawn up, each being presented in a succinct manner. They have largely developed in the second half of the 20th century, mainly in computer science and especially in artificial intelligence.
Cet article, le dernier d’une série de trois, traite des logiques non classiques qui sont des extensions, des restrictions ou des variations significatives des logiques classiques. Elles ont permis de formaliser de nombreux raisonnements non déductifs. Un large panorama (bien que non exhaustif) de plus de deux cents quatre-vingts logiques non classiques est dressé, chacune étant présentée d’une manière succincte. Elles se sont largement développées dans la deuxième partie du XXe siècle, principalement en informatique et surtout en intelligence artificielle.