Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications)

Azevedo, Francisco

ISBN 10: 1586033042 ISBN 13: 9781586033040
Edité par Ios Pr Inc, 2002
Ancien(s) ou d'occasion Paperback

Vendeur Mispah books, Redhill, SURRE, Royaume-Uni Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 15 avril 2021

A propos de cet article

Description :

Like NewLIKE NEW. N° de réf. du vendeur ERICA83015860330423

Signaler cet article

Synopsis :

Systems are subject to faults in their components, affecting their overall behaviour. In a "black-box" system, such faults only become apparent in the output when appropriate inputs are given, which poses a number of satisfaction and optimization problems regarding both testing and diagnosing. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults, thus allowing the modelling of an arbitrary number of diagnostic theories. The effectiveness of constraint solving over finite domains and sets is shown on several problems.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Constraint Solving over Multi-Valued Logics:...
Éditeur : Ios Pr Inc
Date d'édition : 2002
Reliure : Paperback
Etat : Like New
Type de livre : book

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Edité par SAGE Publications Ltd, 2007
ISBN 10 : 1586033042 ISBN 13 : 9781586033040
Ancien ou d'occasion Couverture souple

Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. N° de réf. du vendeur 068573-3

Contacter le vendeur

Acheter D'occasion

EUR 16,57
EUR 74,23 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Francisco Azevedo
Edité par SAGE Publications Ltd, 2007
ISBN 10 : 1586033042 ISBN 13 : 9781586033040
Ancien ou d'occasion Couverture souple

Vendeur : Hamelyn, Madrid, M, Espagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Muy bueno. : Este libro aborda los problemas relacionados con los fallos en los componentes de los sistemas, que afectan su comportamiento general. Se desarrollan modelos con lógicas multivaluadas que se formalizan y generalizan a múltiples fallos. Estas lógicas extienden la lógica booleana codificando dependencias en fallos, lo que permite modelar un número arbitrario de teorías de diagnóstico. Se demuestra la efectividad de la resolución de restricciones sobre dominios y conjuntos finitos en varios de los problemas mencionados. EAN: 9781586033040 Tipo: Libros Categoría: Tecnología|Ciencias Título: Constraint Solving Over Multi-valued Logics Autor: Francisco Azevedo Editorial: IOS Press,US Idioma: en Páginas: 224 Formato: tapa blanda. N° de réf. du vendeur Happ-2025-01-21-843f2209

Contacter le vendeur

Acheter D'occasion

EUR 23,78
EUR 12,99 shipping
Expédition depuis Espagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier