Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Contenu du livre :
Les logiques à plusieurs valeurs sont celles qui ont plus que les deux valeurs de vérité classiques, à savoir vrai et faux.
En fait, elles peuvent avoir de trois à un nombre infini de valeurs de vérité. Cette propriété, associée à la fonctionnalité de vérité, fournit un formalisme puissant pour raisonner dans des contextes où la logique classique - ainsi que d'autres logiques non classiques - n'est d'aucune utilité. En effet, motivées à l'origine par des préoccupations philosophiques, ces logiques se sont rapidement révélées pertinentes pour une pléthore d'applications allant de la théorie de la commutation à la modélisation cognitive, et elles sont aujourd'hui plus demandées que jamais, en raison de la prise de conscience que l'incohérence et l'imprécision dans les bases de connaissances et les processus d'information ne sont pas seulement inévitables et acceptables, mais qu'elles sont peut-être même bienvenues.
Les principales applications modernes de la logique (quelle qu'elle soit) se trouvent dans l'ordinateur numérique, et nous avons donc besoin de connaissances pratiques pour informatiser - ce qui signifie également automatiser - les décisions (c'est-à-dire le raisonnement) dans les logiques à plusieurs valeurs. Cela nécessite à son tour une base mathématique pour ces logiques. Ce livre fournit à la fois cette base mathématique et cette connaissance pratique dans un texte rigoureux, mais accessible, tout en situant ces logiques dans le contexte du problème de la satisfiabilité et de la déduction automatique.
Le texte principal est complété par une large sélection d'exercices, un plus pour le lecteur qui souhaite non seulement apprendre, mais aussi faire quelque chose avec les logiques multi-valeurs.
Cette deuxième édition améliore la première en corrigeant les addenda et les errata, en adoptant une notation plus uniforme, en ajoutant des concepts clés, tels que "fuzzy set" et "free for", en améliorant les figures et en proposant un index entièrement remanié et plus complet.
Autres informations sur le livre :
| ISBN : | 9781848902503 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
