Logiques non classiques

Ajouter à la bibliothèque

AF91 V1 Article de référence

Logiques non classiques

Auteur(s) : Jean-Charles PINOLI

Date de publication : 10 janvier 2024 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

Présentation

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

AUTEUR(S)

  • Jean-Charles PINOLI : Professeur - École Nationale Supérieure des Mines de Saint-Étienne, Saint-Étienne, France

 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
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


MOTS-CLÉS

logiques floues   |   logiques intuitionnistes   |   logiques modales   |   logiques polyvalentes

DOI (DIGITAL OBJECT IDENTIFIER)

https://doi.org/10.51257/a-v1-af91

Lecture en cours
Logiques non classiques

Article inclus dans l'offre

"Mathématiques"

( 228 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Logique et métalogique

Le terme « logique » est dérivé du grec ancien signifiant à la fois « discours » et « raisonnem...

Logique des propositions et logique des prédicats

Cet article, le deuxième d’une série de trois, traite des logiques classiques qui donneront naissance à l...

Méthodes numériques de base - Analyse numérique

L’analyse numérique étudie les méthodes, appelées constructives, de résolution numérique des problèmes. C...

Bases fonctionnelles de l'analyse numérique

Il est souvent difficile de se faire une idée de l'intérêt des notions théoriques abordées dans le traité...

Tous les livres blancs
Toutes les actualités
Toutes les conférences en ligne

Inscrivez-vous aux newsletters !

Contactez-nous