Un livre de logique

L'auteur Maurice Bernadet m'annonce la parution d'un nouveau livre consacré aux logiques non classiques et paru aux éditions Hermann.
Il fait suite à un premier ouvrage paru en septembre sur les logiques classiques.



L'URL associée chez l'éditeur est :
http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=&ref=Math%E9matiques+Introduction+pratique+aux+logiques+non+classiques&prodid=970

En voici une présentation
Introduction pratique aux logiques non classiques Maurice Bernadet

Alors que les logiques classiques s'attachent à formaliser et valider des raisonnements rigoureux, précis, et reposant sur des connaissances certaines, les logiques non classiques s'affranchissent de ces contraintes, pour se rapprocher des véritables modes de raisonnements humains.
En effet, l'intérêt pour ces logiques s'est intensifié avec le développement de l'intelligence artificielle et des systèmes d'aide à la décision.

Nous présentons ici les principales logiques non classiques ;
nous étudions successivement les logiques multivaluées, les logiques floues, puis les logiques modales et temporelles pour terminer avec les modes de raisonnements non monotones et les mécanismes d'évaluation de l'incertitude.

Cet ouvrage se veut pratique et s'intéresse plus aux mécanismes et aux algorithmes de mise en œuvre des logiques étudiées qu'à leurs fondements théoriques ; chaque chapitre est suivi d'exercices, dont les corrigés sont donnés en fin de livre.