RÉSUMÉ
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.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l'article
INTRODUCTION
Cet article est le dernier d’une série de trois sur la logique, dont le premier portait sur la « logique et la métalogique »
[AF 88]
et le deuxième sur « la logique des propositions et la logique des prédicats »
[AF 89]
. Il traite des logiques non classiques, qui sont basées sur des systèmes logiques qui diffèrent des systèmes logiques standards tels que ceux de la logique des propositions et de la logique des prédicats. Ces différences sont des extensions, des restrictions, des écarts ou des variations des logiques classiques. Il existe une grande diversité de logiques adressant une large variété d’applications pratiques.
Les lectures des articles
[AF 88]
et
[AF 89]
ne sont pas un préliminaire requis, même si elles permettraient de mieux comprendre cet article, mais le lecteur pourra s’y reporter si besoin.
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
MOTS-CLÉS
logiques floues
| logiques intuitionnistes
| logiques modales
| logiques polyvalentes
Lecture en cours
Logiques non classiques