Introduction pratique aux logiques non classiques

Par : Maurice Bernadet

Formats :

Offrir maintenant
Ou planifier dans votre panier
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF protégé est :
  • Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
  • Compatible avec une lecture sur liseuses Vivlio
  • Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
  • Non compatible avec un achat hors France métropolitaine
Logo Vivlio, qui est-ce ?

Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement

Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
Google PlayApp Store
  • Nombre de pages216
  • FormatPDF
  • ISBN978-2-7056-7674-2
  • EAN9782705676742
  • Date de parution22/02/2011
  • Protection num.Adobe DRM
  • Taille1 Mo
  • Infos supplémentairespdf
  • ÉditeurHermann

Résumé

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.
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.