Constraint Solving over Multi-valued Logics: Application to Digital Circuits: v. 91 (Frontiers in Artificial Intelligence and Applications) - Tapa blanda

9781586033040: Constraint Solving over Multi-valued Logics: Application to Digital Circuits: v. 91 (Frontiers in Artificial Intelligence and Applications)

Tapa blanda

ISBN 10: 1586033042 ISBN 13: 9781586033040

Editorial: IOS Press,US, 2006

Ver todas las copias de esta edici�n del ISBN

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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

De la contraportada

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.

De la solapa interior

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: IOS Press,US
A�o de publicaci�n: 2006
Idioma: Ingl�s
ISBN 10: 1586033042
ISBN 13: 9781586033040
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 224
Editor: Azevedo F.
Contacto del fabricante: no disponible
Persona responsable: no disponible

Comprar usado

Condici�n: Muy bueno

: Este libro aborda los problemas...

Ver este art�culo

EUR 17,07

Convertir moneda

EUR 9,99 gastos de env�o desde Espa�a a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Constraint Solving over Multi-valued Logics: Application...

Imagen de archivo

Constraint Solving Over Multi-valued Logics

Francisco Azevedo

Publicado por SAGE Publications Ltd, 2007

ISBN 10: 1586033042 ISBN 13: 9781586033040

Antiguo o usado Tapa blanda

Librería: Hamelyn, Madrid, M, Espa�a

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: 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 ref. del art�culo: Happ-2025-01-21-843f2209

Contactar al vendedor