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. En effet, 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 les 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 sont donnés en fin de livre.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
A gagner : des exemplaires de cette BD jeunesse sur fond de légendes celtiques !
L'autrice coréenne nous raconte l'histoire de son pays à travers l’opposition et l’attirance de deux jeunes adolescents que tout oppose
Mêlant la folie à l’amour, l’auteur nous offre le portrait saisissant d’une « femme étrange » bousculant les normes binaires de l’identité sexuelle
Dans ce recueil de 13 nouvelles, la jeune autrice mexicaine frappe fort mais juste
