• Aide
  • Eurêkoi Eurêkoi

Livre

Introduction pratique aux logiques non classiques : avec exercices corrigés

Résumé

Une introduction aux logiques non classiques, c'est-à-dire aux logiques proches de celles du raisonnement humain. Ainsi sont présentées les logiques floues, les logiques modales, les logiques temporelles, les raisonnements non monotones et les raisonnements en présence d'incertitudes. Avec, à la fin de chaque chapitre, des exercices et leurs corrigés en fin d'ouvrage.


  • Éditeur(s)
  • Date
    • impr. 2011
  • Notes
    • Bibliogr. Index
  • Langues
    • Français
  • Description matérielle
    • 1 vol. (VII-203 p.) : graph., couv. ill. en coul. ; 22 cm
  • Sujet(s)
  • ISBN
    • 978-2-7056-8062-6
  • Indice
    • 510.1 Fondements des mathématiques, axiomatique, logique mathématique
  • Quatrième de couverture
    • Introduction Pratique 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.


  • Origine de la notice:
    • FR-751131015 ;
    • Electre
  • Disponible - 510.1 BER

    Niveau 2 - Sciences