Constraint Solving over Multi-valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications, 91) - Softcover
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 optimisation problems regarding both testing and diagnosing. In this dissertation we address such problems, developing models with multi-valued logics that we formalise and generalise 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 of the above problems.
"synopsis" may belong to another edition of this title.
From the Back Cover
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 optimisation problems regarding both testing and diagnosing. In this dissertation we address such problems, developing models with multi-valued logics that we formalise and generalise 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 of the above problems.
From the Inside Flap
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 optimisation problems regarding both testing and diagnosing. In this dissertation we address such problems, developing models with multi-valued logics that we formalise and generalise 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 of the above problems.
"About this title" may belong to another edition of this title.
Search results for Constraint Solving over Multi-valued Logics: Application...
Stock Image
Constraint Solving Over Multi-valued Logics
Seller: Hamelyn, Madrid, M, Spain
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # Happ-2025-01-21-843f2209
Buy Used
US$ 20.53
US$ 15.28 shipping
Ships from Spain to U.S.A.
Ships from Spain to U.S.A.
Quantity: 1 available
Stock Image
Constraint Solving Over Multi-valued Logics: Application to Digital Circuits: 91 (Frontiers in Artificial Intelligence & Applications): v. 91 (Frontiers in Artificial Intelligence and Applications) [Paperback] Azevedo, Francisco
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Seller Inventory # 068573-3
Buy Used
US$ 19.54
US$ 87.55 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available