Introduction pratiqué aux logiques non classiques

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 raisonnement humain. C'est pour cela que
l'intérêt pour ces logiques s'est particulièrement intensifié, avec les
développements 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 l'étude des
raisonnements non monotones et des méthodes d'évaluation de l'incertitude. Cet
ouvrage se veut pratique et s'intéresse plus aux mécanismes et aux algorithmes
de mise en oeuvre des logiques étudiées qu'à leurs fondements théoriques ;
chaque chapitre est suivi d'exercices, dont les corrigés détaillés sont donnés
en fin de livre.

Maurice Bernadet, ingénieur Sup'Elec, enseigne l'informatique à l'École
Polytechnique de l'Université de Nantes. Ses thèmes de recherche concernent
les systèmes multi-agents et la découverte de connaissances (floues, en
particulier) à partir de bases de données.